Knowledge Compilation for Closed World Reasoning and Circumscription

DOI10.1093/logcom/11.4.579zbMath1010.68177OpenAlexW2069900723MaRDI QIDQ2761752

Pierre Marquis, Sylvie Coste-Marquis

Publication date: 14 May 2003

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/11.4.579

zbMATH Keywords

closed world reasoning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

Related Items (1)

Disjunctive closures for knowledge compilation

This page was built for publication: Knowledge Compilation for Closed World Reasoning and Circumscription