{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,6]],"date-time":"2023-01-06T09:27:04Z","timestamp":1672997224969},"reference-count":76,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2001,3,1]],"date-time":"2001-03-01T00:00:00Z","timestamp":983404800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,25]],"date-time":"2013-07-25T00:00:00Z","timestamp":1374710400000},"content-version":"vor","delay-in-days":4529,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[2001,3]]},"DOI":"10.1016\/s0004-3702(01)00052-2","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T16:57:34Z","timestamp":1027616254000},"page":"87-135","source":"Crossref","is-referenced-by-count":13,"title":["Temporal agent programs"],"prefix":"10.1016","volume":"127","author":[{"given":"J\u00fcrgen","family":"Dix","sequence":"first","affiliation":[]},{"given":"Sarit","family":"Kraus","sequence":"additional","affiliation":[]},{"given":"V.S.","family":"Subrahmanian","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0004-3702(01)00052-2_BIB001","series-title":"Proc. 1987 IEEE Symposium on Logic Programming, San Francisco, CA","first-page":"4","article-title":"Temporal logic programming","author":"Abadi","year":"1987"},{"issue":"2","key":"10.1016\/S0004-3702(01)00052-2_BIB002","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/0004-3702(84)90008-0","article-title":"Towards a general theory of action and time","volume":"23","author":"Allen","year":"1984","journal-title":"Artificial Intelligence"},{"issue":"5","key":"10.1016\/S0004-3702(01)00052-2_BIB003","doi-asserted-by":"crossref","first-page":"531","DOI":"10.1093\/logcom\/4.5.531","article-title":"Actions and events in interval temporal logic","volume":"4","author":"Allen","year":"1994","journal-title":"J. Logic Comput."},{"key":"10.1016\/S0004-3702(01)00052-2_BIB004","series-title":"Proceedings of Real-Time: Theory in Practice","first-page":"74","article-title":"Logics and models of real time: A survey","volume":"600","author":"Alur","year":"1992"},{"key":"10.1016\/S0004-3702(01)00052-2_BIB005","series-title":"Handbook of Philosophical Logic, Vol. II, Chapter II.11","first-page":"605","article-title":"Deontic logic","author":"\u00c5quist","year":"1984"},{"key":"10.1016\/S0004-3702(01)00052-2_BIB006","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1109\/5254.757633","article-title":"IMPACT: A platform for collaborating agents","volume":"14","author":"Arisha","year":"1999","journal-title":"IEEE Intelligent Systems"},{"key":"10.1016\/S0004-3702(01)00052-2_BIB007","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1613\/jair.516","article-title":"A temporal description logic for reasoning about actions and plans","volume":"9","author":"Artale","year":"1998","journal-title":"J. Artificial Intelligence Res."},{"key":"10.1016\/S0004-3702(01)00052-2_BIB008","series-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","article-title":"Nonmonotonic temporal reasoning","author":"Baker","year":"1995"},{"key":"10.1016\/S0004-3702(01)00052-2_BIB009","series-title":"Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness","article-title":"MetateM: A framework for programming in temporal logic","volume":"430","author":"Barringer","year":"1989"},{"key":"10.1016\/S0004-3702(01)00052-2_BIB010","series-title":"Intensional Logics for Programming","first-page":"51","article-title":"A simple proof of the completeness of temporal logic programming","author":"Baudinet","year":"1992"},{"key":"10.1016\/S0004-3702(01)00052-2_BIB011","series-title":"The Logic of Time","author":"van Benthem","year":"1991"},{"key":"10.1016\/S0004-3702(01)00052-2_BIB012","series-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","first-page":"241","article-title":"Temporal logic","author":"van Benthem","year":"1995"},{"issue":"1, 2","key":"10.1016\/S0004-3702(01)00052-2_BIB013","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1142\/S0218213096000146","article-title":"Tactical route plandheing, new algorithms for decomposing the map","volume":"5","author":"Benton","year":"1996","journal-title":"Internat. J. Tools in Artificial Intelligence"},{"key":"10.1016\/S0004-3702(01)00052-2_BIB014","series-title":"Executable Modal and Temporal Logics","first-page":"21","article-title":"Temporal logic programming with metric and past operators","volume":"897","author":"Brzoska","year":"1995"},{"key":"10.1016\/S0004-3702(01)00052-2_BIB015","series-title":"The Object Database Standard: ODMG-93","author":"Cattell","year":"1997"},{"key":"10.1016\/S0004-3702(01)00052-2_BIB016","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1023\/A:1018933906603","article-title":"Editorial: Temporal representation and reasoning","volume":"22","author":"Chittaro","year":"1998","journal-title":"Ann. Math. Artificial Intelligence"},{"key":"10.1016\/S0004-3702(01)00052-2_BIB017","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0004-3702(90)90055-5","article-title":"Intention is choice with commitment","volume":"42","author":"Cohen","year":"1990","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(01)00052-2_BIB018","series-title":"Intentions in Communication","first-page":"221","article-title":"Rational interaction as the basis for communication","author":"Cohen","year":"1990"},{"key":"10.1016\/S0004-3702(01)00052-2_BIB019","series-title":"Introduction to Algorithms","author":"Cormen","year":"1989"},{"key":"10.1016\/S0004-3702(01)00052-2_BIB020","series-title":"Modern Database Systems","first-page":"434","article-title":"Active database systems","author":"Dayal","year":"1995"},{"issue":"1","key":"10.1016\/S0004-3702(01)00052-2_BIB021","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(87)90061-0","article-title":"Temporal data base management","volume":"32","author":"Dean","year":"1987","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(01)00052-2_BIB022","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/0004-3702(91)90006-6","article-title":"Temporal constraint networks","volume":"49","author":"Dechter","year":"1991","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(01)00052-2_BIB023","series-title":"Proc. ICMAS'98, Paris","first-page":"104","article-title":"Coordinated hospital patient scheduling","author":"Decker","year":"1998"},{"key":"10.1016\/S0004-3702(01)00052-2_BIB024","series-title":"Proc. Hawaii International Conference on System Sciences, HICSS-97, Maui, HI","article-title":"Combining deontic logic and temporal logic for specification of deadlines","author":"Dignum","year":"1997"},{"key":"10.1016\/S0004-3702(01)00052-2_BIB025","first-page":"243","article-title":"Meeting the deadline: On the formal specification of temporal deontic constraints","volume":"1079","author":"Dignum","year":"1996"},{"key":"10.1016\/S0004-3702(01)00052-2_BIB026","series-title":"Temporal agent programs","author":"Dix","year":"2000"},{"key":"10.1016\/S0004-3702(01)00052-2_BIB027","series-title":"IMPACTing shop: Foundations for integrating HTN planning and multi agency","author":"Dix","year":"2000"},{"issue":"2","key":"10.1016\/S0004-3702(01)00052-2_BIB028","first-page":"207","article-title":"Probabilistic agent reasoning","volume":"1","author":"Dix","year":"2000","journal-title":"Trans. Comput. Logic"},{"issue":"1\u20132","key":"10.1016\/S0004-3702(01)00052-2_BIB029","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0743-1066(99)00062-X","article-title":"Meta agent programs","volume":"46","author":"Dix","year":"2000","journal-title":"J. Logic Programming"},{"issue":"1\u20132","key":"10.1016\/S0004-3702(01)00052-2_BIB030","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/S0004-3702(99)00005-3","article-title":"Heterogeneous active agents, I: Semantics","volume":"108","author":"Eiter","year":"1999","journal-title":"Artificial Intelligence"},{"issue":"1","key":"10.1016\/S0004-3702(01)00052-2_BIB031","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1016\/S0004-3702(99)00104-6","article-title":"Heterogeneous active agents, III: Polynomially implementable agents","volume":"117","author":"Eiter","year":"2000","journal-title":"Artificial Intelligence"},{"issue":"1\u20132","key":"10.1016\/S0004-3702(01)00052-2_BIB032","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1016\/S0004-3702(99)00006-5","article-title":"Heterogeneous active agents, II: Algorithms and complexity","volume":"108","author":"Eiter","year":"1999","journal-title":"Artificial Intelligence"},{"issue":"3","key":"10.1016\/S0004-3702(01)00052-2_BIB033","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1093\/logcom\/1.3.357","article-title":"Temporal reasoning over deontic specifications","volume":"1","author":"Fiadeiro","year":"1991","journal-title":"J. Logic Comput."},{"key":"10.1016\/S0004-3702(01)00052-2_BIB034","series-title":"Temporal Logic\u2014Proceedings of the First International Conference","article-title":"A survey of Concurrent MetateM\u2014The language and its applications","author":"Fisher","year":"1994"},{"key":"10.1016\/S0004-3702(01)00052-2_BIB035","series-title":"Executable Modal and Temporal Logics","article-title":"Towards a semantics for concurrent metatem","volume":"897","author":"Fisher","year":"1995"},{"key":"10.1016\/S0004-3702(01)00052-2_BIB036","series-title":"Proc. IJCAI-99, Stockholm, Sweden","first-page":"200","article-title":"Programming resource-bounded deliberative agents","author":"Fisher","year":"1999"},{"key":"10.1016\/S0004-3702(01)00052-2_BIB037","series-title":"Executable Modal and Temporal Logics","volume":"897","year":"1995"},{"key":"10.1016\/S0004-3702(01)00052-2_BIB038","series-title":"Executable Modal and Temporal Logics","first-page":"58","article-title":"Temporal logic and annotated constraint logic programming","volume":"897","author":"Fr\u00fchwirth","year":"1995"},{"key":"10.1016\/S0004-3702(01)00052-2_BIB039","series-title":"Proc. 1996 Internat. Conference on Extending Database Technology, Avignon, France","article-title":"The park semantics for active rules","author":"Gottlob","year":"1996"},{"key":"10.1016\/S0004-3702(01)00052-2_BIB040","series-title":"Representing plans under uncertainty: A logic of time, chance and action, Ph.D. Thesis","author":"Haddawy","year":"1991"},{"issue":"4","key":"10.1016\/S0004-3702(01)00052-2_BIB041","doi-asserted-by":"crossref","first-page":"935","DOI":"10.1145\/115234.115351","article-title":"A propositional modal interval logic","volume":"38","author":"Halpern","year":"1991","journal-title":"J. ACM"},{"key":"10.1016\/S0004-3702(01)00052-2_BIB042","series-title":"International Workshop on Agent Theories, Architectures, and Languages, Providence, RI","first-page":"204","article-title":"Formal semantics of an abstract agent programming language","author":"Hindriks","year":"1997"},{"key":"10.1016\/S0004-3702(01)00052-2_BIB043","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/BF00413499","article-title":"Agency and obligation","volume":"108","author":"Horty","year":"1996","journal-title":"Synthese"},{"key":"10.1016\/S0004-3702(01)00052-2_BIB044","series-title":"Readings in Agents","author":"Huhns","year":"1997"},{"key":"10.1016\/S0004-3702(01)00052-2_BIB045","series-title":"Executable Modal and Temporal Logics","first-page":"103","article-title":"Constraint deduction in an interval-based temporal logic","volume":"897","author":"Koehler","year":"1995"},{"issue":"3","key":"10.1016\/S0004-3702(01)00052-2_BIB046","doi-asserted-by":"crossref","first-page":"872","DOI":"10.1145\/177492.177726","article-title":"The temporal logic of actions","volume":"16","author":"Lamport","year":"1994","journal-title":"ACM Trans. Programming Languages and Systems"},{"issue":"2","key":"10.1016\/S0004-3702(01)00052-2_BIB047","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1017\/S0269888900000114","article-title":"Logic-based reasoning about actions and plans in artificial intelligence","volume":"11","author":"Lee","year":"1993","journal-title":"The Knowledge Engineering Review"},{"key":"10.1016\/S0004-3702(01)00052-2_BIB048","series-title":"Foundations of Logic Programming","author":"Lloyd","year":"1987"},{"key":"10.1016\/S0004-3702(01)00052-2_BIB049","series-title":"Temporal Logic of Reactive and Concurrent Systems","author":"Manna","year":"1992"},{"key":"10.1016\/S0004-3702(01)00052-2_BIB050","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1207\/s15516709cog0602_1","article-title":"A temporal logic for reasoning about processes and plans","volume":"6","author":"McDermott","year":"1982","journal-title":"Cognitive Sci."},{"key":"10.1016\/S0004-3702(01)00052-2_BIB051","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0004-3702(99)00061-2","article-title":"A logical approach to the dynamics of commitments","volume":"113","author":"Meyer","year":"1999","journal-title":"Artificial Intelligence J."},{"key":"10.1016\/S0004-3702(01)00052-2_BIB052","series-title":"Deontic Logic in Computer Science","year":"1993"},{"key":"10.1016\/S0004-3702(01)00052-2_BIB053","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","article-title":"Semantical considerations on nonmonotonic logic","volume":"25","author":"Moore","year":"1985","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(01)00052-2_BIB054","series-title":"Foundations of a logic of knowledge, action, and communication, Ph.D. Thesis","author":"Morgenstern","year":"1988"},{"key":"10.1016\/S0004-3702(01)00052-2_BIB055","series-title":"Proc. IJCAI-99, Stockholm, Sweden","article-title":"Shop: Simple hierarchical ordered planner","author":"Nau","year":"1999"},{"issue":"1","key":"10.1016\/S0004-3702(01)00052-2_BIB056","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1093\/logcom\/7.1.109","article-title":"How to (plan to) meet a deadline between Now and Then","volume":"7","author":"Nirkhe","year":"1997","journal-title":"J. Logic Comput."},{"key":"10.1016\/S0004-3702(01)00052-2_BIB057","first-page":"229","article-title":"Expressive completeness of temporal logic of action","volume":"1450","author":"Rabinovich","year":"1998"},{"key":"10.1016\/S0004-3702(01)00052-2_BIB058","series-title":"Intelligent Agents II\u2014Proceedings of the 1995 Workshop on Agent Theories, Architectures and Languages (ATAL-95)","first-page":"1","article-title":"Decision procedures for propositional linear-time belief-desire-intention logics","volume":"890","author":"Rao","year":"1995"},{"key":"10.1016\/S0004-3702(01)00052-2_BIB059","series-title":"Knowledge Representation and Reasoning","first-page":"473","article-title":"Modeling rational agents within a BDI-architecture","author":"Rao","year":"1991"},{"key":"10.1016\/S0004-3702(01)00052-2_BIB060","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","article-title":"A logic for default reasoning","volume":"13","author":"Reiter","year":"1980","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(01)00052-2_BIB061","series-title":"Rules of Encounter: Designing Conventions for Automated Negotiation Among Computers","author":"Rosenschein","year":"1994"},{"issue":"3","key":"10.1016\/S0004-3702(01)00052-2_BIB062","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1006\/ijhc.1997.0139","article-title":"Satisfying user preferences while negotiating meetings","volume":"47","author":"Sen","year":"1997","journal-title":"Internat. J. Human\u2013Computer Studies"},{"key":"10.1016\/S0004-3702(01)00052-2_BIB063","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/0004-3702(93)90034-9","article-title":"Agent oriented programming","volume":"60","author":"Shoham","year":"1993","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(01)00052-2_BIB064","series-title":"CORBA Fundamentals and Programming","author":"Siegal","year":"1996"},{"issue":"3","key":"10.1016\/S0004-3702(01)00052-2_BIB065","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1111\/0824-7935.00064","article-title":"Toward a model theory of actions: How agents do it in branching time","volume":"14","author":"Singh","year":"1998","journal-title":"Computational Intelligence"},{"key":"10.1016\/S0004-3702(01)00052-2_BIB066","series-title":"Planned team activity","author":"Sonenberg","year":"1992"},{"key":"10.1016\/S0004-3702(01)00052-2_BIB067","series-title":"Principles of Multimedia Database Systems","author":"Subrahmanian","year":"1998"},{"key":"10.1016\/S0004-3702(01)00052-2_BIB068","series-title":"Heterogenous Active Agents","author":"Subrahmanian","year":"2000"},{"key":"10.1016\/S0004-3702(01)00052-2_BIB069","series-title":"Cooperative Information Agents III","first-page":"138","article-title":"Intention reconciliation in the context of teamwork: An initial empirical investigation","volume":"1652","author":"Sullivan","year":"1999"},{"key":"10.1016\/S0004-3702(01)00052-2_BIB070","series-title":"Proc. ICMAS-2000, Boston, MA","first-page":"293","article-title":"Intention reconciliation by collaborative agents","author":"Sullivan","year":"2000"},{"key":"10.1016\/S0004-3702(01)00052-2_BIB071","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1142\/S0218843096000087","article-title":"Coordination of multiple intelligent software agents","volume":"5","author":"Sycara","year":"1996","journal-title":"Internat. J. Intelligent and Cooperative Information Systems"},{"key":"10.1016\/S0004-3702(01)00052-2_BIB072","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","article-title":"A lattice-theoretical fixpoint theorem and its applications","volume":"5","author":"Tarski","year":"1955","journal-title":"Pacific J. Math."},{"issue":"5","key":"10.1016\/S0004-3702(01)00052-2_BIB073","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1002\/int.4550060504","article-title":"Preliminary thoughts on an agent description language","volume":"6","author":"Thomas","year":"1991","journal-title":"Internat. J. Intelligent Systems"},{"issue":"1","key":"10.1016\/S0004-3702(01)00052-2_BIB074","doi-asserted-by":"crossref","first-page":"4","DOI":"10.3233\/AIC-1994-7102","article-title":"A survey on temporal reasoning in artificial intelligence","volume":"7","author":"Vila","year":"1994","journal-title":"AI Comm."},{"key":"10.1016\/S0004-3702(01)00052-2_BIB075","series-title":"Multiple Attribute Decision Making: An Introduction","author":"Yoon","year":"1995"},{"key":"10.1016\/S0004-3702(01)00052-2_BIB076","series-title":"Advanced Database Systems","author":"Zaniolo","year":"1997"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370201000522?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370201000522?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,12]],"date-time":"2020-01-12T11:19:16Z","timestamp":1578827956000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0004370201000522"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,3]]},"references-count":76,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2001,3]]}},"alternative-id":["S0004370201000522"],"URL":"https:\/\/doi.org\/10.1016\/s0004-3702(01)00052-2","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[2001,3]]}}}
