Ordering default theories and nonmonotonic logic programs

DOI10.1016/j.tcs.2004.12.003zbMath1076.68075OpenAlexW2094463551MaRDI QIDQ557790

Chiaki Sakama

Publication date: 30 June 2005

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2004.12.003

zbMATH Keywords

nonmonotonic logic programsdefault theories

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Logic programming (68N17) Many-valued logic (03B50)

Related Items (3)

Expanding Belnap 2: the dual category in depth ⋮ Static and dynamic orderings on Dungean argumentation frameworks -- an overview ⋮ Product representation for default bilattices: an application of natural duality theory.

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A logic for default reasoning
• Foundations of inductive logic programming
• On the correctness of unfold/fold transformation of normal and extended logic programs
• Bilattices and the semantics of logic programming
• Complexity Results for Nonmonotonic Logics
• Autoepistemic logic
• Logic programming and knowledge representation
• Paraconsistent Stable Semantics for Extended Disjunctive Programs
• Induction from answer sets in nonmonotonic logic programs
• Strongly equivalent logic programs

This page was built for publication: Ordering default theories and nonmonotonic logic programs