A Unified Semantics for Constraint Handling Rules in Transaction Logic

DOI10.1007/978-3-540-72200-7_18MaRDI QIDQ5425409zbMATH OpenOpenAlexFDO

Authors Marc Meister, Khalil Djelloul, Jacques Robin

Publication date 13 November 2007

Published in Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-72200-7_18

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Transactions in Constraint Handling Rules
• A Linear-Logic Semantics for Constraint Handling Rules
• Logic Programming
• Theory and practice of constraint handling rules
• Unifying concurrency control and recovery of transactions with semantically rich operations
• Confluence and semantics of constraint simplification rules
• A complete and terminating execution model for constraint handling rules
• scientific article; zbMATH DE number 1390348
• Transaction logic with defaults and argumentation theories
• (Co-)inductive semantics for constraint handling rules

Cited in

(7)

• Linear-logic based analysis of Constraint Handling Rules with disjunction
• (Co-)inductive semantics for constraint handling rules
• As time goes by: constraint handling rules
• A Linear-Logic Semantics for Constraint Handling Rules
• A complete and terminating execution model for constraint handling rules
• Transactions in Constraint Handling Rules
• Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules

This page was built for publication: A Unified Semantics for Constraint Handling Rules in Transaction Logic

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