Database repair via event-condition-action rules in dynamic logic

DOI10.1007/978-3-031-11321-5_5MaRDI QIDQ2103906

Andreas Herzig, Guillaume Feuillade, Christos Rantsoudis

Publication date: 9 December 2022

Full work available at URL: https://doi.org/10.1007/978-3-031-11321-5_5

zbMATH Keywords

dynamic logic; ECA rules; database repair

Mathematics Subject Classification ID

68P15: Database theory

68T27: Logic in artificial intelligence

68T35: Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence

68U35: Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.)