scientific article; zbMATH DE number 1453073

MaRDI QIDQ4955346zbMATH OpenFDO

Authors Grigoris Antoniou, Michael J. Maher, David Billington, Guido Governatori

Publication date 25 October 2000

zbMATH Keywords

defeasible logicLogic Programming without Negation as Failurelogic programming-based default reasoningnonmonotonic logicnonmonotonic reasoning

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 140386
• Towards a systematic account of different logic programming semantics
• scientific article; zbMATH DE number 18533
• Logic Programming with Strong Negation and Inexact Predicates
• scientific article; zbMATH DE number 1215501
• scientific article; zbMATH DE number 4185010
• Towards a Systematic Account of Different Semantics for Logic Programs
• S-semantics for logic programming: a retrospective look
• Dualities between alternative semantics for logic programming and nonmonotonic reasoning
• scientific article; zbMATH DE number 4033044

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