Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints

DOI10.1007/978-3-540-87803-2_10zbMath1178.68191OpenAlexW1512689647MaRDI QIDQ3532460

Miroslaw Truszczynski, Luciano Caroprese

Publication date: 27 October 2008

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-87803-2_10

Mathematics Subject Classification ID

Database theory (68P15) Logic programming (68N17)

Related Items (2)

Active integrity constraints and revision programming ⋮ Declarative Semantics for Active Integrity Constraints

Cites Work

• Unnamed Item
• Unnamed Item
• Circumscription - a form of non-monotonic reasoning
• Revision programming
• Nested expressions in logic programs
• Declarative Semantics of Production Rules for Integrity Maintenance
• Declarative Semantics for Active Integrity Constraints

This page was built for publication: Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints