Database repair via event-condition-action rules in dynamic logic
DOI10.1007/978-3-031-11321-5_5OpenAlexW4285235163MaRDI QIDQ2103906FDOQ2103906
Authors: Guillaume Feuillade, Christos Rantsoudis, Andreas Herzig
Publication date: 9 December 2022
Full work available at URL: https://doi.org/10.1007/978-3-031-11321-5_5
Recommendations
- scientific article; zbMATH DE number 2085288
- An argumentation-based approach to database repair
- Publication:4934640
- Disjunctive databases for representing repairs
- Maintenance of queries under database changes: a unified logic based approach
- scientific article; zbMATH DE number 1696857
- A note on fixpoint techniques in data base recursive logic programs
- scientific article; zbMATH DE number 970717
Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Database theory (68P15) Logic in artificial intelligence (68T27) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)
Cites Work
- An Event-Condition-Action Logic Programming Language
- Title not available (Why is that?)
- Minimal-change integrity maintenance using tuple deletions
- Title not available (Why is that?)
- Declarative semantics for active rules
- Active integrity constraints and revision programming
- Fixpoint semantics for active integrity constraints
- Optimizing Computation of Repairs from Active Integrity Constraints
- Declarative Semantics of Production Rules for Integrity Maintenance
- Active integrity constraints for general-purpose knowledge bases
- Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL
This page was built for publication: Database repair via event-condition-action rules in dynamic logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2103906)