scientific article; zbMATH DE number 1301742

MaRDI QIDQ4246955zbMATH OpenFDO

Authors Marc Denecker

Publication date 12 January 2000

zbMATH Keywords

uncertaintyconstructive mathematicsknowledge representationlogic programmingwell-founded semanticsinductive definitions

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17) Logic in artificial intelligence (68T27) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Inductive definability (03D70)

Recommendations

• On Principles of Inductive Definition
• scientific article; zbMATH DE number 2059537
• scientific article; zbMATH DE number 1948998
• scientific article; zbMATH DE number 3323819
• A tutorial on the well-founded semantics
• Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions
• Definitional Quantifiers Realise Semantic Reasoning for Proof by Induction
• scientific article; zbMATH DE number 1136651
• Foundation of logic programming based on inductive definition
• Mathematical Foundations of Computer Science 2004

Cited in

(8)

• Postulates for Revocation Schemes
• Safe inductions and their applications in knowledge representation
• A logic of nonmonotone inductive definitions
• A connection between the Cantor-Bendixson derivative and the well-founded semantics of finite logic programs
• Inductive situation calculus
• Ultimate approximation and its application in nonmonotonic knowledge representation systems
• Connecting first-order ASP and the logic FO(ID) through reducts
• Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3

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