Constraints on extensions of a default theory

DOI10.1007/BF02948981zbMath0989.03030OpenAlexW1980319381MaRDI QIDQ5959353

Kaile Su

Publication date: 22 July 2002

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02948981

zbMATH Keywords

representabilitydefault logicdefault theorymutually inconsistent theories

Mathematics Subject Classification ID

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

Related Items

Fixed-parameter tractability of disjunction-free default reasoning

Cites Work

• 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
• A new research into default logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Constraints on extensions of a default theory