More on representation theory for default logic

DOI10.1006/inco.2001.2966zbMath1008.03019OpenAlexW2006541776MaRDI QIDQ1854447

Kaile Su

Publication date: 14 January 2003

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/inco.2001.2966

zbMATH Keywords

default logicdefault theory

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Logic in computer science (03B70)

Related Items (1)

Fixed-parameter tractability of disjunction-free default reasoning

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A theory of diagnosis from first principles
• A logic for default reasoning
• Default logic about assertions
• Querying disjunctive databases through nonmonotonic logics
• Representation theory for default logic
• Tractable reasoning in artificial intelligence
• Semi-representability of default theories in rational default logic

This page was built for publication: More on representation theory for default logic