Publication:4246955
From MaRDI portal
zbMath0928.03033MaRDI QIDQ4246955
Publication date: 12 January 2000
uncertaintyknowledge representationconstructive mathematicswell-founded semanticslogic programminginductive definitions
68T27: Logic in artificial intelligence
68T30: Knowledge representation
03B70: Logic in computer science
68Q55: Semantics in the theory of computing
68N17: Logic programming
03D70: Inductive definability
Related Items
Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems withIDP3, Ultimate approximation and its application in nonmonotonic knowledge representation systems, Inductive situation calculus, A connection between the Cantor-Bendixson derivative and the well-founded semantics of finite logic programs, Connecting First-Order ASP and the Logic FO(ID) through Reducts, Postulates for Revocation Schemes