scientific article; zbMATH DE number 980413

MaRDI QIDQ4333375zbMATH OpenFDO

Authors Grigoris Antoniou, Volker Sperschneider

Publication date 19 February 1997

zbMATH Keywords

fixed-point equationsdefault logicautoepistemic logiccumulative default logicoperational interpretationsProlog implementations

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 516983
• Operational concepts of nonmonotonic logics. I: Default logic
• A correct logic programming computation of default logic extensions
• Operational characterization of extensions in some logics for default reasoning
• A theory of nonmonotonic rule systems. II

Cited in

(4)

• scientific article; zbMATH DE number 516983 (Why is no real title available?)
• Nonmonotonic reasoning: Towards efficient calculi and implementations
• Extending Prolog with nonmonotonic reasoning
• New proofs in default logic theory

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