首页> 外文OA文献 >The Refined Operational Semantics of Constraint Handling Rules

【2h】

The Refined Operational Semantics of Constraint Handling Rules

机译：约束处理规则的精细操作语义

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Gregory J. Duck; Peter J. Stuckey; María García de la Banda; Christian Holzbaur;
展开▼
作者单位

展开▼
年度 2004
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. An Operational Semantics for the Cognitive Architecture ACT-R and Its Translation to Constraint Handling Rules [J] . Gall Daniel, Fruehwirth Thom ACM transactions on computational logic . 2018,第3期

机译：认知体系ACT-R的操作语义学及其对约束处理规则的转化
2. (Co-)Inductive semantics for Constraint Handling Rules [J] . REMY HAEMMERLE Theory and Practice of Logic Programming . 2011,第PTa4a5期

机译：约束处理规则的（共）归纳语义
3. Founded semantics and constraint semantics of logic rules [J] . Liu Yanhong A., Stoller Scott D. Journal of logic and computation . 2020,第8期

机译：建立逻辑规则的语义和约束语义
4. The Refined Operational Semantics of Constraint Handling Rules [C] . Gregory J. Duck, Peter J. Stuckey, Maria Garcia de la Banda, Logic Programming . 2004

机译：约束处理规则的精细操作语义
5. A comparative study of just-in-time (JIT) and theory of constraints (TOC) systems with varying constraint locations and operational characteristics. [D] . Hemmondharop, Pirun. 2002

机译：具有变化的约束位置和操作特性的实时（JIT）和约束理论（TOC）系统的比较研究。
6. Mind Operational Semantics and Brain Operational Architectonics: A Putative Correspondence [O] . Giulio Benedetti, Giorgio Marchetti, Alexander A Fingelkurts, 2010

机译：思维操作语义学与大脑操作建筑学：一种对应关系
7. An Operational Semantics for the Cognitive Architecture ACT-R and its Translation to Constraint Handling Rules [O] . Gall, Daniel, Frühwirth, Thom 2017

机译：认知架构aCT-R的操作语义及其应用转换为约束处理规则
8. STS-1 Operational Flight Profile. Volume 1: Ground Rules and Constraints Cycle 3.1.1.. [R] . 1980

机译：sTs-1运行飞行剖面图。第1卷：基本规则和约束周期3.1.1 ..

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号