Simuler pour comprendre : un
éclairage sur les dynamiques de marchés financiers à l'aide des
systèmes multi-agents. Bruno Beaufils and Olivier Brandouy and Lin Ma and Philippe
Mathieu
Systèmes d'Information et Management, 2010 À
paraître sim2010-simuler.bib
Disjunctive Merging: Quota and
Gmin Merging Operators Patricia Everaere and Sébastien Konieczny and Pierre
Marquis
Artificial Intelligence, 2010 To appear aij2010-disjunctive.bib
Une Forme de Rétro Ingénierie pour
Systèmes Multi Agents : explorer l'espace des
simulations François Gaillard and Yoann Kubera and Philippe Mathieu and
Sébastien Picault
Revue d'Intelligence Artificielle, 2010 À
paraître ria2010-forme.bib
Everything can be
Agent! Yoann Kubera and Philippe Mathieu and Sébastien
Picault
Article publié dans Proceedings of the ninth International
Joint Conference on Autonomous Agents and Multi-Agent Systems
(AAMAS'2010), en 2010 AAMAS'2010 -- Toronto
(Canada) -- May 10-14, 2010 aamas2010-everything.bib
A Generic Architecture for
Realistic Simulations of Complex Financial Dynamics Philippe Mathieu and Olivier Brandouy
Article publié dans Proceedings of the 8th International
conference on Practical Applications of Agents and Multi-Agents
Systems (PAAMS'2010), en 2010 PAAMS 10 -- Salamanca (Spain) --
26-28th April, 2010 paams2010-generic.bib
La répartition idéale des biens
existe-t-elle ? Jean-Paul Delahaye and Philippe Mathieu
Pour La Science, Vol. 381, pages 88--93, Juin 2009 pls-200906.bib
Définir des individualités pour des
personnages non joueurs Tony Dujardin and Jean-Christophe Routier
Revue d'Intelligence Artificielle, Vol. 23, no. 2, pages 253--292,
Mars-Juin 2009 ria2009-definir.bib
Distributed Architectures
for Electronic Cash Schemes: A Survey Isabelle Simplot-Ryl and Issa Traorè and Patricia
Everaere
International Journal of Parallel, Emergent and Distributed Systems
(IJPEDS), Vol. 24, no. 3, pages 243--271, june 2009 ijpeds2009-distributed.bib
Normer pour mieux varier ? La
différenciation comportementale par les normes, et son application
au trafic dans les simulateurs de conduite Benoît Lacroix
Thèse de doctorat, Université Lille 1, Octobre 2009 these-benoit-lacroix.bib
Calibrating Agent-Based
Models of financial markets Olivier Brandouy and Philippe Mathieu
Article publié dans Proceedings of the 15th International
Conference on Computing in Economics and Finance (CEF'2009),
en 2009 CEF'2009 -- Sydney (Australia)
-- July 15-17, 2009Actes électroniques
uniquement cef2009-calibrating.bib
How to easily design behaviour for
situated characters Tony Dujardin and Jean-Christophe Routier
Article publié dans Proceedings of the first International
Conference on Agents and Artificial Intelligence, pages
167--172, en 2009 ICAART'2009 -- Porto (Portugal) --
January 19-21, 2009 icaart2009-how.bib
Une Forme de Rétro Ingénierie pour
Systèmes Multi Agents : explorer l'espace des
simulations François Gaillard and Yoann Kubera and Philippe Mathieu and
Sébastien Picault
Article publié dans Actes des 17e Journées Francophones sur les
Systèmes Multi-Agents (JFSMA'2009), en 2009 JFSMA'2009
-- Lyon (France) -- 19-21 octobre 2009To
appear jfsma2009-forme.bib
Gestion de la complexité et de
l'information dans les grands systèmes critiques Philippe Mathieu
Chapitre Systèmes Multi-Agents : Gestion de l'interaction dans les
systèmes complexes, pages 243-262, du livre publié par CNRS
Editions, en 2009, édité par Alain Appriou sma2009-gestion.bib
A Multi-Agent Ressource Allocation for
Social Welfare Antoine Nongaillard and Philippe Mathieu
Article publié dans Proceedings of IEEE/WIC/ACM International
Conference on Intelligent Agent Technology (IAT'09), en
2009 IAT 2009 -- Milan
(Italy) -- 15-18 September, 2009 iat2009-multi.bib
Evaluation of Agent-Based
Automatic Trading Olivier Brandouy and Philippe Mathieu
Article publié dans Proceedings of the 14th international
conference on Computational Economics and Finance (CEF'2008),
en 2008 CEF'2008 -- Paris
(France) -- 26-28 juin 2008Communication sans
actes papiers cef2008-evaluation.bib
Microscopic traffic
simulation: towards a simulation including
motorcyclists Stéphane Espié and Laetitia Bonte and Philippe
Mathieu
Article publié dans Proceedings of the third International
Symposium of Transport Simulation (ISTS'2008), en 2008 ISTS'2008 --
Queensland (Australia) -- 6-8 August 2008To
appear ists2008-microscopic.bib
Une Scytale Informatique Jean-Paul Delahaye and Philippe Mathieu
Pour La Science, Vol. 359, pages 90--95, Septembre 2007 pls-200709.bib
L'apport
des SMA à la modélisation des marchés financiers Julien Derveeuw and Bruno Beaufils and Olivier Brandouy and
Philippe Mathieu
Revue d'Intelligence Artificielle, Vol. 21, no. 5-6, pages
617--641, Septembre-Décembre 2007 Numéro spécial
Modèles multi-agents pour des environnements complexes ria2007-apport.bib
Randomness and Complexity, From Chaitin
To Leibniz Jean-Paul Delahaye
Chapitre 20. Omega Numbers, pages 343--358, du livre publié par
World Scientific, en 2007, édité par Cristian S Calude rc2007-omega.bib
Randomness and Complexity, From
Chaitin To Leibniz Jean-Paul Delahaye and Hector Zenil
Chapitre 6. On the Kolmogorov Complexity for Short Sequences, pages
123--130, du livre publié par World Scientific, en 2007, édité par
Cristian S Calude rc2007-kolmogorov.bib
Intelligence Artificielle et
Jeux Damien Devigne and Philippe Mathieu and Jean-Christophe
Routier
Chapitre Simulation de comportements centrée interactions, pages
183--210, du livre publié par Hermès, en 2007, édité par Christian
Cazenave dmr2007-simulation.bib
La complexité dans les Simulations Multi-Agents Yoann Kubera and Philippe Mathieu and Sébastien
Picault
Article publié dans Actes des 15e Journées Francophones sur les
Systèmes Multi-Agents (JFSMA'2007), pages 139--148, en
2007
JFSMA'2007 -- Carcassone (France) -- 17-19 octobre 2007 jfsma2007-complexite.bib
Solving a debate through
argumentation Maxime Morge and Jean-Christophe Routier
Article publié dans Actes des 4e Journées Francophones sur les
Modèles Formels de l'Interaction (MFI'07), pages 215--226, en
2007 MFI'07 --
Paris (France) -- 30 mai, 1er juin 2007 mfi2007-solving.bib
Systèmes Multi-agents, Modèles de
comportements
Actes de conférences édités par Valérie Camps and Philippe
Mathieu
publié par Cépaduès-Édition en 2007
(ISBN : 978-2-85428-796-7) jfsma2007.bib
Les marchés artificiels Olivier Brandouy and Philippe Mathieu
Pour La Science, Vol. 52, pages 98--104, Juin-Juillet 2006
Numéro spécial La modélisation
Informatique pls-20060607.bib
Les
Marchés financiers artificiels Olivier Brandouy and Philippe Mathieu and Bruno
Beaufils
Revue Française de Gestion, Vol. 32, no. 165, pages 161--180,
Juin/Juillet 2006 Dossier simulation et recherche
en gestion rfg2006-marches.bib
Contribution à la comparaison
de séquences d'images couleur par outils statistiques et par outils
de de la théorie algorithmique de l'information Thomas Leclerc
Thèse de doctorat, Université des Sciences et Technologies de
Lille, Décembre 2006 these-thomas-leclerc.bib
The science behind
Sudoku Jean-Paul Delahaye
Scientific American, pages 80--87, June 2006 sa2006-sudoku.bib
Système
multi-agents délibératif Maxime Morge and Jean-Christophe Routier
Article publié dans Actes des Journées Francophone
Planification, Décision, Apprentissage pour la conduite de système
(JFPDA'2006), en 2006
Complexités : Aux limites des
mathématiques et de l'informatique Jean-Paul Delahaye
Livre publié par Belin-Pour La Science en 2006
(ISBN : 2-8424-5082-5) complexites2006.bib
Artifacts
for Time-Aware Agents Cédric Dinont an Emmanuel Druon and Philippe Mathieu and
Patrick Taillibert
Article publié dans Proceedings of the International Joint
Conference on Autonomous Agents \& Multi-Agent Systems
(AAMAS'06), pages 593--600, en 2006
AAMAS'06 -- Hakodate (Japan) -- May 8-12, 2006 aamas2006-artifacts.bib
CPU
Sharing for Autonomous Time-Aware Agents Cédric Dinont an Emmanuel Druon and Philippe Mathieu and
Patrick Taillibert
Article publié dans Proceedings of Cognitive Systems with
Sensors (COGIS'06), en 2006
COGIS'06 -- Paris (France) -- March 15-17, 2006 cogis2006-cpu.bib
Large Scale Agent-Based Simulations
and the Efficient Market Philippe Mathieu and Olivier Brandouy
Article publié dans Proceedings of the twelve International
Conference on Computing in Economics and Finance (CEF'2006),
en 2006 CEF'2006 -- Limasol
(Cyprus) -- June 22-24, 2006Communication
sans actes papiers cef2006-large.bib
Conception de Mécanisme
Algorithmique Décentralisé pour les échanges P2P Maxime Morge and Philippe Mathieu
Article publié dans Actes des 14e Journées Francophones sur les
Systèmes Multi-Agents (JFSMA'2006), pages 145--158, en
2006
JFSMA'2006 -- Annecy (France) -- 18-20 octobre 2006 jfsma2006-conception.bib
Comment
atteindre un accord sur une représentation ? Maxime Morge and Jean-Christophe Routier and Yann Secq and Tony
Dujardin
Article publié dans Actes des 14e Journées Francophones sur les
Systèmes Multi-Agents (JFSMA'2006), pages 167--170, en
2006
JFSMA'2006 -- Annecy (France) -- 18-20 octobre 2006 jfsma2006-comment.bib
How to
solve a scheduling problem by negotiation Marie-Hélène Verrons and Philippe Mathieu
Article publié dans Proceedings of the 6th International
Conference on the Practice and Theory of Automated Timetabling
(PATAT'06), pages 502--505, en 2006
PATAT'06 -- Brno (Czech Republic) -- August 30, September 1st,
2006 patat2006-how.bib
Les agents intelligents Philippe Mathieu and Sébastien Picault and Jean-Christophe
Routier
Pour La Science, Vol. 332, no. 332, pages 44--52, Juin 2005 pls-200506.bib
A
General Negotiation Model using XML Philippe Mathieu and Marie-Hélène Verrons
The Interdisciplinary Journal of Artificial Intelligence and the
Simulation of Behaviour, Vol. 1, no. 6, pages 523--542, August
2005 aisbj2005-general.bib
Interaction-Based
Approach For Game Agents Damien Devigne and Philippe Mathieu and Jean-Christophe
Routier
Article publié dans Proceedings of the 19th European Conference
on Modelling and Simulation (ECMS'05), pages 705--714, en
2005
ECMS'05 -- Riga (Latvia) -- June, 1-4 2005 esm2005-interaction.bib
Gestion
d'équipes et autonomie des agents Damien Devigne and Philippe Mathieu and Jean-Christophe
Routier
Article publié dans Actes des 13e Journées Francophones sur les
Systèmes Multi-Agents (JFSMA'2005), pages 47--50, en
2005
Towards
an interaction-based design of behaviors Philippe Mathieu and Sébastien Picault
Article publié dans Proceedings of the The Third European
Workshop on Multi-Agent Systems (EUMAS'2005), en 2005
Artificial Economics
Actes de conférences édités par Philippe Mathieu and Bruno
Beaufils and Olivier Brandouy
publié par Springer, dans la série Lecture Notes in Economics
and Mathematical Systems (Vol. 564), en 2005
(ISBN : 3-540-28578-4) ae2005.bib
Les inattendus mathématiques : Art, casse-tête, paradoxes,
superstitions Jean-Paul Delahaye
Livre publié par Belin-Pour La Science en 2004
(ISBN : 2-8424-5073-6) inattendus2004.bib
Planning
for Spatially Situated Agents Damien Devigne and Philippe Mathieu and Jean-Christophe
Routier
Article publié dans Proceedings of IEEE/WIC/ACM International
Conference on Intelligent Agent Technology (IAT'04), pages
385--388, en 2004
RIO:
Roles, Interactions and Organizations Philippe Mathieu and Jean-Christophe Routier and Yann
Secq
Article publié dans Proceedings of the 3rd
International/Central and Eastern European Conference on
Multi-Agent Systems (CEEMAS 2003), pages 147--157, en
2003
Bridging
the gap between semantic and pragmatic Philippe Mathieu and Jean-Christophe Routier and Yann
Secq
Article publié dans Proceedings of The 2003 International
Conference on Information and Knowledge Engineering (IKE'03),
pages 308--314, en 2003
Towards
a Pragmatic Methodology for Open Multi-agent
Systems Philippe Mathieu and Jean-Christophe Routier and Yann
Secq
Article publié dans Proceedings of 14th International Symposium
on Methodologies for Intelligent Systems (ISMIS 2003), pages
206--210, en 2003
Towards
a pragmatic use of ontologies in multi-agent
platforms Philippe Mathieu and Jean-Christophe Routier and Yann
Secq
Article publié dans Proceedings of the "Ontology and
Multi-Agent Systems Design" session (OMASD'03), in the Seventh
International Conference on Knowledge-Based Intelligent Information
\& Engineering Systems (KES'03), pages 1395--1402, en
2003
A
Generic Negotiation Model for MAS using XML Philippe Mathieu and Marie-Hélène Verrons
Article publié dans Proceedings of the IEEE International
Conference on Systems, Man and Cybernetics workshop on Agent-based
Systems for Autonomous Processing (ABA@SMC2003), pages
4262--4267, en 2003 smc2003-generic.bib
Modèles formels de l'interaction
Actes de conférences édités par Andreas Herzig and Brahim Chaib
draa and Philippe Mathieu
publié par Cépaduès-Édition en 2003
(ISBN : 2-85428-622-7) mfi2003.bib
Organisation
et applications des SMA Bruno Beaufils and Philippe Mathieu
Chapitre 4, pages 77--91, du livre publié par Hermès, en 2002,
édité par René Mandiau and Emmanuelle Grislin-Le Strugeon and André
Péninou oasma2002-4.bib
L'Intelligence et le calcul : de
Gödel aux ordinateurs quantiques Jean-Paul Delahaye
Livre publié par Belin-Pour La Science en 2002
(ISBN : 2-8424-5040-X) intelligence2002.bib
Organisation et applications des
SMA Philippe Mathieu and Groupe ASA
Chapitre 7, pages 207--242, du livre publié par Hermès, en 2002,
édité par René Mandiau and Emmanuelle Grislin-Le Strugeon and André
Péninou oasma2002-7.bib
A Multi-Agent Approach to
Co-operative Work Philippe Mathieu and Jean-Christophe Routier
Article publié dans Proceedings of 4th International Conference
on Computer-Aided Design of User Interfaces (CADUI'02), pages
367--380, en 2002 CADUI'02 --
Valenciennes (France) -- 15-17 mai 2002 cadui2002-multi.bib
Dynamic
organization of multi-agent systems Philippe Mathieu and Jean-Christophe Routier and Yann
Secq
Article publié dans Proceedings of the first International
Joint Conference on Autonomous Agents and Multi-Agent Systems
(AAMAS'2002), pages 451--452, en 2002
Principles for dynamic multi-agent organizations Philippe Mathieu and Jean-Christophe Routier and Yann
Secq
Article publié dans Proceedings of 5th Pacific Rim
International Workshop on Multi-Agents (PRICAI2002/PRIMA2002),
pages 109--122, en 2002
Systèmes multi-agents et systèmes complexes: Ingénierie,
résolution de problèmes et simulation
Actes de conférences édités par Philippe Mathieu and
Jean-Pierre Müller
publié par Lavoisier en 2002 jfiadsma2002.bib
Une contribution du
multi-agent aux applications de travail coopératif Philippe Mathieu and Jean-Christophe Routier
Réseaux et Systèmes Répartis, Calculateurs parallèles, Vol. 13, no.
2-3, pages 207--226, Octobre 2001 Numéro spécial
télé-applications. rsrcp2001-contribution.bib
Adaptive
Behaviour in the Classical Iterated Prisoner's
Dilemma Bruno Beaufils and Jean-Paul Delahaye and Philippe
Mathieu
Article publié dans Proceedings of the Artificial Intelligence
and the Simulation of Behaviour symposium on Adaptive Agents and
Multi-agent systems (AISB'01), pages 65--72, en 2001
AISB'01 -- York (United Kingdom) -- March 2001 aisb2001-adaptive.bib
Un modèle de simulation agent basé
sur les interactions Philippe Mathieu and Jean-Christophe Routier and Pascal
Urro
Article publié dans Actes des Premières Journées Francophones
sur les Modèles Formels de l'Interaction (MFI'01), pages
407-417, en 2001 MFI'01 --
Toulouse (France) -- 2001 mfi2001-modele.bib
Dynamic
Skill Learning: A Support to Agent Evolution Jean-Christophe Routier and Philippe Mathieu and Yann
Secq
Article publié dans Proceedings of the Artificial Intelligence
and the Simulation of Behaviour symposium on Adaptive Agents and
Multi-agent systems (AISB'01), pages 25--32, en 2001
AISB'01 -- York (United Kingdom) -- March 2001 aisb2001-dynamic.bib
The Achievement of Knowledge
Bases by Cycle Search Olivier Roussel and Philippe Mathieu
Journal of Information and Computation, Vol. 162, pages 43--58,
November 2000 jic2000-achievement.bib
Merveilleux nombres premiers :
Voyage au coeur de l'arithmétique Jean-Paul Delahaye
Livre publié par Belin-Pour La Science en 2000
(ISBN : 2-7011-5017-5) merveilleux2000.bib
Tutoriel de
Magique Philippe Mathieu and Jean-Christophe Routier
2000 Note : Équipe SMAC - LIFL tutoriel-magique2001.bib
Une forme de négociation Dans les
systèmes multi-agents Philippe Mathieu and Alain Taquet
Article publié dans Actes des Journées Francophones
d'Intelligence Artificielle Distribuée et des Systèmes Multi-Agents
(JFIADSMA'2000), pages 133--148, en 2000
JFIADSMA'2000 -- Saint-Étienne (France) - Octobre 2000 jfsma2000-forme.bib
A Virtual Workshop Navigation
Based on a Multi-Agent Technology Nouredine Bensaid and Philippe Mathieu
Article publié dans Proceedings of the first Asia-Pacific
Conference on Intelligence Agent Technology (APCIAT'99), en
1999
APCIAT'99 -- Honk-Kong (China) -- December 14-17, 1999 apciat1999-virtual.bib
A Framework for Cooperation in
Hierarchical Multi-Agent Systems Nouredine Bensaid and Philippe Mathieu
Journal of Mathematical Modelling and Scientific Computing, Vol. 8,
September 1998 jmmsc1998-framework.bib
An
Autonomous Agent System to Simulate a Set of Robots Exploring a
Labyrinth Nouredine Bensaid and Philippe Mathieu
Article publié dans Proceedings of the eleventh International
FLorida Artificial Intelligence Research Society Society Conference
(FLAIRS'1998), en 1998
FLAIRS'98 -- Sanibel Island (USA) -- May 1998 flairs1998-autonomous.bib
A Hybrid Architecture for
Hierarchical Agents Nouredine Bensaid and Philippe Mathieu
Article publié dans Proceedings of the 1997 International
Conference on Computationnal Intelligence and Multimedia
Applications (ICCIMA'97), pages 91--95, en 1997
ICCIMA'97 -- Gold-Coast (Australia) -- 1997 iccima1997-hybrid.bib
A Framework for Cooperation
in Hierarchical Multi-agents systems Nouredine Bensaid and Philippe Mathieu
Article publié dans Proceedings of the eleventh International
Conference on Mathematical and Computer Modelling and Scientific
Computing (ICMCM \& SC), en 1997
ICMCM/SC -- Washington DC (USA) -- 1997 icmcm1997-framework.bib
MAGIQUE: A Hybrid and Hierarchical
Multi-Agent Architecture Model Nouredine Bensaid and Philippe Mathieu
Article publié dans Proceedings of the second International
Conference and Exhibition on the Practical Application of
Intelligent Agents and Multi Agent Technology (PAAM'97), pages
145--155, en 1997
PAAM'97 -- London (UK) -- April 1997 paam1997-magique.bib
Exact Knowledge Compilation in
Predicate Calculus: the Partial Achievement Case Olivier Roussel and Philippe Mathieu
Article publié dans Proceedings of 14th International
Conference on Automated Deduction (CADE'14), pages 161--175,
en 1997
CADE'14 -- Townsville (Australia) -- 1997 cade14-exact.bib
Une compilation logique exacte
en calcul des prédicats : le cas de l'achèvement
partiel Olivier Roussel and Philippe Mathieu
Article publié dans Actes des Journées Francophones de
Programmation Logique et Contraintes (JFPLC'97), en 1997
JFPLC'97 -- Orléans (France) -- Juin 1997 jfplc1997-compilation.bib
Une compilation logique exacte
en calcul des prédicats : le cas de l'achèvement
total Olivier Roussel and Philippe Mathieu
Article publié dans Actes de la 3ème conférence nationale sur
la résolution pratique de problèmes NP-complets (JNPC'97),
pages 61--66, en 1997
JNPC'97 -- Rennes (France) -- 1997 jnpc1997-compilation.bib
Random Strategies in a Two Level
Iterated Prisoner's Dilemma: How to Avoid Conflicts Jean-Paul Delahaye an Philippe Mathieu
Article publié dans Proceedings of the 1996 European Conference
on Artificial Intelligence's Workshop on Modelling Conflicts in
Artificial Intelligence (MCAI@ECAI96), pages 68--72, en
1996
ECAI'96 workshop on MCAI -- Budapest (Hungary) -- August 12-16,
1996 ecai1996-random.bib
A New Method for Knowledge Compilation:
The Achievement by Cycle Search Olivier Roussel and Philippe Mathieu
Article publié dans Proceedings of the 13th International
Conference on Automated Deduction (CADE'13), pages 493--507,
en 1996
CADE'13 -- New Brunswick (USA) -- 1996 cade13-new.bib
How to Use Cycles for Logicial
Compilation Olivier Roussel and Philippe Mathieu
Article publié dans Proceedings of the European Conference on
Artificial Intelligence's Workshop on Advances in Propositional
Deduction (APD@ECAI'96), pages 53--60, en 1996
ECAI'96 workshop on APD -- Budapest (Hungary) -- August 12-16,
1996 ecai1996-how.bib
Une nouvelle Methode de
Compilation Logique : L'Achèvement par Cycles Olivier Roussel and Philippe Mathieu
Article publié dans Actes des Journées Francophones de
Programmation Logique et Contraintes (JFPLC'96), en 1996
JFPLC'96 -- Clermont-Ferrand (France) -- 5-7 juin 1996 jfplc1996-nouvelle.bib
Un modèle d'architecture
multi-agents entièrement écrit en Prolog Nouredine Bensaid and Philippe Mathieu
Article publié dans Actes des Journées Francophones de
Programmation Logique (JFPL'95), pages 381--385, en 1995
JFPL'95 -- Dijon (France) -- Mai 1995 jfpl1995-modele.bib
Evaluation des méthodes
d'achèvement par parties Olivier Roussel and Philippe Mathieu
Article publié dans Actes des Journées Francophones de
Programmation Logique (JFPL'95), pages 175--189, en 1995
JFPL'95 -- Dijon (France) -- Mai 1995 jfpl1995-evaluation.bib
Complex Strategies in the
Iterated Prisoner's Dilemma Jean-Paul Delahaye and Philippe Mathieu
Article publié dans Proceedings of the 1994 Chaos and Society
conference, pages 283--292, en 1994
Chaos and Society -- Hull (Canada) -- 1-2 juin 1994 chaos1994-complex.bib
A Kind of Achievement by part
Method Jean-Paul Delahaye and Philippe Mathieu
Article publié dans Proceedings of 1994 International
Conference on Logic Programming and Automated Reasoning
(LPAR'94), pages 320--332, en 1994
LPAR'94 -- Kiev (Ukraine) -- July 1994 lpar1994-kind.bib
Information, complexité et
hasard Jean-Paul Delahaye
Livre publié par Hermès en 1994
(ISBN : 2-7462-0026-0) information1994.bib
One Binary
Horn Clause is Enough Philippe Devienne and Patrick Lebègue and Jean-Christophe
Routier and Jörg Würtz
Article publié dans Proceedings of 1994 Symposium on
Theoretical Aspects of Computer Science (STACS'94), pages
21--32, en 1994
A kind of Logical Compilation for
knowledge bases Philippe Mathieu and Jean-Paul Delahaye
Theoretical Computer Science, Vol. 131, pages 197--218, 1994 tcs1994-kind.bib
An Achievement by Part Method
to Solve the Incompleteness of Forward Chaining Jean-Paul Delahaye and Philippe Mathieu
Article publié dans Actes des Journées Francophones de
Programmation Logique (JFPL'93), pages 155--171, en 1993
JFPL'93 -- Nîmes (France) -- Mai 1993 jfpl1993-achievement.bib
The
emptiness problem of one binary Horn clause is
undecidable Philippe Devienne and Patrick Lebègue and Jean-Christophe
Routier
Article publié dans Proceedings of 1993 International Symposium
on Logic Programming (ILPS'93), pages 250--265, en 1993
The
halting problem of one binary Horn clause is
undecidable Philippe Devienne and Patrick Lebègue and Jean-Christophe
Routier
Article publié dans Proceedings of 1993 Symposium on
Theoretical Aspects of Computer Science (STACS'93), pages
48--57, en 1993
Abductive Reasoning in
Three-valued Logic for Knowledge Bases Philippe Mathieu and Jean-Paul Delahaye
Article publié dans Proceedings of the Workshop on Nonstandard
Queries and Answers (NQA'91), pages 103--120, en 1991
NQA'90 -- Toulouse (France) -- Juillet 1991 nqa1991-abductive.bib
For which Bases Forward
Chaining is Sufficient Philippe Mathieu and Jean-Paul Delahaye
Article publié dans Proceedings of the 3rd COGNITIVA symposium
(COGNITIVA'90), pages 699--702, en 1990
COGNITIVA'90 -- Madrid (Spain) -- November 1990 cognitiva1990-which.bib
The Logical Compilation of
Knowledge Bases Philippe Mathieu and Jean-Paul Delahaye
Article publié dans Actes des Journées Européennes sur les
Logiques pour l'Intelligence Artificielle (JELIA'90), pages
386--398, en 1990
JELIA'90 -- Amsterdam (The Netherlands) -- September 1990 jelia1990-logical.bib
Logique partielle et
Prolog Philippe Mathieu and Jean-Paul Delahaye
Article publié dans Actes du Séminaire de Programmation en
Logique de Trégastel (SPLT'89), pages 311--329, en 1989