首页> 外文OA文献 >On the progression of situation calculus basic action theories: Resolving a 10-year-old conjecture

【2h】

On the progression of situation calculus basic action theories: Resolving a 10-year-old conjecture

机译：关于情境演化基本行动理论的演进：解决一个有10年历史的猜想

页面导航

著录项
相似文献
相关主题

著录项

作者
Stavros Vassos; Hector J. Levesque;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Operators of Basic (or q-) Calculus and Fractional q-Calculus and Their Applications in Geometric Function Theory of Complex Analysis [J] . Srivastava H. M. Iranian Journal of Science and Technology . 2020,第1期

机译：基本（或q）微积分和分数q微积分的算子及其在复杂分析几何函数理论中的应用
2. Bounded situation calculus action theories [J] . Giuseppe De Giacomo, Yves Lesperance, Fabio Patrizi Artificial intelligence . 2016,第AUGa期

机译：局限情境演算行动理论
3. Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming [J] . Lee J., Palla R. The Journal of Artificial Intelligence Research . 2012,第4期

机译：在稳定模型的一般理论和答案集编程中重新制定情境演算和事件演算
4. On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture [C] . Stavros Vassos, Hector J. Levesque AAAI Conference on Artificial Intelligence . 2008

机译：关于情况的进展基础作用理论：解决一个10岁的猜想
5. Handling uncertainty systems in the situation calculus with macro-actions. [D] . Gu, Yilan. 2002

机译：在具有宏观作用的情况演算中处理不确定性系统。
6. Time-Resolved Spectroscopic and Density Functional Theory Investigation of the Photogeneration of a Bifunctional Quinone Methide in Neutral and Basic Aqueous Solutions [O] . Zhiping Yan, Lili Du, Xin Lan, 2018

机译：时间分辨光谱和密度泛函理论研究中性和碱性水溶液中双功能甲硫醌的光生化
7. Representing actions in logic programs and default theories a situation calculus approach [O] . Turner Hudson 1997

机译：在逻辑程序和默认理论中表示动作，采用情境演算方法

On the progression of situation calculus basic action theories: Resolving a 10-year-old conjecture

著录项

相似文献

相关主题

期刊订阅