scientific article; zbMATH DE number 1191247

MaRDI QIDQ3842564zbMATH OpenFDO

Authors A. L. Visochan

Publication date 5 November 1998

zbMATH Keywords

default logicnonmonotonic logicsstable models in logic programmingsurvey

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Other nonclassical logic (03B60) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Logic programming (68N17) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• A survey of non-monotonic reasoning
• Nonmonotonic logics. Basic concepts, results, and techniques
• Publication:4735175

Cited in

(10)

• Operational concepts of nonmonotonic logics. I: Default logic
• A theory of nonmonotonic rule systems. II
• Nonmonotonic logics. Basic concepts, results, and techniques
• What is a (non-constructive) non-monotone logical system?
• Nonmonotonicity in the framework of parametric logic
• A survey of non-monotonic reasoning
• scientific article; zbMATH DE number 1191238 (Why is no real title available?)
• scientific article; zbMATH DE number 1775475 (Why is no real title available?)
• Bridges between Classical and Nonmonotonic Logic
• Non-commutative propositional logic with short-circuit evaluation

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 Q3842564)