Pages that link to "Item:Q2851236"
From MaRDI portal
The following pages link to Hex Semantics via Approximation Fixpoint Theory (Q2851236):
Displaying 8 items.
- Grounded fixpoints and their applications in knowledge representation (Q892232) (← links)
- Safe inductions and their applications in knowledge representation (Q1647517) (← links)
- Fixpoint semantics for active integrity constraints (Q1693567) (← links)
- Fixed point semantics for stream reasoning (Q2046012) (← links)
- Flexible Approximators for Approximating Fixpoint Theory (Q2814522) (← links)
- Knowledge compilation of logic programs using approximation fixpoint theory (Q4592990) (← 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)
