Ordering default theories and nonmonotonic logic programs

DOI10.1016/J.TCS.2004.12.003zbMATH Open1076.68075OpenAlexW2094463551MaRDI QIDQ557790FDOQ557790

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

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

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)

Cites Work

• Title not available (Why is that?)
• Paraconsistent Stable Semantics for Extended Disjunctive Programs
• Title not available (Why is that?)
• Strongly equivalent logic programs
• Title not available (Why is that?)
• Autoepistemic logic
• Bilattices and the semantics of logic programming
• A logic for default reasoning
• Foundations of inductive logic programming
• Title not available (Why is that?)
• Logic programming and knowledge representation
• Title not available (Why is that?)
• Complexity Results for Nonmonotonic Logics
• On the correctness of unfold/fold transformation of normal and extended logic programs
• Title not available (Why is that?)
• Induction from answer sets in nonmonotonic 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)