Grounded fixpoints and active integrity constraints
From MaRDI portal
Recommendations
Cites work
- A logic for default reasoning
- A Proof Procedure for Data Dependencies
- Active integrity constraints and revision programming
- Declarative Semantics of Production Rules for Integrity Maintenance
- Fixpoint semantics for logic programming a survey
- Grounded fixpoints and their applications in knowledge representation
- scientific article; zbMATH DE number 44621 (Why is no real title available?)
- scientific article; zbMATH DE number 1507286 (Why is no real title available?)
- scientific article; zbMATH DE number 839556 (Why is no real title available?)
- Integrity constraints for general-purpose knowledge bases
- On the complexity of propositional knowledge base revision, updates, and counterfactuals
- Optimizing computation of repairs from active integrity constraints
- Update by means of inference rules
Cited in
(6)- Fixpoint semantics for active integrity constraints
- Active integrity constraints for general-purpose knowledge bases
- A dynamic view of active integrity constraints
- A dynamic logic account of active integrity constraints
- Declarative Semantics for Active Integrity Constraints
- Inconsistency-tolerant semantics based on (preferred) repairs (invited paper)
This page was built for publication: Grounded fixpoints and active integrity constraints
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5240214)
