scientific article; zbMATH DE number 1301742
From MaRDI portal
Publication:4246955
zbMATH Open0928.03033MaRDI QIDQ4246955FDOQ4246955
Authors: Marc Denecker 
Publication date: 12 January 2000
Title of this publication is not available (Why is that?)
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
uncertaintyconstructive mathematicsknowledge representationlogic programmingwell-founded semanticsinductive definitions
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)
Cited In (8)
- Postulates for Revocation Schemes
- A logic of nonmonotone inductive definitions
- Safe inductions and their applications in knowledge representation
- 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)
