A Unified Semantics for Constraint Handling Rules in Transaction Logic
A Unified Semantics for Constraint Handling Rules in Transaction Logic
复制标题
事务逻辑中约束处理规则的统一语义
DOI：
10.1007/978-3-540-72200-7_18
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
Djelloul
中科院分区：
文献类型：
--
作者：
Meister;Djelloul
对约束处理规则(CHR)程序及其执行行为的推理通常是特别的，并且在正式系统之外。这很遗憾，因为CHR包含了一系列重要的自动推理服务。将CHR映射到事务逻辑()结合了CHR规则规范、CHR规则应用以及在一个可执行的形式系统中对CHR程序和CHR派生的推理。这种新的语义消除了对分离的声明性和操作性语义的需要。
Reasoning on Constraint Handling Rules (CHR) programs and their executional behaviour is often ad-hoc and outside of a formal system. This is a pity, because CHR subsumes a wide range of important automated reasoning services. Mapping CHR to Transaction Logic () combines CHR rule specification, CHR rule application, and reasoning on CHR programs and CHR derivations inside one formal system which is executable. This newsemantics obviates the need for disjoint declarative and operational semantics.
登录
查看更多内容
DOI：
10.1007/978-1-4615-5643-5
发表时间：
1998-03
期刊：
J. Web Semant.
影响因子：
--
作者：
J. Chomicki;G. Saake
通讯作者：
J. Chomicki;G. Saake
关于事务逻辑更新的推理结果
DOI：
--
发表时间：
1996
期刊：
Transactions and Change in Logic Databases
影响因子：
--
作者：
A. Bonner;M. Kifer
通讯作者：
M. Kifer
约束处理规则的线性逻辑语义
DOI：
--
发表时间：
2005
期刊：
International Conference on Principles and Practice of Constraint Programming
影响因子：
--
作者：
Hariolf Betz;Thom W. Frühwirth
通讯作者：
Thom W. Frühwirth
DOI：
--
发表时间：
1996
期刊：
Transactions and Change in Logic Databases
影响因子：
--
作者：
P. V. Eck;J. Engelfriet;D. Fensel;F. V. Harmelen;Y. Venema;M. Willems
通讯作者：
M. Willems
事务逻辑编程（或过程性和声明性知识的逻辑）
DOI：
--
发表时间：
1995
期刊：
影响因子：
--
作者：
A. Bonner;M. Kifer
通讯作者：
M. Kifer