Équipe SMAC

Publications classées par année

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

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

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 hal-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.bib hal-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.bib hal-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.bib hal-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.bib hal-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.bib hal-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.bib hal-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.bib hal-00731984
  • 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 hal-00731979
  • 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 hal-00731971
  • 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 hal-00731948
  • 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.bib hal-00825539

1995

  • Dilemme Itéré des Prisonniers et Vie Artificielle
    Bruno Beaufils
    Mémoire de DEA, Laboratoire d'Informatique Fondamentale de Lille, Juillet 1995
    dea-bruno-beaufils.bib
  • 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 hal-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.bib hal-00732012

1994

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

    splt1989-logique.bib hal-00732052