Pages that link to "Item:Q1693567"
From MaRDI portal
The following pages link to Fixpoint semantics for active integrity constraints (Q1693567):
Displaying 11 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)
- Active integrity constraints and revision programming (Q2884257) (← links)
- Semantics and Pragmatics of Integrity Constraints (Q3458150) (← links)
- Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints (Q3532460) (← links)
- Grounded fixpoints and active integrity constraints (Q5240214) (← 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)