Hybrid temporal reasoning for planning and scheduling

Proceedings of the International Workshop on Temporal Representation and Reasoning

Volumn , Issue , 1996, Pages 39-44

  Badaloni, S ^a   Berati, M ^b  

^a UNIVERSITY OF PADOVA   (Italy)

^b CSELT   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

METRIC INFORMATION; PLANNING AND SCHEDULING; QUALITATIVE INFORMATION; TEMPORAL CONSTRAINTS; TEMPORAL INFORMATION; TEMPORAL REASONING; UNIFORM FRAMEWORK;

ALGEBRA;

EID: 84958626320     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TIME.1996.555674     Document Type: Conference Paper

References (17)

1. J.F. Allen, "Maintaining Knowledge about Temporal Intervals", Comm. of the ACM, Vol. 11, 26, pp. 832-843, 1983.
2. J.F. Allen, "Towards a general theory of action and time. Artificial Intelligence, Vol. 23, pp. 123-154, 1984.
3. J.F. Allen, H.A. Kautz, R.N. Pelavin, J.D. Tenenberg, Reasoning about Plans, Morgan Kaufmann Publishers Inc., San Mateo, CA, 1991. pp. 832-843, 1983.
4. S. Badaloni, E. Pagello, L. Stocchiero, A. Zanardi, "Planning temporally qualified robot actions" , Proc. Int. Conf. on Advanced Robotics ICAR93, Tokyo, Japan, 1993.
5. S. Badaloni, M. Berati, "Dealing with time granularity in a Temporal Planning System", Lecture Notes in Artificial Intelligence, Vol. 827, pp. 101-116, Springer Verlag, 1994.
6. S. Badaloni, M. Berati, P. Bison, E. Pagello, "Templar: A temporal planner for monitoring the actions of an autonomous robot used in plant experiments", Proc. 4th Int. Conf. on Intelligent Autonomous Systems US-4, Karlsruhe, Germany, 1995.
7. S. Becker, "Hybrid temporal and non-Temporal knowledge for scheduling" Proc. of the TIME-95, Melbourne, FL, 1995.
8. V. Brusoni, L. Console, B. Pernici, and P. Terenziani, "LaTeR: A general purpose manager of temporal information", In Methodologies for Intelligent Systems, Vo1.8, LNCS 869, Springer Verlag, 1994.
9. R. Dechter, I. Meiri, J. Pearl, "Temporal Constraints Networks" , Artificial Intelligence, Vol. 49, pp. 61-95, 1991.
10. J. Jaffar, M.J. Maher, P. Stuckey, R. Yap, "Projecting CLP(R) constraints", IBM Research Report, 1992.
11. H.A. Kautz, P.B. Ladkin, "Integrating Metric and Qualitative Temporal Reasoning", Working Notes AAAI Spring Simposium Series, pp. 67-78, 1991.
12. I. Meiri, "Combining Qualitative and Quantitative Constraints in Temporal Reasoning" Proc AAAI-91, Anaheim, CA, pp. 260-267, 1991.
13. J.F. Rit, "Propagating temporal constraints for scheduling" , Proc. of the AAAI-86, Philadelphia, pp. 383-388, 1986.
14. A. Trudel, "A formal specification of Allens processes", Proc. Second Symposium on Logical Formalization of Commonsense Reasoning, Austin, Texas, 1993.
15. P. vanBeek, R. Cohen, "Exact and approximate reasoning about temporal relations", Comput. Intell., Vol. 6, pp. 132-144, 1990.
16. P. vanBeek, "Reasoning about qualitative temporal information", Artificial Intelligence, Vol. 58, pp. 297-326, 1992.
17. M. Vilain, H. Kautz, "Constraint propagation algorithms for temporal reasoning", Proc. AAAI-86, Philadelphia, PA, pp. 377-382, 1986.