Active integrity constraints and revision programming

DOI10.1017/S1471068410000475zbMath1242.68049arXiv1009.2270MaRDI QIDQ2884257

Luciano Caroprese, Miroslaw Truszczynski

Publication date: 24 May 2012

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1009.2270

zbMATH Keywords

inconsistent databasesrevision programmingactive integrity constraints

Mathematics Subject Classification ID

Database theory (68P15) Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items (4)

Unnamed Item ⋮ Fixpoint semantics for active integrity constraints ⋮ Active integrity constraints for general-purpose knowledge bases ⋮ Database repair via event-condition-action rules in dynamic logic

Cites Work

• Managing conflicts between results
• Revision programming
• On the computational cost of disjunctive logic programming: Propositional case
• Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints
• Autoepistemic logic

This page was built for publication: Active integrity constraints and revision programming