Toward efficient default reasoning

MaRDI QIDQ4934647zbMATH OpenFDO

Authors David W. Etherington, James M. Crawford

Publication date 22 March 2000

zbMATH Keywords

approximate consistency checkingdefault logicdefault reasoningnonmonotonic logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Knowledge representation (68T30)

Recommendations

• Hard problems for simple default logics
• scientific article; zbMATH DE number 4166939
• scientific article; zbMATH DE number 762062
• scientific article; zbMATH DE number 611096
• scientific article; zbMATH DE number 140378

Cited in

(18)

• Defaults and relevance in model-based reasoning
• Tractable reasoning via approximation
• Modality and interrupts
• Default reasoning by deductive planning
• Automated non-monotonic reasoning in System \textbf{P}
• New tractable classes for default reasoning from conditional knowledge bases
• scientific article; zbMATH DE number 1696879 (Why is no real title available?)
• Default reasoning by ant colony optimization
• Avoiding non-ground variables
• scientific article; zbMATH DE number 611096 (Why is no real title available?)
• scientific article; zbMATH DE number 1761409 (Why is no real title available?)
• A new algorithm to automate inductive learning of default theories
• scientific article; zbMATH DE number 762062 (Why is no real title available?)
• Default reasoning via blocking sets
• Using approximate reasoning to represent default knowledge
• On decision-theoretic foundations for defaults
• Evaluating the effect of semi-normality on the expressiveness of defaults
• A new default theories compilation for MSP-entailment

This page was built for publication: Toward efficient default reasoning

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