Exact knowledge compilation in predicate calculus: The partial achievement case
From MaRDI portal
Publication:5234699
DOI10.1007/3-540-63104-6_17zbMath1430.68421OpenAlexW1506139968MaRDI QIDQ5234699
Olivier Roussel, Philippe Mathieu
Publication date: 1 October 2019
Published in: Automated Deduction—CADE-14 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-63104-6_17
Knowledge representation (68T30) Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Related Items
Canonical Inference for Implicational Systems ⋮ Exact knowledge compilation in predicate calculus: The partial achievement case
Cites Work
- Poincaré series for discrete Moebius groups acting on the upper half space
- A kind of logical compilation for knowledge bases
- Knowledge compilation and theory approximation
- A new method for knowledge compilation: The achievement by cycle search
- Exact knowledge compilation in predicate calculus: The partial achievement case
- A Machine-Oriented Logic Based on the Resolution Principle
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item