Titre :

A New Method for Knowledge Compilation: The Achievement by Cycle Search

Auteur(s) :

Roussel, Olivier [Auteur]
Laboratoire d'Informatique Fondamentale de Lille [LIFL]
Centre de Recherche en Informatique de Lens [CRIL]
Mathieu, Philippe [Auteur]
Systèmes Multi-Agents et Comportements [SMAC]
Laboratoire d'Informatique Fondamentale de Lille [LIFL]

Éditeur(s) ou directeur(s) scientifique(s) :

McRobbie
Michael A. and Slaney
John K.

Titre de la manifestation scientifique :

Proceedings of the 13th International Conference on Automated Deduction (CADE'13)

Ville :

undef

Pays :

France

Date de début de la manifestation scientifique :

1996

Titre de la revue :

Lecture Notes in Artificial Intelligence

Éditeur :

Springer

Date de publication :

1996

Discipline(s) HAL :

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]

Langue :

Interlingue

Comité de lecture :

Oui

Audience :

Internationale

Vulgarisation :

Non

Collections :

• Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189

Source :

Harvested from HAL