Ordering default theories and nonmonotonic logic programs

DOI10.1016/J.TCS.2004.12.003MaRDI QIDQ557790zbMATH OpenOpenAlexFDO

Authors 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) Many-valued logic (03B50) Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• Ordered seminormal default theories and their extensions
• scientific article; zbMATH DE number 1330126
• Logical considerations on default semantics
• Expressing preferences in default logic
• scientific article; zbMATH DE number 4104922

Cites work

• scientific article; zbMATH DE number 3648682 (Why is no real title available?)
• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 1269580 (Why is no real title available?)
• scientific article; zbMATH DE number 1884383 (Why is no real title available?)
• scientific article; zbMATH DE number 1890617 (Why is no real title available?)
• scientific article; zbMATH DE number 783783 (Why is no real title available?)
• A logic for default reasoning
• Autoepistemic logic
• Bilattices and the semantics of logic programming
• Complexity Results for Nonmonotonic Logics
• Foundations of inductive logic programming
• Induction from answer sets in nonmonotonic logic programs
• Logic programming and knowledge representation
• On the correctness of unfold/fold transformation of normal and extended logic programs
• Paraconsistent Stable Semantics for Extended Disjunctive Programs
• Strongly equivalent logic programs

Cited in

(6)

• Default Logics with Preference Order: Principles and Characterisations
• Product representation for default bilattices: an application of natural duality theory.
• Dynamic reordering of alternatives for definite logic programs
• Static and dynamic orderings on Dungean argumentation frameworks -- an overview
• Expanding Belnap 2: the dual category in depth
• Order-dual relational semantics for non-distributive propositional logics

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q557790)