Pages that link to "Item:Q1693567"
From MaRDI portal
The following pages link to Fixpoint semantics for active integrity constraints (Q1693567):
Displayed 4 items.
- Safe inductions and their applications in knowledge representation (Q1647517) (← links)
- Fixpoint semantics for active integrity constraints (Q1693567) (← links)
- Database repair via event-condition-action rules in dynamic logic (Q2103906) (← links)
- Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT (Q6063882) (← links)