Perspectives on Logic-Based Approaches for Reasoning about Actions and Change-Reference-Cited by-同舟云学术

Perspectives on Logic-Based Approaches for Reasoning about Actions and Change

Published:2011 Issue: Volume: Page:259-279
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Dovier Agostino,Formisano Andrea,Pontelli Enrico

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-20832-4_17

Reference28 articles.

1. Baral, C., Son, T., Tuan, L.-C.: A transition function based characterization of actions with delayed and continuous effects. In: Fensel, D., Giunchiglia, F., McGuinness, D.L., Williams, M.-A. (eds.) KR 2002: Principles of Knowledge Representation and Reasoning, pp. 291–302. Morgan Kaufmann, San Francisco (2002)

2. Blum, A., Furst, M.: Fast planning through planning graph analysis. Artificial Intelligence 90, 281–300 (1997)

3. Lecture Notes in Computer Science;A. Dovier,2005

4. Dovier, A., Formisano, A., Pontelli, E.: An experimental comparison of constraint logic programming and answer set programming. In: Howe, A., Holt, R. (eds.) AAAI 2007: Proceedings of the 22nd AAAI Conference on Artificial Intelligence, pp. 1622–1625. AAAI Press, Menlo Park (2007)

5. Lecture Notes in Computer Science;A. Dovier,2007

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

1. ECHO: A hierarchical combination of classical and multi-agent epistemic planning problems;Journal of Logic and Computation;2023-07-21

2. ASP Applications in Bio-informatics: A Short Tour;KI - Künstliche Intelligenz;2018-06-18

3. Enriched Modeling and Reasoning on Business Processes with Ontologies and Answer Set Programming;Lecture Notes in Business Information Processing;2018

4. Constraint answer set solver EZCSP and why integration schemas matter;Theory and Practice of Logic Programming;2017-06-29

5. A survey of imperatives and action representation formalisms;Artificial Intelligence Review;2016-07-29