Representing flexible temporal behaviors in the situation calculus

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2005, Pages 436-441

  Finzi, Alberto ^a   Pirri, Fiora ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

BASIC ACTIONS; CONSTRAINT-BASED; HYBRID FRAMEWORK; REASONING ABOUT ACTIONS; SITUATION CALCULUS; TEMPORAL BEHAVIOR; TEMPORAL CONSTRAINTS;

ARTIFICIAL INTELLIGENCE;

CALCULATIONS;

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

References (24)

1. James F. Allen. Maintaining knowledge about temporal intervals. Commun. ACM, 26(11):832-843, 1983.
2. Federico Barber. Reasoning on interval and point-based disjunctive metric constraints in temporal contexts. J. Artif. Intell. Res. (JAIR), 12:35-86, 2000.
3. Giuseppe de Giacomo, Yves Lesperance, and Hector J. Levesque. Congolog, a concurrent programming language based on the situation calculus. Artif. Intell., 121(1-2):109-169, 2000.
4. A.K. Jonsson D.E. Smith, J. Frank. Bridging the gap between planning and scheduling. Knowledge Engineering Review, 15(1), 2000.
5. Rina Dechter, Itay Meiri, and Judea Pearl. Temporal constraint networks. Artif. Intell., 49(1-3):61-95, 1991. (Pubitemid 21679936)
6. Alfredo Gabaldon. Programming hierarchical task networks in the situation calculus. In AIPS'02, 2002.
7. Malik Ghallab and Herv Laruelle. Representation and control in ixtet, a temporal planner. In AIPS 1994, pages 61-67.
8. H. Grosskreutz and G. Lakemeyer. ccgolog - a logical language dealing with continuous change. Logic Journal of the IGPL, 11(2):179-221, 2003.
9. Joxan Jaffar and Michael J. Maher. Constraint logic programming: A survey. Journal of Logic Programming, 19/20:503-581, 1994.
10. Ari K. Jonsson, Paul H. Morris, Nicola Muscettola, Kanna Rajan, and Benjamin D. Smith. Planning in interplanetary space: Theory and practice. In Artificial Intelligence Planning Systems, pages 177-186, 2000.
11. J. Kvarnstrom, P. Doherty, and P. Haslum. Extending talplanner with concurrency and resources. In Proc. ECAI-00, pages 501-505, 2000.
12. J. McCarthy. Situations, actions and causal laws. Technical report, Stanford University, 1963.
13. Reprinted in Semantic Information Processing (M. Minsky ed.), MIT Press, Cambridge, Mass., 1968, pp. 410-417.
14. Itay Meiri. Combining qualitative and quantitative constraints in temporal reasoning. Artif. Intell., 87(1-2):343-385, 1996.
15. Nicola Muscettola, P. Pandurang Nayak, Barney Pell, and Brian C. Williams. Remote agent: To boldly go where no AI system has gone before. Artificial Intelligence, 103(1-2):5-47, 1998.
16. J.A. Pinto and R. Reiter. Reasoning about time in the situation calculus. Annals of Mathematics and Artificial Intelligence, 14(2-4):251-268, September 1995.
17. Javier Pinto. Occurrences and narratives as constraints in the branching structure of the situation calculus. Journal of Logic and Computation, 8(6):777-808, 1998.
18. Fiora Pirri and Raymond Reiter. Planning with natural actions in the situation calculus. pages 213-231, 2000.
19. R. Reiter. Natural actions, concurrency and continuous time in the situation calculus. In Proceedings of KR'96, pages 2-13, 1996.
20. Raymond Reiter. Knowledge in action : logical foundations for specifying and implementing dynamical systems. MIT Press, 2001.
21. Tran Cao Son, Chitta Baral, and Le-Chi Tuan. Adding time and intervals to procedural and hierarchical control specifications. In AAAI 2004, pages 92-97, 2004.
22. Austin Tate. I-n-ova and i-n-ca - representing plans and other synthesised artifacts as a set of constraints.
23. Marc B. Vilain and Henry A. Kautz. Constraint propagation algorithms for temporal reasoning. In AAAI, pages 377-382, 1986.
24. B.Williams, M. Ingham, S. Chung, P. Elliott, M. Hofbaur, and G. Sullivan. Model-based programming of fault-aware systems. AI Magazine, Winter 2003.