On Well-Founded Set-Inductions and Locally Monotone Operators
From MaRDI portal
Publication:5278197
DOI10.1145/2963096zbMath1367.68275OpenAlexW2519968153MaRDI QIDQ5278197
Marc Denecker, Bart Bogaerts, Joost Vennekens
Publication date: 13 July 2017
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://lirias.kuleuven.be/handle/123456789/552076
autoepistemic logicwell-founded semanticsnonmonotonic reasoninglogic programminglattice operatorapproximation fixpoint theory
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Approximating operators and semantics for abstract dialectical frameworks
- Ultimate approximation and its application in nonmonotonic knowledge representation systems
- Grounded fixpoints and their applications in knowledge representation
- Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory
- Semantical considerations on nonmonotonic logic
- Partial models and logic programming
- On the relation between default and autoepistemic logic
- A logic for default reasoning
- Chain-complete posets and directed sets with applications
- Fixpoint semantics for logic programming a survey
- Uniform semantic treatment of default and autoepistemic logics
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
- All I know: A study in autoepistemic logic
- Hex Semantics via Approximation Fixpoint Theory
- Answer Set Programming’s Contributions to Classical Logic
- A kripke-kleene semantics for logic programs*
- Contributions to the Theory of Logic Programming
- The Semantics of Predicate Logic as a Programming Language
- Autoepistemic logic
- The well-founded semantics for general logic programs
- Splitting an operator
- Erratum to splitting an operator
- Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions
- On notation for ordinal numbers
This page was built for publication: On Well-Founded Set-Inductions and Locally Monotone Operators
