A new method for knowledge compilation: The achievement by cycle search

DOI10.1007/3-540-61511-3_109zbMath1412.68256OpenAlexW1507423384MaRDI QIDQ4647543

Olivier Roussel, Philippe Mathieu

Publication date: 15 January 2019

Published in: Automated Deduction — Cade-13 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61511-3_109

zbMATH Keywords

resolutionexpert systemsknowledge compilation

Mathematics Subject Classification ID

Related Items (2)

Exact knowledge compilation in predicate calculus: The partial achievement case ⋮ The achievement of knowledge bases by cycle search.

Cites Work

• A kind of logical compilation for knowledge bases
• A Proof Procedure Using Connection Graphs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A new method for knowledge compilation: The achievement by cycle search