Trends in Practical
Applications of Agents and Multiagent Systems
Actes de conférences édités par Javier Bajo~Pérez, Ramon
Hermoso, Marìa N., Julìan, Juan~M. Corchado~Rodríguez, Benjamin
Hirsch, Philippe Mathieu, Andrew Campbell, Mari~Carmen
Suarez-Figueroa, Alfonso Ortega, Emmanuel Adam, Elena
Navarro
publié par Springer, dans la série Advances in Intelligent and
Soft Computing (Vol. 221), en 2013
(ISBN : 978-3-319-00562-1) PAAMS'2013 -- Salamenca
(Spain) -- 22th-24th May 2013 paams2013.bibhal-00826623
Impact des politiques de synchronisation dans les
simulations réparties d'agents situés Omar Rihawi, Yann Secq, Philippe Mathieu
Article publié dans Actes des 21èmes Journées Francophones sur
les Systèmes Multi-Agents (JFSMA2013), pages 115-124, en
2013 JFSMA2013 --
Lille (France) -- 1er au 5 juillet 2013À
paraître jfsma2013-impact.bibhal-00826457
Des
données aux agents : la simulation réaliste de populations
diversifiées de clients Philippe Mathieu, Sébastien Picault
Article publié dans Actes des 21èmes Journées Francophones sur
les Systèmes Multi-Agents (JFSMA2013), pages 41-50, en
2013 JFSMA2013 --
Lille (France) -- 1er au 5 juillet 2013À
paraître jfsma2013-donnees.bibhal-00826405
Improving multi-level interactions modelling in
multi-agents generalisation model: first thoughts Adrien Maudet, Guillaume Touya, Cécile Duchêne, Sébastien
Picault
Article publié dans Proceedings of 16th ICA workshop on
Generalisation and Map Production (GMP@ICA2013), pages 8, en
2013
GMP@ICA2013 -- Dresden (Germany) -- August, 23-24 2013To appear icagmp2013-improving.bibhal-00839406
Multiparty Argumentation Game for Consensual Expansion
Applied to Evidence Based Medicine Stefano Bromuri, Maxime Morge
Article publié dans Proceedings of the 14th Conference on
Artificial Intelligence in Medicine, AIME 2013, Murcia, Spain, May
29 -- June 1, 2013, Proceedings, pages 33-37, en 2013 AIME'2013
-- Murcia (Spain) -- May 29 - June 1, 2013 aime2013-multiparty.bibhal-00826473
Minimal Concession Strategy for Reaching Fair, Optimal and
Stable Marriages Patricia Everaere, Maxime Morge, Gauthier Picard
Article publié dans Proceeding of the twelve International
Joint Conference on Autonomous Agents and Multi-Agent Systems
(AAMAS'2013), pages 1319-1320, en 2013 AAMAS'2013 -- Saint-Paul
(USA) -- May, 6-10 2013 aamas2013-minimal.bibhal-00826472
Virtual
Customers in a Multiagent Training Application Philippe Mathieu, David Panzoli, Sébastien Picault
Article publié dans Transaction on Edutainment IX, pages
97-114, en 2013 Selected Revised papers of
VSGAMES'2011 te2013-virtual.bibhal-00826443
Argumentative Agents for Service-Oriented
Computing Maxime Morge, Jarred McGinnis, Stefano Bromuri, Paolo
Mancarella, Kostas Stathis, Francesca Toni
Article publié dans Multiagent Systems and Applications,
pages 217-255, en 2013 msa2013-argumentative.bibhal-00826480
A Virtual
Selling Agent which is Persuasive and Adaptive Fabien Delecroix, Maxime Morge, Jean-Christophe
Routier
Article publié dans Agreement Technologies, pages 625-645,
en 2013 lgt2013-virtual.bibhal-00826437
On the Design of Agent-based Artificial Stock
Markets Olivier Brandouy, Philippe Mathieu, Iryna Veryzhenko
Article publié dans Agents and Artificial Intelligence,
pages 350-364, en 2013 Revised Selected Papers
from the Third International Conference, ICAART 2011, Rome, Italy,
January 28-30, 2011 ccis2013-design.bibhal-00826419
Unpredictability and Computational
Irreducibility Hervé Zwirn, Jean-Paul Delahaye
Chapitre 19, pages 273-295, du livre publié par Springer, en 2013,
édité par Hector Zenil ice2013-unpredictability.bibhal-00826584
Merveilleux nombres
premiers Jean-Paul Delahaye
Livre publié par Belin-Pour La Science en 2013 Seconde édition revue, mise à jour et complétée merveilleux2013.bibhal-00826585
Culturomics : le
numérique et la culture Jean-Paul Delahaye, Nicolas Gauvrit
Livre publié par Odile Jacob en 2013
(ISBN : 9782738128973) culturomics2013.bibhal-00839405
Compositional belief merging Patricia Everaere, Sébastien Konieczny, Pierre
Marquis
Article publié dans Proceedings of the Thirteenth International
Conference on Principles of Knowledge Representation and Reasoning
(KR2012), pages 603-607, en 2012 KR'2012 -- Roma (Italy)
-- 10-14 June 2012 kr2012-compositional.bibhal-00826463
Intérêt de
la simulation centrée interactions pour les sciences humaines et
sociales Philippe Mathieu, Sébastien Picault
Revue des Nouvelles Technologies de l'Information, Vol. RNTI-SHS-1,
pages 15-30, 2012 Numéro spécial MASHS 2011-2012 :
Modèles et Apprentissages en Sciences Humaines et
Sociales rnti2012-interet.bibhal-00826625
Casanova :
un comportement d'agent respectant la privacité pour des mariages
stables et équitables Patricia Everaere, Maxime Morge, Gauthier Picard
Revue d'Intelligence Artificielle, Vol. 26, no. 5, pages 471-494,
Octobre 2012 Sélection des papiers de
JFSMA2011 ria2012-casanova.bibhal-00826482
Les multiples
ancêtres du jeu de Nim Lisa Rougetet
Pour La Science, Vol. 420, pages 80-83, Octobre 2012 pls-201211.bibhal-00826141
Arguing over Goals for Negotiation: Adopting an
Assumption-Based Argumentation Decision Support
System Maxime Morge, Paolo Mancarella
Group Decision and Negotiation, December 2012 Online publication, Printed version in process gdn2012-arguing.bib
Numerical Evaluation of Algorithmic Complexity for Short
Strings: A Glance into the Innermost Structure of
Randomness Jean-Paul Delahaye, Hector Zenil
Applied Mathematics and Computation, Vol. 219, no. 1, pages 63-77,
September 2012 amc2012-numerical.bibhal-00825535
2011
Highlights in Practical
Applications of Agents and Multiagent Systems
Actes de conférences édités par Javier Bajo~Pérez, Juan~M.
Corchado, Marìa~N. Moreno, Vicente Julìan, Philippe Mathieu,
Joaquin Canada-Bago, Alfonso Ortega, Antonio
Fernandèz~Caballero
publié par Springer, dans la série Advances in Intelligent and
Soft Computing (Vol. 89), en 2011
(ISBN : 978-3-642-19916-5) PAAMS'2011 -- Salamenca
(Spain) -- 6th-8th April 2011 paams2011.bibhal-00839401
Towards a dialectical approach for conversational agents in
selling situations Maxime Morge, Sameh Abdel-Naby, Bruno Beaufils
Article publié dans Argumentation
in Multi-Agent Systems, pages 141-158, en 2011 Revised Selected and Invited Papers of ARGMAS@AAMAS
2010 argmas2011-towards.bibhal-00826418
Scatter
and Regularity Imply Benford's Law... and More Nicolas Gauvrit, Jean-Paul Delahaye
Chapitre 4, pages 59-64, du livre publié par World Scientific, en
2011, édité par Hector Zenil rtc2011-scatter.bibhal-00826627
The
Martin-Löf Thesis: The Identification by Recursion Theory of the
Mathematical Notion of Random Sequence Jean-Paul Delahaye
Chapitre 9, pages 121-140, du livre publié par World Scientific, en
2011, édité par Hector Zenil rtc2011-martin.bibhal-00826626
On the
Algorithmic Nature of the World Hector Zenil, Jean-Paul Delahaye
Chapitre 17, pages 477-496, du livre publié par World Scientific,
en 2011, édité par Gorda Dodig-Crnkovic, Mark Burgin ic2011-algorithmic.bibhal-00826620
TOUT. Les rêves
mathématiques d'une théorie ultime Jean-Paul Delahaye
Livre publié par Éditions Hermann en 2011 tout2011.bibhal-00839397
An
algorithmic information-theoretic approach to the behaviour of
financial markets Hector Zenil, Jean-Paul Delahaye
Journal of Economic Surveys, Vol. 25, no. 3, pages 431-463, July
2011 jes2011-algorithmic.bibhal-00825528
Mathématiques pour
le plaisir : un inventaire de curiosités Jean-Paul Delahaye
Livre publié par Belin-Pour La Science en 2010 mathematiques2010.bibhal-00839394
Jeux finis et
infinis Jean-Paul Delahaye
Livre publié par Éditions du Seuil en 2010 jeux2010.bibhal-00839393
Automated Proof in Geometry: Computing Upper Bounds for the
Heilbronn Problem for Triangle Francesco De~Comité, Jean-Paul Delahaye Geombinatorics
Quaterly, Vol. XX, no. 1, pages 21-26, July 2010 gq2010-automated.bibhal-00825532
Systèmes
Multi-Agents : Gestion de l'interaction dans les systèmes
complexes Philippe Mathieu
Chapitre , pages 243-262, du livre publié par CNRS Editions, en
2009, édité par Alain Appriou sma2009-gestion.bibhal-00731946
Simuler
pour comprendre : un éclairage sur les dynamiques de marchés
financiers à l'aide des systèmes multi-agents. Bruno Beaufils, Olivier Brandouy, Lin Ma, Philippe
Mathieu
Systèmes d'Information et Management, Vol. 14, no. 4, pages 51-70,
Décembre 2009 sim2009-simuler.bibhal-00826140
La répartition
idéale des biens existe-t-elle ? Jean-Paul Delahaye, Philippe Mathieu
Pour La Science, Vol. 381, pages 88-93, Juin 2009 pls-200906.bibhal-00731933
Evaluation of Agent-Based Automatic Trading Olivier Brandouy, 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
Au pays des paradoxes (50
paradoxes) Jean-Paul Delahaye
Livre publié par Belin-Pour La Science en 2008 pays2008.bibhal-00839392
Complexité aléatoire
et complexité organisée Jean-Paul Delahaye
Livre publié par Éditions Quae en 2008 complexite2009.bibhal-00839391
Omega
Numbers Jean-Paul Delahaye
Chapitre 20, pages 343-358, du livre publié par World Scientific,
en 2007, édité par Cristian~S Calude rc2007-omega.bibhal-00731945
On the
Kolmogorov Complexity for Short Sequences Jean-Paul Delahaye, Hector Zenil
Chapitre 6O, pages 123-130, du livre publié par World Scientific,
en 2007, édité par Cristian~S. Calude rc2007-kolmogorov.bibhal-00731944
Intelligence Artificielle et Jeux Damien Devigne, Philippe Mathieu, 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
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
How to
solve a scheduling problem by negotiation Marie-Hélène Verrons, 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.bibhal-00732048
CPU
Sharing for Autonomous Time-Aware Agents Cédric Dinont, Emmanuel Druon, Philippe Mathieu, Patrick
Taillibert
Article publié dans Proceedings of Cognitive Systems with
Sensors (COGIS'06), en 2006
COGIS'06 -- Paris (France) -- March 15-17, 2006 Actes sur CDROM cogis2006-cpu.bibhal-00731981
Large Scale Agent-Based Simulations and the Efficient
Market Philippe Mathieu, 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
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.bibhal-00731936
Les marchés
artificiels Olivier Brandouy, Philippe Mathieu
Pour La Science, Vol. 52, pages 98-104, Juin-Juillet 2006
Numéro spécial La modélisation
Informatique pls-20060607.bibhal-00825543
Artificial
Economics
Actes de conférences édités par Philippe Mathieu, Bruno
Beaufils, Olivier Brandouy
publié par Springer, dans la série Lecture Notes in Economics
and Mathematical Systems (Vol. ), en 2005
(ISBN : 3-540-28578-4) AE'2005 -- Lille
(France) -- September 15-16, 2005 ae2005.bibhal-00826572
Gestion
d'équipes et autonomie des agents Damien Devigne, Philippe Mathieu, 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
JFSMA2005 -- Calais (France) -- 23-25 novembre 2005 jfsma2005-gestion.bibhal-00732018
Les agents
intelligents Philippe Mathieu, Sébastien Picault, Jean-Christophe
Routier
Pour La Science, Vol. 332, no. 332, pages 44-52, Juin 2005 pls-200506.bibhal-00825542
A
Generic Negotiation Model for MAS using XML Philippe Mathieu, 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.bibhal-00732051
Towards
a pragmatic use of ontologies in multi-agent
platforms Philippe Mathieu, Jean-Christophe Routier, 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
OMASD2003 -- Oxford (UK) -- 2003 omasd2003-towards.bibhal-00732041
Bridging
the gap between semantic and pragmatic Philippe Mathieu, Jean-Christophe Routier, Yann Secq
Article publié dans Proceedings of The 2003 International
Conference on Information and Knowledge Engineering (IKE'03),
pages 308-314, en 2003
IKE2003 -- Las Vegas (USA) -- June, 23-26 2003 ike2003-bridging.bibhal-00732003
Organisation
et applications des SMA Philippe Mathieu, Groupe ASA
Chapitre 7, pages 207-242, du livre publié par Hermès, en 2002,
édité par René Mandiau, Emmanuelle Grislin-Le~Strugeon, André
Péninou oasma2002-7.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.bibhal-00731939
Un
modèle de simulation agent basé sur les interactions Philippe Mathieu, Jean-Christophe Routier, 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.bibhal-00732031
Une
contribution du multi-agent aux applications de travail
coopératif Philippe Mathieu, 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.bibhal-00731926
Une
forme de négociation Dans les systèmes multi-agents Philippe Mathieu, 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.bibhal-00732017
The
iterated lift dilemma Jean-Paul Delahaye, Philippe Mathieu, Bruno Beaufils
Chapitre 11, pages 203-223, du livre publié par Springer, en 2000,
édité par Juergen Mueller, Rose Dieng cc2000-11.bibhal-00731942
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.bibhal-00731940
The Achievement of Knowledge Bases by Cycle
Search Olivier Roussel, Philippe Mathieu
Journal of Information and Computation, Vol. 162, pages 43-58,
November 2000 jic2000-achievement.bibhal-00731919
An Autonomous Agent System to Simulate a Set of Robots
Exploring a Labyrinth Nouredine Bensaid, 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.bibhal-00731998
A
Framework for Cooperation in Hierarchical Multi-Agent
Systems Nouredine Bensaid, Philippe Mathieu
Journal of Mathematical Modelling and Scientific Computing, Vol. 8,
September 1998 jmmsc1998-framework.bibhal-00731929
1997
MAGIQUE: A Hybrid and Hierarchical Multi-Agent Architecture
Model Nouredine Bensaid, 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.bibhal-00732042
Une compilation logique exacte en calcul des prédicats : le
cas de l'achèvement total Olivier Roussel, 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.bibhal-00732026
Une compilation logique exacte en calcul des prédicats : le
cas de l'achèvement partiel Olivier Roussel, 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
A Framework for Cooperation in Hierarchical Multi-agents
systems Nouredine Bensaid, 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.bibhal-00732002
A Hybrid Architecture for Hierarchical
Agents Nouredine Bensaid, 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.bibhal-00732001
Exact Knowledge Compilation in Predicate Calculus: the
Partial Achievement Case Olivier Roussel, 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.bibhal-00731972
1996
Une
nouvelle Methode de Compilation Logique : L'Achèvement par
Cycles Olivier Roussel, 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.bibhal-00732014
Random Strategies in a Two Level Iterated Prisoner's
Dilemma: How to Avoid Conflicts Jean-Paul Delahaye, 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.bibhal-00731985
How to
Use Cycles for Logicial Compilation Olivier Roussel, 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.bibhal-00731984
A New
Method for Knowledge Compilation: The Achievement by Cycle
Search Olivier Roussel, 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.bibhal-00731971
Smallest Horn clause program Philippe Devienne, Patrick Lebègue, Anne Parrain,
Jean-Christophe Routier, Jörg Würtz
Journal of Logic Programming, Vol. 27, no. 3, pages 227-267, June
1996 jlp1996-smallest.bibhal-00825539
Un
modèle d'architecture multi-agents entièrement écrit en
Prolog Nouredine Bensaid, 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.bibhal-00732013
Evaluation des méthodes d'achèvement par
parties Olivier Roussel, 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.bibhal-00732012
One Binary
Horn Clause is Enough Philippe Devienne, Patrick Lebègue, Jean-Christophe Routier,
Jörg Würtz
Article publié dans Proceedings of 1994 Symposium on
Theoretical Aspects of Computer Science (STACS'94), pages
21-32, en 1994
STACS1994 -- Caen (France) -- 24-26 février 1994 stacs1994-one.bibhal-00732054
A
Kind of Achievement by part Method Jean-Paul Delahaye, 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.bibhal-00732028
Complex Strategies in the Iterated Prisoner's
Dilemma Jean-Paul Delahaye, 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.bibhal-00731978
Information,
complexité et hasard Jean-Paul Delahaye
Livre publié par Hermès en 1994
(ISBN : 2-7462-0026-0) information1994.bibhal-00731938
A kind of
Logical Compilation for knowledge bases Philippe Mathieu, Jean-Paul Delahaye
Theoretical Computer Science, Vol. 131, pages 197-218, 1994 tcs1994-kind.bibhal-00731935
An Achievement by Part Method to Solve the Incompleteness
of Forward Chaining Jean-Paul Delahaye, 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.bibhal-00732011
Abductive Reasoning in Three-valued Logic for Knowledge
Bases Philippe Mathieu, 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.bibhal-00732040
1990
The
Logical Compilation of Knowledge Bases Philippe Mathieu, 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.bibhal-00732008
For which Bases Forward Chaining is
Sufficient Philippe Mathieu, 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.bibhal-00731982
1989
Logique
partielle et Prolog Philippe Mathieu, Jean-Paul Delahaye
Article publié dans Actes du Séminaire de Programmation en
Logique de Trégastel (SPLT'89), pages 311-329, en 1989