Representing a robotic domain using temporal description logics

Artificial Intelligence for Engineering Design, Analysis and Manufacturing: AIEDAM

Volumn 13, Issue 2, 1999, Pages 105-117

  Artale, Alessandro ^a   Franconi, Enrico ^b  

^a ITC IRST   (Italy)

^b NONE

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; PATTERN RECOGNITION; ROBOTICS;

ACTION REPRESENTATION; TEMPORAL LOGICS;

ARTIFICIAL INTELLIGENCE;

EID: 0032648563     PISSN: 08900604     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0890060499132050     Document Type: Article

References (42)

1. Allen, J.F. (1991). Temporal reasoning and planning. In Reasoning about Plans, Allen, J.F., Kautz, H.A., Pelavin, R.N., & Tenenberg, J.D., (Eds.), Chap. 1, pp. 2-68. Morgan Kaufmann, San Mateo, California.
2. Artale, A., & Franconi, E. (1994). A computational account for a description logic of time and action. Proc. of the 4th International Conference on Principles of Knowledge Representation and Reasoning, pp. 3-14. Morgan Kaufmann, San Francisco, California.
3. Artale, A., & Franconi, E. (1995). Hierarchical plans in a description logic of time and action. Workshop Notes of the Int. Workshop on Description Logics. DL-95, 1-5.
4. Artale, A., & Franconi, E. (1998). A temporal description logic for reasoning about actions and plans. Journal of Artificial Intelligence Research 9, 463-506.
5. Blackburn, P. (1992). Fine grained theories of time. Working Papers of the 4th Intl. Workshop on Semantics of Time, Space, Movement, and Spatio-Temporal Reasoning, 299-320.
6. Brachman, R.J., McGuiness, D.L., Patel-Schneider, P.F., Resnick, L.A., & Borgida, A. (1991). Living with CLASSIC: When and how to use a KL-ONE-like language. In Principles of Semantic Networks, (Sowa, J., Ed.), (pp. 401-456). Morgan Kaufmann, Los Altos, California.
7. Buchheit, M., Donini, F.M., & Schaerf, A. (1993). Decidable reasoning in terminological knowledge representation systems. Journal of Artifical Intelligence Research I, 109-138.
8. Dean, T., Firby, J., & Miller, D. (1988). Hierarchical planning involving deadlines, travel time and resources. Computational Intelligence 4(4), 381-398.
9. De Giacomo, G., & Lenzerini, M. (1995). What's in an aggregate: Foundations for description logics with tuples and sets. Proc. of the 14th IJCAI 801-807.
10. De Giacomo, G., & Lenzerini, M. (1996). Tbox and abox reasoning in expressive description logics. Proc. of the 5th International Conference on Principles of Knowledge Representation and Reasoning, pp. 316-327. Morgan Kaufmann, San Francisco, California.
11. Devanbu, P., Brachman, R., Selfridge, P., & Ballard, B. (1991). LASSIE - A knowledge-based software information system. Communication of the ACM 34(5), 34-49.
12. Devanbu, P.T., & Litman, D.J. (1991). Plan-based terminological reasoning. Proc. of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, pp. 128-138. Morgan Kaufmann, San Mateo, California.
13. Devanbu, P.T., & Litman, D.J. (1996). Taxonomic plan reasoning. Artificial Intelligence 84, 1-35.
14. Donini, F.M., & Era, A. (1992). Most specific concepts for knowledge bases with incomplete information. Proc. of CIKM-92, 545-551.
15. Donini, F.M., Hollunder, B., Lenzerini, M., Spaccamela, A.M., Nardi, D., & Nutt, W. (1992). The complexity of existential quantification in concept languages. Artificial Intelligence 53, 309-327.
16. Donini, F.M., Lenzerini, M., Nardi, D., & Nutt, W. (1991). Tractable concept languages. Proc. of the 12th IJCAI, 458-465.
17. Donini, F.M., Lenzerini, M., Nardi, D., & Nutt, W. (1995). The complexity of concept languages. Report No. RR-95-07, DFKI, Saarbrücken, Germany.
18. Donini, F.M., Lenzerini, M., Nardi, D., & Schaerf, A. (1994). Deduction in concept languages: From subsumption to instance checking. Journal of Logic and Compulation 4(4), 423-452.
19. Fikes, R.E., & Nilsson, N. (1971). STRIPS: A new approach to the application of theorem proving as problem solving. Artificial Intelligence 2, 189-208.
20. Halpern, J.Y., & Shoham, Y. (1991). A prepositional modal logic of time intervals. Journal of ACM 38(4), 935-962.
21. Heinsohn, J., Kudenko, D., Nebel, B., & Profitlich, H. (1992). RAT: Representation of actions using terminological logics. Report, DFKI, Saarbrücken, Germany.
22. Hollunder, B., & Nutt, W. (1990). Subsumption algorithms for concept languages. Report No. RR-90-04, DFKI, Saarbrücken, Germany.
23. Kabanza, F., Barbeau, M., & St-Denis, R. (1997). Planning control rules for reactive agents. Artificial Intelligence 95(1), 67-113.
24. Kautz, H.A. (1991). A formal theory of plan recognition and its implementation. In Reasoning about Plans, (Allen, J.F., Kautz, H.A., Pelavin, R.N., & Tenenberg, J.D., Eds.), Chap. 2, pp. 69-126. Morgan Kaufmann, San Mateo, California.
25. Lifschitz, V. (1987). On the semantics of STRIPS. The 1986 Workshop on Reasoning About Actions and Plans, pp. 1-10. Morgan Kaufman, Los Altos, California.
26. McCarthy, J., & Hayes, P.J. (1969). Some philosophical problems from the standpoint of Artificial Intelligence. In Machine Intelligence, (Meltzer, B., & Michie, D., Eds.), Vol. 4, pp. 463-502. Edinburgh University Press, Edinburgh, UK.
27. Nebel, B. (1990). Terminological reasoning is inherently intractable. Artificial Intelligence 43, 235-249.
28. Nebel, B. (1991). Terminological cycles: Semantics and computational properties. In Principles of Semantic Networks, (Sowa, J.F., Ed.), Chap. 11, pp. 331-362. Morgan Kaufmann, Los Altos, California.
29. Pinto, J.A. (1994). Temporal reasoning in the situation calculus. PhD Thesis. Department of Computer Science, University of Toronto.
30. Reiter, R. (1996). Natural actions, concurrency and continuous time in the situation calculus. Proc. of the 5th International Conference on Principles of Knowledge Representation and Reasoning, pp. 2-13. Morgan Kaufmann, San Francisco, California.
31. Sandewall, E., & Shoham, Y. (1994). Non-monotonic temporal reasoning. In Handbook of Artificial Intelligence and Logic Programming. (Gabbay, D., Ed.), Oxford University Press, Oxford, UK.
32. Schaerf, A. (1994). Reasoning with individuals in concept languages. Data & Knowledge Engineering 13(2), 141-176.
33. Schmidt-Schauß, M., & Smolka, G. (1991). Attributive concept descriptions with complements. Artificial Intelligence 48(1), 1-26.
34. Schmiedel, A. (1990). A temporal terminological logic. Proc. of AAAI-90, 640-645.
35. Tate, A. (1977). Generating project networks. Proc. of the 5th IJCAI, 888-893.
36. Ternovskaia, E. (1994). Interval situation calculus. Workshop Notes of the ECA1-94 Workshop "Logic and Change," 153-164.
37. van Beek, P., & Manchak, D.W. (1996). The design and experimental analysis of algorithms for temporal reasoning. Journal of Artificial Intelligence Research 4, 1-18.
38. Weida, R. (1995). Knowledge representation for plan recognition. Working Notes of the IJCAI-95 workshop "The Next Generation of Plan Recognition Systems," pp. 119-123. Montreal, Canada.
39. Weida, R. (1996). Closed terminologies and temporal reasoning in descriptions for plan recognition. PhD Thesis. Department of Computer Science, Columbia University, New York, NY.
40. Weida, R., & Litman, D. (1992). Terminological reasoning with constraint networks and an application to plan recognition. Proc. of the 3rd International Conference on Principles of Knowledge Representation and Reasoning, 282-293.
41. Weida, R., & Litman, D. (1994). Subsumption and recognition of heterogeneous constraint networks. Proceedings of CAIA-94, pp. 381-388. Morgan Kaufmann, San Francisco, California.
42. Wilkins, D. (1988). Practical planning. Morgan Kaufmann, San Mateo, CA.