A Unified Semantics for Constraint Handling Rules in Transaction Logic

Marc Meister, Khalil Djelloul, Jacques Robin. A Unified Semantics for Constraint Handling Rules in Transaction Logic. In Chitta Baral, Gerhard Brewka, John S. Schlipf, editors, Logic Programming and Nonmonotonic Reasoning, 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings. Volume 4483 of Lecture Notes in Computer Science, pages 201-213, Springer, 2007. [doi]

Abstract

Abstract is missing.