首页> 外文OA文献 >Answer Set Programming Modulo Theories and Reasoning about Continuous Changes

【2h】

Answer Set Programming Modulo Theories and Reasoning about Continuous Changes

机译：答案集编程模型理论与持续变化的推理

代理获取

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

页面导航

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

著录项

作者
Joohyung Lee; Yunsong Meng;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Non-monotonic spatial reasoning with answer set programming modulo theories [J] . Walega Przemyslaw Andrzej, Schultz Carl, Bhatt Mehul Theory and Practice of Logic Programming . 2017,第2期

机译：具有答案集编程模理论的非单调空间推理
2. On relation between constraint answer set programming and satisfiability modulo theories [J] . Lierler Yuliya, Susman Benjamin Theory and Practice of Logic Programming . 2017,第4期

机译：约束答案集编程与可满足性模理论之间的关系
3. A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming [J] . Baryannis George, Tachmazidis Ilias, Batsakis Sotiris, Theory and Practice of Logic Programming . 2020,第5期

机译：答案集规划中定性理论的编码和推理的广义方法
4. Answer Set Programming Modulo Theories and Reasoning about Continuous Changes [C] . Joohyung Lee, Yunsong Meng . 2013

机译：答案集编程模理论和连续变化的原因
5. Answer Set Programming Modulo Theories. [D] . Bartholomew, Michael. 2016

机译：答案集编程模理论。
6. Set Theory Logic and Probability: The Integration of Qualitative Reasoning into Teaching Statistics for Quantitative Biology [O] . Chenshu Liu, Ruijun Zhu 2016

机译：集合论逻辑和概率：将定性推理整合到定量生物学教学统计中
7. ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories [O] . Wałęga, Przemysław Andrzej, Bhatt, Mehul, Schultz, Carl 2015

机译：aspmT（Qs）：具有答案集编程的非单调空间推理模数理论
8. Clean Water Indian Set-Aside Grant Program: Answers to Frequently Asked Questions, March 2007 [R] . 2007

机译：清洁水印度套餐 - 助学金计划：常见问题解答，2007年3月

Answer Set Programming Modulo Theories and Reasoning about Continuous Changes

著录项

引文网络

相似文献

相关主题

期刊订阅