A fixed point theorem for non-monotonic functions

DOI10.1016/j.tcs.2015.01.032zbMath1318.68066arXiv1402.0299OpenAlexW2029438897MaRDI QIDQ2257304

Panos Rondogiannis, Zoltán Ésik

Publication date: 24 February 2015

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1402.0299

zbMATH Keywords

non-monotonicityfixed-point theorysemantics of logic programming

Mathematics Subject Classification ID

Complete lattices, completions (06B23) Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items

Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs, An analysis of the equational properties of the well-founded fixed point, Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview, Equational Properties of Stratified Least Fixed Points (Extended Abstract), Perturbed‐analytic direct transcription for optimal control (PADOC), Equational properties of fixed-point operations in cartesian categories: An overview, Extensional Semantics for Higher-Order Logic Programs with Negation, On fixed point theory in partially ordered sets and an application to asymptotic complexity of algorithms

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Ultimate approximation and its application in nonmonotonic knowledge representation systems
• The alternating fixpoint of logic programs with negation
• Handbook of weighted automata
• Fixpoint semantics for logic programming a survey
• A lattice-theoretical fixpoint theorem and its applications
• Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation
• Extensional Higher-Order Logic Programming
• The Semantics of Predicate Logic as a Programming Language
• The well-founded semantics for general logic programs
• Logic programming and negation: A survey
• The infinite-valued semantics: overview, recent results and future directions
• Minimum model semantics for logic programs with negation-as-failure
• Splitting an operator
• A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation