The First Version of a New ASP Solver: ASPeRiX

机译：新的ASP解算器的第一版：ASPeRiX

获取原文

获取原文并翻译 | 示例

页面导航

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

摘要

We present the first version of our ASP solver ASPeRiX that implements a new approach of answer set computation. The main speci-fity of our system is to realize a forward chaining of first order rules that are grounded on the fly. So, unlike all others available ASP systems ASPeRiX does not need a pregrounding processing.

机译：我们介绍了实现新的答案集计算方法的ASP解算器ASPeRiX的第一个版本。我们系统的主要特性是实现基于飞行的一阶规则的前向链接。因此，与所有其他可用的ASP系统不同，ASPeRiX不需要预接地处理。

著录项

来源
《Logic programming and nonmonotonic reasoning》|2009年|522-527|共6页
会议地点 Potsdam(DE);Potsdam(DE)
作者
Claire Lefevre; Pascal Nicolas;
展开▼
作者单位

LERIA - University of Angers - France 2, bd Lavoisier - F-49045 Angers Cedex 01;

LERIA - University of Angers - France 2, bd Lavoisier - F-49045 Angers Cedex 01;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类理论、方法;
关键词

相似文献

外文文献
中文文献
专利

1. ASPeRiX, a first-order forward chaining approach for answer set computing [J] . Lefevre Claire, Beatrix Christopher, Stephan Igor, Theory and Practice of Logic Programming . 2017,第3期

机译：ASPeRiX，用于答案集计算的一阶正向链接方法
2. Is Trait Rumination Associated with the Ability to Generate Effective Problem Solving Strategies? Utilizing Two Versions of the Means-Ends Problem-Solving Test [J] . Akira Hasegawa, Haruki Nishimura, Yuko Mastuda, Journal of rational-emotive and cognitive-behavior therapy: RET . 2016,第1期

机译：性格反省与产生有效的问题解决策略的能力有关吗？利用均值-终点问题解决测试的两个版本
3. Correlation of enthalpies of solvation of organic vapors and gases in ionic liquid solvents using a group contribution version of the Abraham solvation parameter model [J] . Grubbs L.M., Acree Jr. W.E., Abraham M.H. Thermochimica Acta: An International Journal Concerned with the Broader Aspects of Thermochemistry and Its Applications to Chemical Problems . 2010,第1a2期

机译：使用亚伯拉罕溶剂化参数模型的基团贡献形式关联离子液体溶剂中有机蒸气和气体的溶剂化焓
4. The First Version of a New ASP Solver: ASPeRiX [C] . Claire Lefevre, Pascal Nicolas International Conference on Logic Programming and Nonmonotonic Reasoning . 2009

机译：新的ASP求解器的第一版：Asperix
5. Development of a new revised version of the Witczak E* predictive models for hot mix asphalt mixtures. [D] . Bari, Javed. 2005

机译：为热拌沥青混合料开发了Witczak E *预测模型的新修订版。
6. Is Trait Rumination Associated with the Ability to Generate Effective Problem Solving Strategies? Utilizing Two Versions of the Means-Ends Problem-Solving Test [O] . Akira Hasegawa, Haruki Nishimura, Yuko Mastuda, -1

机译：性格反省与产生有效的问题解决策略的能力有关吗？使用均值端问题解决测试的两个版本
7. The First Version of a New ASP Solver : ASPeRiX [O] . C. Lefevre, P. Nicolas 2009

机译：新asp解决方案的第一个版本：aspeRiX
8. PC-SOLVE II User's Manual: A Procedural Guide for the Microcomputer Version of SOLVE II Sawmill Analysis Tool [R] . Adams, E. L. 1987

机译：pC-sOLVE II用户手册：sOLVE II锯木厂分析工具的微机版程序指南

The First Version of a New ASP Solver: ASPeRiX

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅