scientific article; zbMATH DE number 176156

MaRDI QIDQ4035258zbMATH OpenFDO

Authors

Publication date 18 May 1993

zbMATH Keywords

nonmonotonic reasoningproof theorymodel theorylogic programmingdefault reasoning

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic programming (68N17) Logic in artificial intelligence (68T27) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1218288
• A unifying view for logic programming with non-monotonic reasoning
• scientific article; zbMATH DE number 4047198
• Non-monotonic reasoning with logic programming
• A survey of non-monotonic reasoning
• Formalizing nonmonotonic reasoning systems
• A framework to incorporate non-monotonic reasoning into constraint logic programming
• Nonmonotonic reasoning: Towards efficient calculi and implementations

Cited in

(6)

• scientific article; zbMATH DE number 1979725 (Why is no real title available?)
• Nonmonotonic reasoning in the framework of situation calculus
• A Minimal Model Semantics for Nonmonotonic Reasoning
• scientific article; zbMATH DE number 4090838 (Why is no real title available?)
• A generalized view of nonmonotonic knowledge: a set of theoretic perspective
• A unifying view for logic programming with non-monotonic reasoning

This page was built for publication:

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