scientific article; zbMATH DE number 980413

zbMATH Open0862.03017MaRDI QIDQ4333375FDOQ4333375

Grigoris Antoniou, Volker Sperschneider

Publication date: 19 February 1997

Title of this publication is not available (Why is that?)

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

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)

Cited In (4)

• Title not available (Why is that?)
• 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)