Grounded fixpoints and their applications in knowledge representation

DOI10.1016/J.ARTINT.2015.03.006zbMATH Open1343.68233OpenAlexW2047865008MaRDI QIDQ892232FDOQ892232

Authors: Bart Bogaerts, Joost Vennekens, Marc Denecker

Publication date: 18 November 2015

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2015.03.006

Recommendations

Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning
Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs
Ultimate approximation and its application in nonmonotonic knowledge representation systems
On well-founded set-inductions and locally monotone operators
Fixpoint semantics for logic programming a survey

groundedness stable semantics logic programming abstract argumentation well-founded semantics abstract dialectical frameworks autoepistemic logic lattice operator approximation fixpoint theory

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17) Logic in artificial intelligence (68T27) Logical aspects of lattices and related structures (03G10)

Cites Work

Dualities between alternative semantics for logic programming and nonmonotonic reasoning
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
The well-founded semantics for general logic programs
Semantics and complexity of recursive aggregates in answer set programming
Logic Programming and Nonmonotonic Reasoning
Datalog extensions for database queries and updates
Well-founded and stable semantics of logic programs with aggregates
The Semantics of Predicate Logic as a Programming Language
On notation for ordinal numbers
A logic for default reasoning
Non-monotonic logic. I
Semantical considerations on nonmonotonic logic
Fixpoint semantics for logic programming a survey
Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning
Splitting an operator
Ultimate approximation and its application in nonmonotonic knowledge representation systems
All I know: A study in autoepistemic logic
On the relation between default and autoepistemic logic
Uniform semantic treatment of default and autoepistemic logics
Translating default logic into standard autoepistemic logic
Approximating operators and semantics for abstract dialectical frameworks
Nonmonotonic Logic II
Twelve Definitions of a Stable Model
Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions
Logic programs with monotone abstract constraint atoms
Hex semantics via approximation fixpoint theory
Vicious Circle Principle and Logic Programs with Aggregates
Title not available (Why is that?)
Title not available (Why is that?)
Reiter's default logic is a logic of autoepistemic reasoning and a good one, too
A logic of nonmonotone inductive definitions

Cited In (14)

Embedding justification theory in approximation fixpoint theory
Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming
Fixpoint semantics for recursive \textsc{shacl}
On Well-Founded Set-Inductions and Locally Monotone Operators
Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT
Safe inductions and their applications in knowledge representation
Fixpoint semantics for active integrity constraints
Title not available (Why is that?)
Active integrity constraints for general-purpose knowledge bases
Fixed point semantics for stream reasoning
Vicious circle principle, aggregates, and formation of sets in ASP based languages
Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory
Flexible Approximators for Approximating Fixpoint Theory
Ultimate approximation and its application in nonmonotonic knowledge representation systems

This page was built for publication: Grounded fixpoints and their applications in knowledge representation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q892232)