PDL-based framework for reasoning about actions-Reference-Cited by-同舟云学术

PDL-based framework for reasoning about actions

Published:1995 Issue: Volume: Page:103-114
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Giacomo Giuseppe,Lenzerini Maurizio

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-60437-5_10.pdf

Reference31 articles.

1. P. Blackburn and E. Spaan. A modal perspective on computational complexity of attribute value grammar. Journal of Logic, Language and Computation, 2:129–169, 1993.

2. C. Boutilier and N. Friedman. Nondeterministic actions and the frame problem. In [3], 39–44, 1995.

3. C. Boutilier, M. Goldszmidt, T. Dean, S. Hanks, D. Heckerman, and R. Reiter, editors. Working notes of the AAAI 1995 Spring Symposium on Extending Theories of Action: Formal and Practical Applications, Stanford, CA, USA, 1995.

4. P. Cohen and H. Levesque. Intention is choice with communication. Artificial Intelligence, 42:213–261, 1990.

5. G. De Giacomo. Decidability of Class-Based Knowledge Representation Formalisms and their Application to Medical Terminology Servers. PhD thesis, Dipartimento di Informatica e Sistemistica, Università di Roma ”La Sapienza”, 1995.

Cited by 21 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. t-DeLP: an argumentation-based Temporal Defeasible Logic Programming framework;Annals of Mathematics and Artificial Intelligence;2013-02-23

2. Preferential Reasoning for Modal Logics;Electronic Notes in Theoretical Computer Science;2011-11

3. A semantic characterization of a useful fragment of the situation calculus with knowledge;Artificial Intelligence;2011-01

4. Extend Atomic Action Definitions of DDL to Support Occlusions and Conditional Post-conditions;Intelligent Information Processing V;2010

5. Knowledge Representation and Non-monotonic Reasoning;Lecture Notes in Computer Science;2010