Pages that link to "Item:Q1647517"
From MaRDI portal
The following pages link to Safe inductions and their applications in knowledge representation (Q1647517):
Displaying 4 items.
- Fixpoint semantics for active integrity constraints (Q1693567) (← 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)
