Model-preference default theories

DOI10.1016/0004-3702(90)90010-WzbMath0717.68094OpenAlexW2156017259MaRDI QIDQ2638818

Bart Selman, Henry A. Kautz

Publication date: 1990

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(90)90010-w

zbMATH Keywords

Horn defaultsmodel-preference defaults

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items

Generating all maximal models of a Boolean expression ⋮ Limited reasoning in first-order knowledge bases ⋮ Defaults and relevance in model-based reasoning ⋮ Reasoning with models ⋮ The inverse satisfiability problem ⋮ Hard problems for simple default logics

Cites Work

• Some representational issues in default reasoning
• A logic for default reasoning
• Circumscription - a form of non-monotonic reasoning
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item