Model-preference default theories

DOI10.1016/0004-3702(90)90010-WzbMATH Open0717.68094OpenAlexW2156017259MaRDI QIDQ2638818FDOQ2638818

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

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

zbMATH Keywords

Horn defaultsmodel-preference defaults

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• A logic for default reasoning
• Circumscription - a form of non-monotonic reasoning
• Title not available (Why is that?)
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Some representational issues in default reasoning
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (10)

• Generating all maximal models of a Boolean expression
• Limited reasoning in first-order knowledge bases
• Title not available (Why is that?)
• The inverse satisfiability problem
• Title not available (Why is that?)
• Defaults and relevance in model-based reasoning
• Reasoning with models
• Title not available (Why is that?)
• Hard problems for simple default logics
• 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)