scientific article; zbMATH DE number 1136651

MaRDI QIDQ4381709zbMATH OpenFDO

Authors Gerhard Brewka, Georg Gottlob

Publication date 1 April 1998

zbMATH Keywords

complexitynonmonotonic reasoningsemanticslogic programmingdefault logicleast fixpoints of monotone operators

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1292289
• Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions
• Dualities between alternative semantics for logic programming and nonmonotonic reasoning
• General default logic

Cited in

(12)

• A glimpse on Gerhard Brewka's contributions to artificial intelligence
• Dualities between alternative semantics for logic programming and nonmonotonic reasoning
• scientific article; zbMATH DE number 2031006 (Why is no real title available?)
• scientific article; zbMATH DE number 1301742 (Why is no real title available?)
• A tutorial on the well-founded semantics
• Restricted semantics for default reasoning
• Default logic and it's variants: A semantical view
• Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions
• On well-founded set-inductions and locally monotone operators
• Skepticism and floating conclusions
• scientific article; zbMATH DE number 5198932 (Why is no real title available?)
• scientific article; zbMATH DE number 970713 (Why is no real title available?)

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