Categorical approximation fixpoint theory

Cites Work

Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Ultimate approximation and its application in nonmonotonic knowledge representation systems
Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory
Least fixed point of a functor
Algebraically compact functors
Fixed-point constructions in order-enriched categories
Fixpoint semantics for logic programming a survey
Recursive data types in algebraically \(\omega\)-complete categories
A lattice-theoretical fixpoint theorem and its applications
Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning
Flexible Approximators for Approximating Fixpoint Theory
Extensional Semantics for Higher-Order Logic Programs with Negation
Hex Semantics via Approximation Fixpoint Theory
Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs
Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation
Well-founded and stable semantics of logic programs with aggregates
Semantic subtyping
The Category-Theoretic Solution of Recursive Domain Equations
Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs
The intricacies of three-valued extensional semantics for higher-order logic programs
A compositional typed higher-order logic with definitions
Splitting an operator
Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT

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)