Pages that link to "Item:Q892232"
From MaRDI portal
The following pages link to Grounded fixpoints and their applications in knowledge representation (Q892232):
Displaying 14 items.
- Ultimate approximation and its application in nonmonotonic knowledge representation systems (Q598245) (← links)
- Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory (Q898737) (← links)
- Safe inductions and their applications in knowledge representation (Q1647517) (← links)
- Fixpoint semantics for active integrity constraints (Q1693567) (← links)
- Active integrity constraints for general-purpose knowledge bases (Q1783734) (← links)
- Fixed point semantics for stream reasoning (Q2046012) (← links)
- Vicious circle principle, aggregates, and formation of sets in ASP based languages (Q2321320) (← links)
- Flexible Approximators for Approximating Fixpoint Theory (Q2814522) (← links)
- Grounded fixpoints and active integrity constraints (Q5240214) (← links)
- On Well-Founded Set-Inductions and Locally Monotone Operators (Q5278197) (← links)
- Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT (Q6063882) (← links)
- Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming (Q6566627) (← links)
- Embedding justification theory in approximation fixpoint theory (Q6566637) (← links)
- Fixpoint semantics for recursive \textsc{shacl} (Q6647306) (← links)