Exact Knowledge Compilation in Predicate Calculus: the Partial Achievement Case

Philippe Mathieu () and Olivier Roussel ()
Additional contact information
Philippe Mathieu: LIFL - Laboratoire d'Informatique Fondamentale de Lille - Université de Lille, Sciences et Technologies - Inria - Institut National de Recherche en Informatique et en Automatique - Université de Lille, Sciences Humaines et Sociales - CNRS - Centre National de la Recherche Scientifique, SMAC - Systèmes Multi-Agents et Comportements - CRIStAL - Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 - Centrale Lille - Université de Lille - CNRS - Centre National de la Recherche Scientifique
Olivier Roussel: CRIL - Centre de Recherche en Informatique de Lens - UA - Université d'Artois - CNRS - Centre National de la Recherche Scientifique

Post-Print from HAL

Abstract: No abstract

Date: 1997
References: Add references at CitEc
Citations:

Published in Proceedings of 14th International Conference on Automated Deduction (CADE'14), 1997, undef, France. pp.161--175

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:hal:journl:hal-00731972

Access Statistics for this paper

More papers in Post-Print from HAL
Bibliographic data for series maintained by CCSD ().