Computing with default logic

DOI10.1016/S0004-3702(99)00053-3zbMath0996.68195OpenAlexW2007993940MaRDI QIDQ1606312

Artur Mikitiuk, Paweł Cholewiński, Miroslaw Truszczynski, Victor W. Marek

Publication date: 24 July 2002

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0004-3702(99)00053-3

zbMATH Keywords

knowledge representationdefault logicTheoryBase

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (7)

XRay: A prolog technology theorem prover for default reasoning: A system description ⋮ Automated non-monotonic reasoning in System \textbf{P} ⋮ Investigating the Mapping between Default Logic and Inconsistency-Tolerant Semantics ⋮ Seminormalizing a default theory ⋮ A system for computing constrained default logic extensions ⋮ Default reasoning from conditional knowledge bases: Complexity and tractable cases ⋮ Extending and implementing the stable model semantics

This page was built for publication: Computing with default logic