首页> 外文OA文献 >Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules

【2h】

Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules

机译：具有Prolog和约束处理规则的基于假设的推理的可执行规范

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

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

著录项

作者
Christiansen Henning;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules [J] . Henning Christiansen Journal of Applied Logic . 2009,第3期

机译：具有Prolog和约束处理规则的基于假设的推理的可执行规范
2. A PROLOG CONSTRAINT HANDLING RULES COMPILER AND RUNTIME SYSTEM [J] . CHRISTIAN HOLZBAUR, THOM FRUHWIRTH Applied Artificial Intelligence . 2000,第4期

机译：Prolog约束处理规则编译器和运行时系统
3. A Constraint Satisfaction Framework for Executing Perceptions and Actions in Diagrammatic Reasoning [J] . Banerjee B., Chandrasekaran B. The Journal of Artificial Intelligence Research . 2010,第5期

机译：用于执行图式推理中的感知和动作的约束满足框架
4. Constraint Handling Rules A Tutorial for (Prolog) Programmers [C] . Tom Schrijvers Logic programming . 2008

机译：约束处理规则（Prolog）程序员指南
5. A Translation Method from Natural Language Specifications of Communication Protocols into Executable Algebraic Specifications [D] . 石原, 靖哲 1995

机译：从通信协议的自然语言规范到可执行的代数规范的转换方法
6. Executable biochemical space for specification and analysis of biochemical systems [O] . Matej Troják, David Šafránek, Lukrécia Mertová, 2020

机译：生物化学系统规范和分析的可执行生物化学空间
7. Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules [O] . Henning Christiansen 2009

机译：具有Prolog和约束处理规则的基于假设的推理的可执行规范
8. Executing Trace Specifications Using Prolog [R] . McLean, J. D., Weiss, D. M., Landwehr, C. E. 1986

机译：使用prolog执行跟踪规范

Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules

著录项

引文网络

相似文献

相关主题

期刊订阅