Model-preference default theories

DOI10.1016/0004-3702(90)90010-WMaRDI QIDQ2638818zbMATH OpenOpenAlexFDO

Authors Bart Selman, Henry 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

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

Recommendations

• scientific article; zbMATH DE number 4106303
• scientific article; zbMATH DE number 611092
• Impediments to universal preference-based default theories
• Publication:3493327
• Hard problems for simple default logics

Cites work

• scientific article; zbMATH DE number 4176498 (Why is no real title available?)
• scientific article; zbMATH DE number 4176506 (Why is no real title available?)
• scientific article; zbMATH DE number 4166936 (Why is no real title available?)
• scientific article; zbMATH DE number 4166939 (Why is no real title available?)
• scientific article; zbMATH DE number 3986613 (Why is no real title available?)
• scientific article; zbMATH DE number 43242 (Why is no real title available?)
• scientific article; zbMATH DE number 3639144 (Why is no real title available?)
• scientific article; zbMATH DE number 194618 (Why is no real title available?)
• A logic for default reasoning
• Circumscription - a form of non-monotonic reasoning
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
• Some representational issues in default reasoning

Cited in

(10)

• Generating all maximal models of a Boolean expression
• Limited reasoning in first-order knowledge bases
• scientific article; zbMATH DE number 4106303 (Why is no real title available?)
• The inverse satisfiability problem
• scientific article; zbMATH DE number 611092 (Why is no real title available?)
• Defaults and relevance in model-based reasoning
• Reasoning with models
• Hard problems for simple default logics
• scientific article; zbMATH DE number 2079046 (Why is no real title available?)
• On the confidence preferences model

This page was built for publication: Model-preference default theories

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