Multivalued Action Languages with Constraints in CLP(FD)-Reference-Cited by-同舟云学术

Multivalued Action Languages with Constraints in CLP(FD)

Published: Issue: Volume: Page:255-270
ISSN:
Container-title:Logic Programming
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-540-74610-2_18.pdf

Reference17 articles.

1. Apt, K.: Principles of Constraint Programming. Cambridge University Press, Cambridge (2003)

2. Baral, C.: Knowledge representation, reasoning and declarative problem solving. Cambridge University Press, Cambridge (2003)

3. Baral, C., Son, T.C., Tuan, L.C.: A Transition Function based Characterization of Actions with Delayed and Continuous Effects. In: KRR, Morgan Kaufmann, San Francisco (2002)

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

5. Dovier, A., Formisano, A., Pontelli, E.: An Empirical Study of CLP and ASP Solutions of Combinatorial Problems. J. of Experimental & Theoretical Artificial Intelligence (2007)

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

1. Modular action language;Theory and Practice of Logic Programming;2015-07-06

2. Yet more planning efficiency: Finite-domain state-variable reformulation;Journal of Experimental & Theoretical Artificial Intelligence;2015-05-12

3. A Temporally Expressive Planner Based on Answer Set Programming with Constraints: Preliminary Design;Lecture Notes in Computer Science;2011

4. Perspectives on Logic-Based Approaches for Reasoning about Actions and Change;Lecture Notes in Computer Science;2011

5. Constraint Logic Programming;Lecture Notes in Computer Science;2010