Representing flexible temporal behaviors in the situation calculus

7th International Symposium on Logical Formalizations of Commonsense Reasoning, Commonsense 2005

Volumn , Issue , 2005, Pages

  Finzi, Alberto ^a   Pirri, Fiora ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

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

CALCULATIONS;

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

References (23)

1. James F. Allen. Maintaining knowledge about temporal intervals. Commun. ACM, 26(11):832-843, 1983.
2. F ederico 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 Hec tor 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.
6. Alfredo Gabaldon. Programming hierarchical task networks in the situation calculus. In AIPS'02, 2002.
7. Malik Ghallab and Herv Laruelle. Representation and c ontrol 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. Reprinted in Semantic Information Processing (M. Minsky ed.), MIT Press, Cambridge, Mass., 1968, pp. 410-417.
13. Itay Meiri. Combining qualitative and quantitative constraints in temporal reasoning. Artif. Intell., 87(1-2):343-385, 1996.
14. 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.
15. 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.
16. 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.
17. Fiora Pirri and Raymond Reiter. Planning with natural actions in the situation calculus. pages 213-231, 2000.
18. R. Reiter. Natural actions, concurrency and continuous time in the situation calculus. In Proceedings of KR'96, pages 2-13, 1996.
19. Raymond Reiter. Knowledge in action : Logical foundations for specifying and implementing dynamical systems. MIT Press, 2001.
20. Tran Cao Son, Chitta Baral, and Le-Chi Tuan. Adding time and intervals to procedural and h ierarchical control specifications. In AAAI 2004, pages 92-97, 2004.
21. Austin Tate. I-n-ova and i-n-ca-representing plans and other synthesised artifacts as a set of constraints.
22. Marc B. Vilain and Henry A. Kautz. Constraint propagation algorithms for temporal reasoning. In AAAI, pages 377-382, 1986.
23. B.Williams, M. Ingham, S. Chung, P. Elliott, M. Hofbaur, and G. Sullivan. Model-based programming of fault-aware systems. AI Magazine, Winter 2003.