scientific article; zbMATH DE number 1136651

MaRDI QIDQ4381709zbMATH OpenFDO

Authors Gerhard Brewka, Georg Gottlob

Publication date 1 April 1998

zbMATH Keywords

complexitydefault logicleast fixpoints of monotone operatorslogic programmingnonmonotonic reasoningsemantics

Mathematics Subject Classification ID

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

Recommendations

• Default theory for well founded semantics with explicit negation
• 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

(13)

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

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)