Categorical approximation fixpoint theory
From MaRDI portal
Publication:6545560
Recommendations
- Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming
- Flexible approximators for approximating fixpoint theory
- Ultimate approximation and its application in nonmonotonic knowledge representation systems
- Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning
Cites work
- A compositional typed higher-order logic with definitions
- A lattice-theoretical fixpoint theorem and its applications
- Algebraically compact functors
- Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT
- Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory
- Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs
- Approximation fixpoint theory and the well-founded semantics of higher-order logic programs
- Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning
- Fixed-point constructions in order-enriched categories
- Fixpoint semantics for logic programming a survey
- Flexible approximators for approximating fixpoint theory
- Hex semantics via approximation fixpoint theory
- scientific article; zbMATH DE number 439891 (Why is no real title available?)
- scientific article; zbMATH DE number 43398 (Why is no real title available?)
- scientific article; zbMATH DE number 107664 (Why is no real title available?)
- scientific article; zbMATH DE number 3458870 (Why is no real title available?)
- scientific article; zbMATH DE number 400814 (Why is no real title available?)
- scientific article; zbMATH DE number 195102 (Why is no real title available?)
- Least fixed point of a functor
- Minimum model semantics for extensional higher-order logic programming with negation
- Recursive data types in algebraically -complete categories
- Semantic subtyping, dealing set-theoretically with function, union, intersection, and negation types
- Splitting an operator: algebraic modularity results for logics with fixpoint semantics
- The Category-Theoretic Solution of Recursive Domain Equations
- The intricacies of three-valued extensional semantics for higher-order logic programs
- Ultimate approximation and its application in nonmonotonic knowledge representation systems
- Well-founded and stable semantics of logic programs with aggregates
This page was built for publication: Categorical approximation fixpoint theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6545560)
