Équipe SMAC

Publications classées par année

La liste des publications de l'équipe est disponible dans un fichier BIBTeX : smac.bib.

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

  • 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.bib
  • Dynamic Skill Learning: A Support to Agent Evolution
    Jean-Christophe Routier, Philippe Mathieu, 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
  • Adaptive Behaviour in the Classical Iterated Prisoner's Dilemma
    Bruno Beaufils, Jean-Paul Delahaye, 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
  • 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.bib

2000

1999

1998

  • 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.bib
  • Complete Classes of Strategies for the Classical Iterated Prisoner's Dilemma
    Bruno Beaufils, Jean-Paul Delahaye, Philippe Mathieu
    Article publié dans Evolutionnary Programming VII (EP'7), pages 33-41, en 1998
    Evolutionnary Programing VII -- San Diego (USA) -- March 25-27, 1998
    ep1998-complete.bib
  • 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.bib

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.bib
  • 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.bib
  • 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.bib
  • 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.bib
  • 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.bib

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.bib
  • 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.bib
  • 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.bib
  • The Lift Dilemma or How to Establish Meta-Cooperation with your Opponent
    Jean-Paul Delahaye, Philippe Mathieu
    Article publié dans Proceedings of the 1996 Chaos and Society Conference, en 1996
    Chaos and Society Conference -- Trois-Rivieres (Canada) -- 11-12 juin 1996 Actes en ligne uniquement
    chaos1996-lift.bib
  • 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.bib
  • Our Meeting with Gradual, A Good Strategy for the Iterated Prisoner's Dilemma
    Bruno Beaufils, Jean-Paul Delahaye, Philippe Mathieu
    Article publié dans Proceedings of the Fifth International Workshop on the Synthesis and Simulation of Living Systems (ALIFE'5), pages 202-209, en 1996
    Artificial Life V -- Nara (Japan) -- May 16-18, 1996
    alife5-meeting.bib

1995

  • 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.bib
  • 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.bib

1994

  • Terminaison, Satisfiabilité et Pouvoir Calculatoire d'une Clause de Horn Binaire
    Jean-Christophe Routier
    Thèse de doctorat, Université des Sciences et Technologies de Lille, 1994
    these-jean-christophe-routier.bib
  • 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-one.bib
  • 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.bib
  • 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.bib
  • Information, complexité et hasard
    Jean-Paul Delahaye
    Livre publié par Hermès en 1994 (ISBN : 2-7462-0026-0)
    information1994.bib
  • A kind of Logical Compilation for knowledge bases
    Philippe Mathieu, Jean-Paul Delahaye
    Theoretical Computer Science, Vol. 131, pages 197-218, 1994
    tcs1994-kind.bib

1993

1991

  • 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.bib

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.bib
  • 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.bib

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

    splt1989-logique.bib