Multivalued action languages with constraints in CLP(FD)

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4670 LNCS, Issue , 2007, Pages 255-270

  Dovier, Agostino ^a   Formisano, Andrea ^b   Pontelli, Enrico ^c  

^a UNIVERSITY OF UDINE   (Italy)

^b UNIVERSITY OF PERUGIA   (Italy)

^c NEW MEXICO STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; COMPUTER PROGRAMMING LANGUAGES;

ACTION DESCRIPTION LANGUAGES; ACTION LANGUAGE; CONDITIONAL EFFECTS; CONSTRAINT LOGIC PROGRAMMING; FINITE DOMAINS; MULTI-VALUED; PLANNING DOMAINS; PROTOTYPE IMPLEMENTATIONS;

LOGIC PROGRAMMING;

EID: 38149127350     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-74610-2_18     Document Type: Conference Paper

References (17)

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. Dovier, A., Formisano, A., Pontelli, E.: A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems. In: Gabbrielli, M., Gupta, G. (eds.) ICLP 2005. LNCS, vol. 3668, pp. 67-82. Springer, Heidelberg (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)
6. Gelfond, M., Lifschitz, V.: Action Languages. Elect. Trans. Artif. Intell. 2,193-210 (1998)
7. Giunchiglia, E., Lierler, Y., Maratea, M.: SAT-Based Answer Set Programming. In: Proc. ogf AAAI'04, AAAI/Mit Press, pp. 61-66 (2004)
8. Jonsson, A.K., Morris, PH., Muscettola, N., Rajan, K., Smith, B.D.: Planning in Interplanetary Space: Theory and Practice. In: AIPS (2002)
9. Lee, J., Lifschitz, V.: Describing Additive Fluents in Action Language C+. IJCAI (2003)
10. Lopez, A., Bacchus, F.: Generalizing GraphPlan by Formulating Planning as a CSP. In: Proc. of IJCAI (2003)
11. Marriott, K., Stuckey, P.J.: Programming with Constraints. MIT Press, Cambridge (1998)
12. Phan, T., Son, TC, Pontelli, E.: CPP: a Constraint Logic Programming based Planner with Preferences. In: LPNMR, Springer, Heidelberg (2007)
13. Phan, T., Son, T.C., Baral, C.: Planning with Sensing Actions, Incomplete Information, and Static Causal Laws using Logic Programming. TPLP (to appear)
14. Reiter, R.: Knowledge in Action: Logical Foundations for Describing and Implementing Dynamical Systems. MIT Press, Cambridge (2001)
15. Simons, P.: Extending and Implementing the Stable Model Semantics. Doctoral dissertation. Report 58, Helsinki University of Technology (2000)
16. Son, T.C., Baral, C., Mcllraith, S.A.: Planning with different forms of domain-dependent control knowledge. In: Eiter, T., Faber, W., Truszczyński, M. (eds.) LPNMR 2001. LNCS (LNAI), vol. 2173, pp. 226-239. Springer, Heidelberg (2001)
17. Thielscher, M.: Reasoning about Actions with CHRs and Finite Domain Constraints. In: Stuckey, P.J. (ed.) ICLP 2002. LNCS, vol. 2401, pp. 70-84. Springer, Heidelberg (2002)