Automatic synthesis of new behaviors from a library of available behaviors

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2007, Pages 1866-1871

  De Giacomo, Giuseppe ^a   Sardina, Sebastian ^b  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

^b RMIT UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT FRAMEWORK; AGENT-ORIENTED PROGRAMMING; AUTOMATIC SYNTHESIS; COGNITIVE ROBOTICS; CONTROLLABLE BEHAVIORS; MULTI-AGENT COORDINATIONS; PROPOSITIONAL DYNAMIC LOGIC; WEB-SERVICE COMPOSITIONS;

ARTIFICIAL INTELLIGENCE; COMPUTATIONAL COMPLEXITY; FORMAL LOGIC; ROBOT PROGRAMMING;

ROBOTICS;

EID: 84880862136     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. D. Berardi, D. Calvanese, G. De Giacomo, R. Hull, and M. Mecella. Automatic composition of transition-based semantic web services with messaging. In Proc. of VLDB, 2005.
2. D. Berardi, D. Calvanese, G. De Giacomo, M. Lenzerini, and M. Mecella. Automatic composition of e-Services that export their behavior. In Proc. of ICSOC, pages 43-58, 2003.
3. D. Berardi, D. Calvanese, G. De Giacomo, M. Lenzerini, and M. Mecella. Automatic service composition based on behavioural descriptions. International Journal of Cooperative Information Systems, 14(4):333-376, 2005. (Pubitemid 41053811)
4. J. R. Firby. Adaptive Execution in Complex Dynamic Domains. PhD thesis, Yale University, 1989.
5. M. Gelfond and V. Lifschitz. Action languages. Electronic Transactions of AI (ETAI), 2:193-210, 1998.
6. M. P. Georgeff and A. L. Lansky. Reactive reasoning and planning. In Proc. of AAAI, pages 677-682, 1987.
7. D. Harel, D. Kozen, and J. Tiuryn. Dynamic Logic. TheMIT Press, 2000.
8. L. P. Kaelbling, M. L. Littman, and A. R. Cassandra. Planning and acting in partially observable stochastic domains. Artificial Intelligence Journal, 101:99-134, 1998.
9. M. J. Katz and J. S. Rosenschein. The generation and execution of plans for multiple agents. Computers and Artificial Intelligence, 12(1):5-35, 1993.
10. O. Kupferman and M. Y. Vardi. Synthesis with incomplete information. In Proc. of ICTL, 1997.
11. O. Kupferman and M. Y. Vardi. Safraless decision procedures. In Proc. of FOCS, pages 531-542, 2005.
12. S. McIlraith and T. C. Son. Adapting Golog for programming the semantic web. In Proc. of KR, pages 482-493, 2002.
13. N. Meuleau, L. Peshkin, K.-E. Kim, and L. P. Kaelbling. Learning finite-state controllers for partially observable environments. In Proc. of UAI, pages 427-436, 1999.
14. A. Muscholl and I. Walukiewicz. A lower bound on web services composition. Submitted, 2005.
15. A. Pnueli and R. Rosner. On the synthesis of a reactive module. In Proc. of POPL, pages 179-190, 1989.
16. J. Rintanen. Complexity of planning with partial observability. In Proc. of ICAPS, pages 345-354, 2004.