Efficient processing of queries and assertions about qualitative and quantitative temporal constraints

Computational Intelligence

Volumn 15, Issue 4, 1999, Pages 442-465

  Console, Luca ^a   Terenziani, Paolo ^a  

^a UNIVERSITY OF TURIN   (Italy)

Author keywords

Dealing with sequences of assertions and queries; Efficient query processing; Managers of temporal information; Querying temporal knowledge bases; Temporal reasoning

Indexed keywords

EID: 0000391901     PISSN: 08247935     EISSN: None     Source Type: Journal    
DOI: 10.1111/0824-7935.00101     Document Type: Article

References (46)

1. ALLEN, J. 1983. Maintaining knowledge about temporal intervals. Communications of the ACM 26:832-843.
2. ALLEN, J. 1991a. Planning as temporal reasoning. In Proc. KR'91, pp. 3-14.
3. ALLEN, J. 1991b. Time and time again: The many ways to represent time. International Journal of Intelligent Systems 6(4):341-355.
4. ARTHUR, R., and J. STILLMAN. 1992. Temporal reasoning for planning and scheduling. Technical report, AI Lab, General Electric Research Center.
5. BRUSONI, V., L. CONSOLE, E. LAMMA, P. MELLO, M. MILANO, and P. TERENZIANI. 1996. Resource-based vs. task-based approaches for scheduling problems. In Foundations of Intelligent Systems, LNCS 1079, Zakopane, Poland. Springer Verlag, pp. 325-334.
6. BRUSONI, V., L. CONSOLE, B. PERNICI, and P. TERENZIANI. 1994. LaTeR: A general purpose manager of temporal information. In Methodologies for Intelligent Systems 8, Lecture Notes in Computer Science 869. Springer Verlag, pp. 255-264.
7. BRUSONI, V., L. CONSOLE, B. PERNICI, and P. TERENZIANI. 1995. Extending temporal relational databases to deal with imprecise and qualitative temporal information. In Recent Advances in Temporal Databases. Edited by J. Clifford and A. Tuzhilin. Springer Verlag, pp. 3-22.
8. BRUSONI, V., L. CONSOLE, B. PERNICI, and P. TERENZIANI. 1997. LaTeR: An efficient, general purpose manager of temporal information. IEEE Expert 12(4):56-64.
9. BRUSONI, V., L. CONSOLE, B. PERNICI, and P. TERENZIANI. 1999. Qualitative and quantitative temporal constraints and relational databases: Theory, architecture, and applications. IEEE Transactions on Knowledge and Data Engineering.
10. BRUSONI, V., L. CONSOLE, and P. TERENZIANI. 1995. On the computational complexity of querying bounds on differences constraints. Artificial Intelligence 74(2):367-379.
11. BRUSONI, V., L. CONSOLE, P. TERENZIANI, and D. THESEIDER DUPRÉ. 1997. An efficient algorithm for temporal abduction. In Lecture Notes in Computer Science 1321, Springer-Verlag, pp. 195-206. (Also in Proc. DX 95.)
12. BRUSONI, V., L. CONSOLE, P. TERENZIANI, and D. THESEIDER DUPRÉ. 1998. A spectrum of definitions for temporal model-based diagnosis. Artificial Intelligence, 102(1):39-79.
13. Davis, E. 1987. Constraint propagation with interval labels. Artificial Intelligence 32:281-331.
14. DEAN, T., and D. MCDERMOTT. 1987. Temporal data base management. Artificial Intelligence 32:1-56.
15. DECHTER, R., I. MEIRI, and J. PEARL. 1989. Temporal constraint networks. In Proc. 1st Conference on Principles of Knowledge Representation and Reasoning, pp. 83-93.
16. DECHTER, R., I. MEIRI, and J. PEARL. 1991. Temporal constraint networks. Artificial Intelligence 49:61-95.
17. FREUDER, E.C., and A.K. MACKWORTH. 1992. Special issue on constraint based reasoning. Artificial Intelligence 58.
18. GAMPER, J., and W. NEJDL. 1997. Abstract temporal diagnosis in medical domains. Artificial Intelligence in Medicine 10(3):209-234.
19. GEREVINI, A., and L. SCHUBERT. 1995. Efficient algorithms for qualitative reasoning about time. Artificial Intelligence 74(2):207-248.
20. GUARNERO, A., M. MARZUOLI, G. MOLINO, P. TERENZIANI, M. TORCHIO, and K. VANNI. 1998. Contextual and temporal clinical guidelines. Journal of the American Medical Informatics Association, Proc. AMIA'98 Annual Symposium, pp. 683-687.
21. HAMSCHER, W., L. CONSOLE, and J. DE KLEER, eds. 1992. Readings in Model-Based Diagnosis. Morgan Kaufmann, San Mateo, CA.
22. HAMSCHER, W., and R. DAVIS. 1984. Diagnosing circuit with state: An inherently underconstrained problem. In Proc. AAAI 84, pp. 142-147.
23. KAHN, K., and G. A. GORRY. 1977. Mechanizing temporal knowledge. Artificial Intelligence 9(1):87-108.
24. KAUTZ, H., and P. LADKIN. 1991. Integrating metric and qualitative temporal reasoning. In Proc. AAAI 91, pp. 241-246.
25. KOUBARAKIS, M. 1994. Database models for infinite and indefinite temporal information. Information Systems 19(2):141-173.
26. LEVESQUE, H. J. 1989. A knowledge-level account of abduction. In Proc. 11th IJCAI, Detroit, pp. 1061-1067.
27. MCKENZIE, L., and R. SNODGRASS. 1991. Evaluation of relational algebras incorporating the time dimension in databases. ACM Computing Surveys 23(4):501-543.
28. MEIRI, I. 1991. Combining qualitative and quantitative constraints in temporal reasoning. In Proc. AAAI 91, pp. 260-267.
29. MILLER, S. A., and L. K. SCHUBERT. 1990. Time revisited. Computational Intelligence 6:108-118.
30. MIRABEL, I., B. PERNICI, and M. VAZIRGIANNIS. 1999. Temporal integrity constraints in interactive multimedia documents. In Proc. Multimedia 99, Firenze.
31. MUNIZ SILVA, P. S. 1998. Extended message sequence charts with time-interval semantics. In Proc. TIME-98 International Workshop on Temporal Representation and Reasoning, IEEE Computer Society, pp. 37-44.
32. NEBEL, B., and H. J. BURCKERT. 1995. Reasoning about temporal relations: A maximal tractable subclass of Allen's interval algebra. Journal of the Association for Computing Machinery 42(1):43-66.
33. NEJDL, W., and J. GAMPER. 1994. Harnessing the power of temporal abstractions in model-based diagnosis of dynamic systems. In Proc. 11th ECAI, pp. 667-671.
34. SNODGRASS, R., and I. AHN. 1986. Temporal databases. IEEE Computer 19(9):35-42.
35. SONG, F., and R. COHEN. 1988. The interpretation of temporal relations in narrative. In Proc. AAAI 88, pp. 745-750.
36. TERENZIANI, P. 1993. Integrating linguistic and pragmatic temporal information in natural language understanding: The case of "when sentences." In Proc. 13th IJCAI, Chambery, pp. 1304-1309.
37. TOLBA, H., F. CHARPILLET, and J. P. HATON. 1991. Representing and propagating constraints in temporal reasoning. AI Communications 4:145-151.
38. TSANG, E. 1987. Time structures for AI. In Proc. 10th IJCAI, pp. 456-461.
39. VAN BEEK, P. 1991. Temporal query processing with indefinite information. Artificial Intelligence in Medicine 3:325-339.
40. VAN BEEK, P., and R. COHEN. 1990. Exact and approximate reasoning about temporal relations. Computational Intelligence 6:132-144.
41. VILA, L. 1994. A survey of temporal reasoning in artificial intelligence. AI Comm. 7(1):4-128.
42. VILAIN, M. 1982. A system for reasoning about time. In Proc. AAAI 82, pp. 197-201.
43. VILAIN, M., and H. KAUTZ. 1986. Constraint propagation algorithms for temporal reasoning. In Proc. AAAI 86, pp. 377-382.
44. VILAIN, M., H. KAUTZ, and P. VAN BEEK. 1989. Constraint propagation algorithms for temporal reasoning: A revised report. In Readings in Qualitative Reasoning about Physical Systems. Edited by D. S. Weld and J. de Kleer. Morgan Kaufmann, San Mateo, CA, pp. 373-381.
45. WELD, D. S. 1994. An introduction to least commitment planning. AI Magazine 15(4):27-61.
46. YAMPRATOOM, Ed, and J. ALLEN. 1993. Performance of temporal reasoning systems. SIGART Bulletin 4(3):26-29.