Composition of ConGolog programs

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2009, Pages 904-910

  Sardina, Sebastian ^a   De Giacomo, Giuseppe ^b  

^a RMIT UNIVERSITY   (Australia)

^b SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE;

ACTION THEORY; COMPOSITION PROBLEM; FINITE STATE; HIGH-LEVEL PROGRAM; INFINITE DOMAINS; INFINITE NUMBERS; PROGRAM EXECUTION; SITUATION CALCULUS;

CALCULATIONS;

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

References (16)

1. Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Massimo Mecella. Automatic composition of e-Services that export their behavior. In Proceedings of the International Joint Conference on Service Oriented Computing (ICSOC), pages 43-58, 2003.
2. Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Rick Hull, and Massimo Mecella. Automatic composition of transition-based semantic web services with messaging. In Proceedings of the International Confernece on Very Large Databases (VLDB), pages 613-624, 2005.
3. Jens Claßen and Gerhard Lakemeyer. A logic for non-terminating Golog programs. In Proceedings of Principles of Knowledge Representation and Reasoning (KR), pages 589-599, 2008.
4. Giuseppe De Giacomo and Sebastian Sardina. Automatic synthesis of new behaviors from a library of available behaviors. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pages 1866-1871, 2007.
5. Giuseppe De Giacomo, Yves Lespérance, and Hector J. Levesque. ConGolog, a concurrent programming language based on the situation calculus. Artificial Intelligence Journal, 121(1-2):109-169, 2000.
6. Ryan F. Kelly and Adrian R. Pearce. Property persistence in the situation calculus. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pages 1948-1953, 2007.
7. Hector J. Levesque, Ray Reiter, Yves Lespérance, Fangzhen Lin, and Richard B. Scherl. GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming, 31:59-84, 1997.
8. Yoad Lustig and Moshe Y. Vardi. Synthesis from component libraries. In Proceedings of the International Confernece on Foundations of Software Science and Computational Structures (FOSSACS), volume 5504 of LNCS, pages 395-409. Springer, 2009.
9. Sheila A. McIlraith and Tran Cao Son. Adapting Golog for composition of semantic web service. In Proceedings of Principles of Knowledge Representation and Reasoning (KR), pages 482-493, 2002.
10. Robin Milner. An algebraic definition of simulation between programs. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pages 481-489, 1971.
11. Fiora Pirri and Ray Reiter. Some contributions to the metatheory of the situation calculus. Journal of the ACM, 46(3):261-325, 1999.
12. Ray Reiter. Knowledge in Action. Logical Foundations for Specifying and Implementing Dynamical Systems. The MIT Press, 2001.
13. Sebastian Sardina, Giuseppe De Giacomo, Yves Lespérance, and Hector J. Levesque. On the semantics of deliberation in IndiGolog - From theory to implementation. Annals of Mathematics and Artificial Intelligence, 41(2-4):259-299, August 2004.
14. Sebastian Sardina, Fabio Patrizi, and Giuseppe De Giacomo. Behavior composition in the presence of failure. In Proceedings of Principles of Knowledge Representation and Reasoning (KR), pages 640-650, 2008.
15. Alfred Tarski. A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics, 5:285-309, 1955.
16. Paolo Traverso and Marco Pistore. Automated composition of semantic web services into executable processes. In Proceedings of the International Semantic Web Conference (ISWC), pages 380-394, 2004.