Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints

DOI10.1007/978-3-540-87803-2_10MaRDI QIDQ3532460zbMATH OpenOpenAlexFDO

Authors Luciano Caroprese, Mirosław Truszczyński

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

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

Recommendations

• Declarative Semantics for Active Integrity Constraints
• Active integrity constraints and revision programming
• Fixpoint semantics for active integrity constraints
• Declarative Semantics of Production Rules for Integrity Maintenance
• scientific article; zbMATH DE number 1182734
• scientific article; zbMATH DE number 1629838
• Declarative Debugging of Rewriting Logic Specifications
• Declarative debugging of rewriting logic specifications
• Preservation of integrity constraints in definite DATALOG programs
• From rewriting logic, to programming language semantics, to program verification

Cites work

• Circumscription - a form of non-monotonic reasoning
• Declarative Semantics for Active Integrity Constraints
• Declarative Semantics of Production Rules for Integrity Maintenance
• scientific article; zbMATH DE number 44621 (Why is no real title available?)
• scientific article; zbMATH DE number 1761413 (Why is no real title available?)
• Nested expressions in logic programs
• Revision programming

Cited in

(4)

• Revision programming
• Active integrity constraints and revision programming
• 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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3532460)