Temporal agent programs

Artificial Intelligence

Volumn 127, Issue 1, 2001, Pages 87-135

  Dix, Jürgen ^a   Kraus, Sarit ^b,c   Subrahmanian, V S ^d  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

^b BAR ILAN UNIVERSITY   (Israel)

^c UNIVERSITY OF MARYLAND   (United States)

^d NONE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; COMPUTATIONAL LINGUISTICS; DECISION THEORY; FORMAL LOGIC; LOGIC PROGRAMMING;

HETEROGENEOUS SYSTEMS; TEMPORAL REASONING;

ARTIFICIAL INTELLIGENCE;

EID: 0035277086     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0004-3702(01)00052-2     Document Type: Article

References (76)

1. Abadi M., Manna Z. Temporal logic programming. Proc. 1987 IEEE Symposium on Logic Programming, San Francisco, CA. 1987;4-16.
2. Allen J. Towards a general theory of action and time. Artificial Intelligence. 23:(2):1984;123-144.
3. Allen J.F., Ferguson G. Actions and events in interval temporal logic. J. Logic Comput. 4:(5):1994;531-579.
4. Alur R., Henzinger T.A. Logics and models of real time: A survey. de Bakker J.W., Huizing C., de Roever W.P., Rozenberg G. Proceedings of Real-Time: Theory in Practice. Lecture Notes in Computer Science. 600:1992;74-106 Springer, Berlin.
5. Åquist L. Deontic logic. Gabbay D., Guenthner F. Handbook of Philosophical Logic, Vol. II, Chapter II.11. 1984;605-714 D. Reidel, Dordrecht.
6. Arisha K., Ozcan F., Ross R., Subrahmanian V.S., Eiter T., Kraus S. IMPACT: A platform for collaborating agents. IEEE Intelligent Systems. 14:1999;64-72.
7. Artale A., Franconi E. A temporal description logic for reasoning about actions and plans. J. Artificial Intelligence Res. 9:1998;463-506.
8. Baker A.B., Shoham Y. Nonmonotonic temporal reasoning. Gabbay D., Hogger C., Robinson J. Handbook of Logic in Artificial Intelligence and Logic Programming. 1995;Oxford University Press, Oxford.
9. Barringer H., Fisher M., Gabbay D., Gough G., Owens R. METATEM: A framework for programming in temporal logic. Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. Lecture Notes in Computer Science. 430:1989;Springer, Berlin.
10. Baudinet M. A simple proof of the completeness of temporal logic programming. del Cerro L.F., Penttonen M. Intensional Logics for Programming. 1992;51-84 Oxford University Press, Oxford.
11. van Benthem J. The Logic of Time. 1991;Kluwer Academic, Dordrecht.
12. van Benthem J. Temporal logic. Gabbay D., Hogger C., Robinson J. Handbook of Logic in Artificial Intelligence and Logic Programming. 1995;241-350 Oxford University Press, Oxford.
13. Benton J., Iyengar S., Deng W., Brener N., Subrahmanian V. Tactical route plandheing, new algorithms for decomposing the map. Internat. J. Tools in Artificial Intelligence. 5:(1, 2):1996;199-218.
14. Brzoska C. Temporal logic programming with metric and past operators. Fisher M., Owens R. Executable Modal and Temporal Logics. Lecture Notes in Artificial Intelligence. 897:1995;21-39 Springer, Berlin.
15. Cattell R.G.G., et al. The Object Database Standard: ODMG-93. 1997;Morgan Kaufmann, San Mateo, CA.
16. Chittaro L., Montanari A. Editorial: Temporal representation and reasoning. Ann. Math. Artificial Intelligence. 22:1998;1-4.
17. Cohen P., Levesque H. Intention is choice with commitment. Artificial Intelligence. 42:1990;263-310.
18. Cohen P.R., Levesque H. Rational interaction as the basis for communication. Cohen P.R., Morgan J.L., Pollack M.E. Intentions in Communication. 1990;221-256 MIT Press, Cambridge, MA.
19. Cormen T.H., Leiserson C.E., Rivest R.L. Introduction to Algorithms. 1989;McGraw-Hill, New York.
20. Dayal U., Hanson E., Widom J. Active database systems. Kim W. Modern Database Systems. 1995;434-456 Addison-Wesley, Reading, MA.
21. Dean T., McDermott D. Temporal data base management. Artificial Intelligence. 32:(1):1987;1-55.
22. Dechter R., Meiri I., Pearl J. Temporal constraint networks. Artificial Intelligence. 49:1991;61-95.
23. Decker K., Li J. Coordinated hospital patient scheduling. Proc. ICMAS'98, Paris. 1998;104-111.
24. Dignum F., Kuiper R. Combining deontic logic and temporal logic for specification of deadlines. Proc. Hawaii International Conference on System Sciences, HICSS-97, Maui, HI. 1997.
25. Dignum F., Weigand H., Verharen E. Meeting the deadline: On the formal specification of temporal deontic constraints. Lecture Notes in Computer Science. 1079:1996;243 Springer, Berlin.
26. Dix J., Kraus S., Subrahmanian V. Temporal agent programs. 2000;Technical Report CS-TR-4055, Dept. of CS, University of Maryland, College Park, MD.
27. Dix J., Munoz-Avila H., Nau D., Cao Y. IMPACTing shop: Foundations for integrating HTN planning and multi agency. 2000;Technical Report CS-TR-4100, Dept. of CS, University of Maryland, College Park, MD. To appear at the CLIMA '2000 Workshop within CL 2000, London, July 2000.
28. Dix J., Nanni M., Subrahmanian V.S. Probabilistic agent reasoning. Trans. Comput. Logic. 1:(2):2000;207-245.
29. Dix J., Subrahmanian V.S., Pick G. Meta agent programs. J. Logic Programming. 46:(1-2):2000;1-60.
30. Eiter T., Subrahmanian V., Pick G. Heterogeneous active agents, I: Semantics. Artificial Intelligence. 108:(1-2):1999;179-255.
31. Eiter T., Subrahmanian V., Rogers T.J. Heterogeneous active agents, III: Polynomially implementable agents. Artificial Intelligence. 117:(1):2000;107-167.
32. Eiter T., Subrahmanian V.S. Heterogeneous active agents, II: Algorithms and complexity. Artificial Intelligence. 108:(1-2):1999;257-307.
33. Fiadeiro J., Maibaum T. Temporal reasoning over deontic specifications. J. Logic Comput. 1:(3):1991;357-395.
34. Fisher M. A survey of Concurrent METATEM - The language and its applications. Gabbay D.M., Ohlbach H.J. Temporal Logic - Proceedings of the First International Conference. 1994;Springer, Berlin.
35. Fisher M. Towards a semantics for concurrent metatem. Fisher M., Owens R. Executable Modal and Temporal Logics. Lecture Notes in Artificial Intelligence. 897:1995;Springer, Berlin.
36. Fisher M., Ghidini C. Programming resource-bounded deliberative agents. Proc. IJCAI-99, Stockholm, Sweden. 1999;200-205 Morgan Kaufmann, San Mateo, CA.
37. Fisher M., Owens R. Executable Modal and Temporal Logics. Lecture Notes in Artificial Intelligence. 897:1995;Springer, Berlin.
38. Frühwirth T. Temporal logic and annotated constraint logic programming. Fisher M., Owens R. Executable Modal and Temporal Logics. Lecture Notes in Artificial Intelligence. 897:1995;58-68 Springer, Berlin.
39. Gottlob G., Moerkotte G., Subrahmanian V. The park semantics for active rules. Proc. 1996 Internat. Conference on Extending Database Technology, Avignon, France. 1996;Springer, Berlin.
40. Haddawy P. Representing plans under uncertainty: A logic of time, chance and action, Ph.D. Thesis. 1991;Technical Report UIUCDCS-R-91-1719, University of Illinois, Urbana, IL.
41. Halpern J., Shoham Y. A propositional modal interval logic. J. ACM. 38:(4):1991;935-962.
42. Hindriks K.V., de Boer F.S., van der Hoek W., Meyer J.J.Ch. Formal semantics of an abstract agent programming language. International Workshop on Agent Theories, Architectures, and Languages, Providence, RI. 1997;204-218.
43. Horty J.F. Agency and obligation. Synthese. 108:1996;269-307.
44. Huhns M., Singh M. Readings in Agents. 1997;Morgan Kaufmann, San Mateo, CA.
45. Koehler J., Treinen R. Constraint deduction in an interval-based temporal logic. Fisher M., Owens R. Executable Modal and Temporal Logics. Lecture Notes in Artificial Intelligence. 897:1995;103-117 Springer, Berlin.
46. Lamport L. The temporal logic of actions. ACM Trans. Programming Languages and Systems. 16:(3):1994;872-923.
47. Lee H., Tannock J., Williams J.S. Logic-based reasoning about actions and plans in artificial intelligence. The Knowledge Engineering Review. 11:(2):1993;91-105.
48. Lloyd J.W. Foundations of Logic Programming. 2nd edn. 1987;Springer, Berlin.
49. Manna Z., Pnueli A. Temporal Logic of Reactive and Concurrent Systems. 1992;Addison-Wesley, Reading, MA.
50. McDermott D. A temporal logic for reasoning about processes and plans. Cognitive Sci. 6:1982;101-155.
51. Meyer J.-J.Ch., van der Hoek W., van Linder B. A logical approach to the dynamics of commitments. Artificial Intelligence J. 113:1999;1-40.
52. Meyer J.-J.Ch., Wieringa R. Deontic Logic in Computer Science. 1993;Wiley, Chichester.
53. Moore R.C. Semantical considerations on nonmonotonic logic. Artificial Intelligence. 25:1985;75-94.
54. Morgenstern L. Foundations of a logic of knowledge, action, and communication, Ph.D. Thesis. 1988;New York University, New York.
55. Nau D., Cao Y., Lotem A., Muñoz-Avila H. Shop: Simple hierarchical ordered planner. Proc. IJCAI-99, Stockholm, Sweden. 1999.
56. Nirkhe M., Kraus S., Perlis D., Miller M. How to (plan to) meet a deadline between Now and Then. J. Logic Comput. 7:(1):1997;109-156.
57. Rabinovich A. Expressive completeness of temporal logic of action. Lecture Notes in Computer Science. 1450:1998;229-242 Springer, Berlin.
58. Rao A.S. Decision procedures for propositional linear-time belief-desire-intention logics. Wooldridge M., Müller J., Tambe M. Intelligent Agents II - Proceedings of the 1995 Workshop on Agent Theories, Architectures and Languages (ATAL-95). Lecture Notes in Artificial Intelligence. 890:1995;1-39 Springer, Berlin.
59. Rao A.S., Georgeff M. Modeling rational agents within a BDI-architecture. Allen J.F., Fikes R., Sandewall E. Knowledge Representation and Reasoning. 1991;473-484 Morgan Kaufmann, San Mateo, CA.
60. Reiter R. A logic for default reasoning. Artificial Intelligence. 13:1980;81-132.
61. Rosenschein J.S., Zlotkin G. Rules of Encounter: Designing Conventions for Automated Negotiation Among Computers. 1994;MIT Press, Boston.
62. Sen S., Haynes T., Arora N. Satisfying user preferences while negotiating meetings. Internat. J. Human-Computer Studies. 47:(3):1997;407-427.
63. Shoham Y. Agent oriented programming. Artificial Intelligence. 60:1993;51-92.
64. Siegal J. CORBA Fundamentals and Programming. 1996;Wiley, New York.
65. Singh M.P. Toward a model theory of actions: How agents do it in branching time. Computational Intelligence. 14:(3):1998;287-305.
66. Sonenberg E., Tidhar G., Werner E., Kinny D., Ljungberg M., Rao A. Planned team activity. 1992;Technical Report 26, Australian Artificial Intelligence Institute, Australia.
67. Subrahmanian V. Principles of Multimedia Database Systems. 1998;Morgan Kaufmann, San Mateo, CA.
68. Subrahmanian V., Bonatti P., Dix J., Eiter T., Kraus S., Özcan F., Ross R. Heterogenous Active Agents. 2000;MIT Press, Cambridge, MA.
69. Sullivan D.G., Glass A., Grosz B.J., Kraus S. Intention reconciliation in the context of teamwork: An initial empirical investigation. Klusch M., Shehory O., Weiss G. Cooperative Information Agents III. Lecture Notes in Artificial Intelligence. 1652:1999;138-151 Springer, Berlin.
70. Sullivan D.G., Kraus S. Intention reconciliation by collaborative agents. Proc. ICMAS-2000, Boston, MA. 2000;293-300.
71. Sycara J., Zeng D. Coordination of multiple intelligent software agents. Internat. J. Intelligent and Cooperative Information Systems. 5:1996;181-211.
72. Tarski A. A lattice-theoretical fixpoint theorem and its applications. Pacific J. Math. 5:1955;285-309.
73. Thomas B., Shoham Y., Schwartz A., Kraus S. Preliminary thoughts on an agent description language. Internat. J. Intelligent Systems. 6:(5):1991;497-508.
74. Vila L. A survey on temporal reasoning in artificial intelligence. AI Comm. 7:(1):1994;4-28.
75. Yoon K., Hwang C. Multiple Attribute Decision Making: An Introduction. 1995;Sage, Thousand Oaks.
76. Zaniolo C., Ceri S., Faloutsos C., Snodgrass R., Subrahmanian V., Zicari R. Advanced Database Systems. 1997;Morgan Kaufmann, San Mateo, CA.