Une nouvelle Methode de Compilation Logique ...
Document type :
Communication dans un congrès avec actes
Title :
Une nouvelle Methode de Compilation Logique : L'Achèvement par Cycles
Author(s) :
Mathieu, Philippe [Auteur]
Systèmes Multi-Agents et Comportements [SMAC]
Laboratoire d'Informatique Fondamentale de Lille [LIFL]
Roussel, Olivier [Auteur]
Laboratoire d'Informatique Fondamentale de Lille [LIFL]
Centre de Recherche en Informatique de Lens [CRIL]

Systèmes Multi-Agents et Comportements [SMAC]
Laboratoire d'Informatique Fondamentale de Lille [LIFL]
Roussel, Olivier [Auteur]
Laboratoire d'Informatique Fondamentale de Lille [LIFL]
Centre de Recherche en Informatique de Lens [CRIL]
Conference title :
Actes des Journées Francophones de Programmation Logique et Contraintes (JFPLC'96)
City :
undef
Country :
France
Start date of the conference :
1996
Book title :
Actes des Journées Francophones de Programmation Logique et Contraintes (JFPLC'96)
Publication date :
1996
HAL domain(s) :
Informatique [cs]/Système multi-agents [cs.MA]
Informatique [cs]/Informatique et théorie des jeux [cs.GT]
Informatique [cs]/Ingénierie, finance et science [cs.CE]
Informatique [cs]/Intelligence artificielle [cs.AI]
Informatique [cs]/Logique en informatique [cs.LO]
Économie et finance quantitative [q-fin]/Finance [q-fin.GN]
Informatique [cs]/Informatique et théorie des jeux [cs.GT]
Informatique [cs]/Ingénierie, finance et science [cs.CE]
Informatique [cs]/Intelligence artificielle [cs.AI]
Informatique [cs]/Logique en informatique [cs.LO]
Économie et finance quantitative [q-fin]/Finance [q-fin.GN]
Language :
Interlingue
Peer reviewed article :
Oui
Audience :
Non spécifiée
Popular science :
Non
Collections :
Source :