{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,14]],"date-time":"2026-05-14T07:44:36Z","timestamp":1778744676127,"version":"3.51.4"},"reference-count":248,"publisher":"Springer Science and Business Media LLC","issue":"1-4","license":[{"start":{"date-parts":[[2000,10,1]],"date-time":"2000-10-01T00:00:00Z","timestamp":970358400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2000,10,1]],"date-time":"2000-10-01T00:00:00Z","timestamp":970358400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Mathematics and Artificial Intelligence"],"published-print":{"date-parts":[[2000,10]]},"DOI":"10.1023\/a:1018900105153","type":"journal-article","created":{"date-parts":[[2003,2,19]],"date-time":"2003-02-19T22:07:13Z","timestamp":1045692433000},"page":"47-106","source":"Crossref","is-referenced-by-count":50,"title":["Temporal representation and reasoning in artificial intelligence: Issues and approaches"],"prefix":"10.1007","volume":"28","author":[{"given":"Luca","family":"Chittaro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Angelo","family":"Montanari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"325559_CR1","unstructured":"J. Alferes, R. Li and L. Pereira, Concurrent actions and changes in the situation calculus, in: Proc. of IBERAMIA-94(1994) pp. 93-104."},{"issue":"11","key":"325559_CR2","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"J.F. Allen","year":"1983","unstructured":"J.F. Allen, Maintaining knowledge about temporal intervals, Communications of the ACM 26(11) (1983) 832-843.","journal-title":"Communications of the ACM"},{"key":"325559_CR3","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/0004-3702(84)90008-0","volume":"23","author":"J.F. Allen","year":"1984","unstructured":"J.F. Allen, Toward a general theory of action and time, Artificial Intelligence 23 (1984) 123-154.","journal-title":"Artificial Intelligence"},{"issue":"5","key":"325559_CR4","doi-asserted-by":"crossref","first-page":"531","DOI":"10.1093\/logcom\/4.5.531","volume":"4","author":"J.F. Allen","year":"1994","unstructured":"J.F. Allen and G. Ferguson, Actions and events in interval temporal logic, Journal of Logic and Computation 4(5) (1994) 531-580.","journal-title":"Journal of Logic and Computation"},{"key":"325559_CR5","first-page":"1933","volume-title":"Proc. of 14th International Joint Conference on Artificial Intelligence (IJCAI)","author":"F. Bacchus","year":"1995","unstructured":"F. Bacchus, J.Y. Halpern and H.J. Levesque, Reasoning about noisy sensors in the Situation Calculus, in: Proc. of 14th International Joint Conference on Artificial Intelligence (IJCAI), Montr\u00e9al, Qu\u00e9bec (Morgan Kaufmann, San Mateo, CA, 1995) pp. 1933-1940."},{"key":"325559_CR6","unstructured":"F. Bacchus and F. Kabanza, Using temporal logic to control search in a forward chaining planner, in: New Directions in AI Planning, eds. M. Ghallab and A. Milano (IOS Press, 1996) pp. 141-153."},{"key":"325559_CR7","doi-asserted-by":"crossref","unstructured":"F. Bacchus and F. Kabanza, Planning for temporally extended goals, in [52] (1998) pp. 5-27.","DOI":"10.1023\/A:1018985923441"},{"key":"325559_CR8","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0004-3702(91)90025-F","volume":"52","author":"F. Bacchus","year":"1991","unstructured":"F. Bacchus, J. Tenenberg and J.A. Koomen, A non-reified temporal logic, Artificial Intelligence, 52 (1991) 87-108.","journal-title":"Artificial Intelligence"},{"key":"325559_CR9","first-page":"11","volume-title":"Proc. of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR)","author":"A.B. Baker","year":"1989","unstructured":"A.B. Baker, A simple solution to the yale shooting problem, in: Proc. of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR)(Morgan Kaufmann, San Mateo, CA, 1989) pp. 11-20."},{"key":"325559_CR10","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/0004-3702(91)90004-4","volume":"49","author":"A.B. Baker","year":"1991","unstructured":"A.B. Baker, Nonmonotonic reasoning in the framework of situation calculus, Artificial Intelligence, 49 (1991) 5-23.","journal-title":"Artificial Intelligence"},{"key":"325559_CR11","volume-title":"Handbook of Logic in Arti-ficial Intelligence and Logic Programming","author":"A.B. Baker","year":"1995","unstructured":"A.B. Baker and Y. Shoham, Nonmonotonic temporal reasoning, in: Handbook of Logic in Arti-ficial Intelligence and Logic Programming, eds. D. Gabbay, C. Hogger and J. Robinson (Oxford University Press, Oxford, 1995)."},{"key":"325559_CR12","first-page":"866","volume-title":"Proc. of 13th International Joint Conference on Artificial Intelligence (IJCAI)","author":"C. Baral","year":"1993","unstructured":"C. Baral and M. Gelfond, Representing concurrent actions in extended logic programming, in: Proc. of 13th International Joint Conference on Artificial Intelligence (IJCAI), Chamb\u00e9ry, France (Morgan Kaufmann, San Mateo, CA, 1993) pp. 866-871."},{"key":"325559_CR13","doi-asserted-by":"crossref","unstructured":"C.Baral and M. Gelfond, Reasoning about effects of concurrent actions, in [155] (1997) pp. 85-117.","DOI":"10.1016\/S0743-1066(96)00140-9"},{"key":"325559_CR14","doi-asserted-by":"crossref","unstructured":"C. Baral, M. Gelfond and A. Provetti, Representing actions: laws, observations and hypotheses, in [155] (1997) pp. 201-243.","DOI":"10.1016\/S0743-1066(96)00141-0"},{"key":"325559_CR15","first-page":"791","volume-title":"Proc. of 14th International Joint Conference on Artificial Intelligence (IJCAI)","author":"M. Barbeau","year":"1995","unstructured":"M. Barbeau, F. Kabanza and R. St-Denis, Synthesizing plant controllers using real-time goals, in: Proc. of 14th International Joint Conference on Artificial Intelligence (IJCAI), Montr\u00e9al, Qu\u00e9bec (Morgan Kaufmann, San Mateo, CA, 1995) pp. 791-798."},{"key":"325559_CR16","unstructured":"M. Baudinet, J. Chomicki and P. Wolper, Chapter 13: Temporal deductive databases, in [230] (1993) pp. 294-320."},{"key":"325559_CR17","first-page":"1291","volume-title":"Proc. of the 11th International Joint Conference on Artificial Intelligence (IJCAI)","author":"P. van Beek","year":"1989","unstructured":"P. van Beek, Approximation algorithms for temporal reasoning, in: Proc. of the 11th International Joint Conference on Artificial Intelligence (IJCAI), Detroit, MI (Morgan Kaufmann, San Mateo, CA, (1989) 1291-1296."},{"key":"325559_CR18","first-page":"728","volume-title":"Proc. of the 8th National Conference of the American Association for Artificial Intelligence (AAAI)","author":"P. van Beek","year":"1990","unstructured":"P. van Beek, Reasoning about qualitative temporal information, in: Proc. of the 8th National Conference of the American Association for Artificial Intelligence (AAAI)(AAAI Press\/MIT Press, Cambridge, MA, 1990) 728-734."},{"key":"325559_CR19","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/0004-3702(92)90011-L","volume":"58","author":"P. van Beek","year":"1992","unstructured":"P. van Beek, Reasoning about qualitative temporal information, Artificial Intelligence 58 (1992) 297-326.","journal-title":"Artificial Intelligence"},{"key":"325559_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00123994","volume":"4","author":"P. van Beek","year":"1996","unstructured":"P. van Beek and D.W. Manchak, The design and experimental analysis of algorithms for temporal reasoning, Journal of Artificial Intelligence Research 4 (1996) 1-18.","journal-title":"Journal of Artificial Intelligence Research"},{"key":"325559_CR21","doi-asserted-by":"crossref","first-page":"132","DOI":"10.1111\/j.1467-8640.1990.tb00130.x","volume":"6","author":"P. van Beek","year":"1990","unstructured":"P. van Beek and R. Cohen, Exact and approximate reasoning about temporal relations, Computational Intelligence 6 (1990) 132-144.","journal-title":"Computational Intelligence"},{"key":"325559_CR22","first-page":"506","volume-title":"Proc. of 12th International Joint Conference on Artificial Intelligence (IJCAI)","author":"P. Belegrinos","year":"1991","unstructured":"P. Belegrinos and M. Georgeff, A model of events and processes, in: Proc. of 12th International Joint Conference on Artificial Intelligence (IJCAI), Sydney, Australia (Morgan Kaufmann, San Mateo, CA, 1991) pp. 506-511. 96 L. Chittaro, A. Montanari \/ Temporal representation and reasoning in AI"},{"key":"325559_CR23","doi-asserted-by":"crossref","unstructured":"K. van Belleghem, M. Denecker and D. De Schreye, Combining Situation Calculus and Event Calculus, Proc. of the 12th International Conference on Logic Programming (ICLP), Kanagawa, Japan (MIT Press, 1995) pp. 83-97.","DOI":"10.7551\/mitpress\/4298.003.0018"},{"key":"325559_CR24","doi-asserted-by":"crossref","unstructured":"K. van Belleghem, M. Denecker and D. De Schreye, On the relation between Situation Calculus and Event Calculus, in [155] (1997) pp. 3-37.","DOI":"10.1016\/S0743-1066(96)00123-9"},{"key":"325559_CR25","doi-asserted-by":"crossref","unstructured":"J. van Benthem, The Logic of Time, 2nd Edition (Kluwer Academic, 1991).","DOI":"10.1007\/978-94-015-7947-6"},{"key":"325559_CR26","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1093\/oso\/9780198537915.003.0005","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","author":"J. van Benthem","year":"1995","unstructured":"J. van Benthem, Temporal Logic, in: Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 4, eds. D. Gabbay, C. Hogger and J. Robinson (Oxford University Press, Oxford, 1995) pp. 241-350."},{"key":"325559_CR27","unstructured":"J. van Benthem, Points on time, Electronic News Journal on Reasoning about Actions and Change 2 (1998) http:\/\/www.ida.liu.se\/ext\/etai\/rac\/notes\/1998\/03\/."},{"key":"325559_CR28","doi-asserted-by":"crossref","unstructured":"J. van Benthem, Temporal patterns and modal structure, The Logic Journal of IGPL 7(1) (1999).","DOI":"10.1093\/jigpal\/7.1.7"},{"key":"325559_CR29","first-page":"3","volume-title":"Proc. of the 12th European Conference on Artificial Intelligence (ECAI)","author":"C. Bessi\u00e8re","year":"1996","unstructured":"C. Bessi\u00e8re, A. Isli and G. Ligozat, Global consistency in interval algebra networks: tractable subclasses, in: Proc. of the 12th European Conference on Artificial Intelligence (ECAI), Budapest, Hungary (Wiley, New York, 1996) pp. 3-7."},{"issue":"3","key":"325559_CR30","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1145\/152947.152950","volume":"4","author":"M. Boddy","year":"1993","unstructured":"M. Boddy, AAAI-92 Workshop report: implementing temporal reasoning, SIGART Bulletin 4(3) (1993) 15-16.","journal-title":"SIGART Bulletin"},{"issue":"3","key":"325559_CR31","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1145\/152947.152952","volume":"4","author":"M. Boddy","year":"1993","unstructured":"M. Boddy, Temporal reasoning for planning and scheduling, SIGART Bulletin 4(3) (1993) 17-20.","journal-title":"SIGART Bulletin"},{"key":"325559_CR32","unstructured":"G. Brajnik and D. Clancy, Focusing qualitative simulation using temporal logic: theoretical foundations, in [52] (1998) pp. 59-86."},{"issue":"4","key":"325559_CR33","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1109\/64.608197","volume":"12","author":"V. Brusoni","year":"1997","unstructured":"V. Brusoni, L. Console, P. Terenziani and B. Pernici, Later: managing temporal information efficiently, IEEE Expert 12(4) (1997) 56-64.","journal-title":"IEEE Expert"},{"key":"325559_CR34","first-page":"299","volume-title":"Proc. of the 12th International Conference on Logic Programming (ICLP)","author":"I. Cervesato","year":"1995","unstructured":"I. Cervesato, L. Chittaro and A. Montanari, A modal calculus of partially ordered events in a logic programming framework, in: Proc. of the 12th International Conference on Logic Programming (ICLP), Kanagawa, Japan (MIT Press, Cambridge, MA, 1995) pp. 299-313."},{"key":"325559_CR35","unstructured":"I. Cervesato, M. Franceschet and A. Montanari, A hierarchy of modal event calculi: expressiveness and complexity, in: Proc. of the 2nd International Conference on Temporal Logic (ICTL), Manchester, UK (Kluwer Academic, 1999, in press) pp. 75-89."},{"key":"325559_CR36","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/TIME.1997.600780","volume-title":"Proc. of the 4th International Workshop on Temporal Representation and Reasoning (TIME)","author":"I. Cervesato","year":"1997","unstructured":"I. Cervesato, M. Franceschet and A. Montanari, Modal event calculi with preconditions, in: Proc. of the 4th International Workshop on Temporal Representation and Reasoning (TIME), Daytona Beach, FL (IEEE Computer Society Press, Los Alamitos, CA, 1997) pp. 38-45."},{"key":"325559_CR37","first-page":"81","volume-title":"Proc. of the 5th International Workshop on Temporal Representation and Reasoning (TIME)","author":"I. Cervesato","year":"1998","unstructured":"I. Cervesato, M. Franceschet and A. Montanari, Event calculi with explicit quantifiers, in: Proc. of the 5th International Workshop on Temporal Representation and Reasoning (TIME), Sanibel Island, FL (IEEE Computer Society Press, Los Alamitos, CA, 1998) pp. 81-88."},{"key":"325559_CR38","first-page":"1","volume-title":"Electronic Transactions on Artificial Intelligence","author":"I. Cervesato","year":"1998","unstructured":"I. Cervesato, M. Franceschet and A. Montanari, The Complexity of Model Checking in Modal Event Calculi with Quantifiers, Electronic Transactions on Artificial Intelligence 2(1-2) (1998) 1-23, http:\/\/www.ep.liu.se\/ej\/etai\/1998\/001\/. Extended and revised version of I. Cervesato, M. Franceschet and A. Montanari, The complexity of model checking in modal event calculi with quantifiers, in: Proc. of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR), Trento, Italy (Morgan Kaufmann, San Mateo, CA, 1998) pp. 368-379."},{"issue":"2","key":"325559_CR39","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1111\/0824-7935.00115","volume":"16","author":"I. Cervesato","year":"2000","unstructured":"I. Cervesato, M. Franceschet and A. Montanari, A guided tour through some extensions of the Event Calculus, Computational Intelligence 16(2) (2000) 307-347.","journal-title":"Computational Intelligence"},{"key":"325559_CR40","first-page":"111","volume-title":"Journal of Logic Programming","author":"I. Cervesato","year":"1999","unstructured":"I. Cervesato and A. Montanari, A general modal framework for the event calculus and its skeptical and credulous variants, Journal of Logic Programming 38(2) (1999) 111-164. Extended and revised version of A. Montanari, L. Chittaro and I. Cervesato, A general modal framework for the event calculus and its skeptical and credulous variants, in: Proc. of the 12th European Conference on Artificial Intelligence (ECAI), Budapest, Hungary (Wiley, New York, 1996) pp. 33-37."},{"key":"325559_CR41","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/0004-3702(87)90092-0","volume":"32","author":"D. Chapman","year":"1987","unstructured":"D. Chapman, Planning for conjunctive goals, Artificial Intelligence 32 (1987) 333-377.","journal-title":"Artificial Intelligence"},{"key":"325559_CR42","first-page":"331","volume-title":"Proc. of 12th International Joint Conference on Artificial Intelligence (IJCAI)","author":"P. Cheeseman","year":"1991","unstructured":"P. Cheeseman, B. Kanefsky and W.M. Taylor, Where the really hard problems are, in: Proc. of 12th International Joint Conference on Artificial Intelligence (IJCAI), Sydney, Australia (Morgan Kaufmann, San Mateo, CA, 1991) pp. 331-337."},{"key":"325559_CR43","doi-asserted-by":"crossref","first-page":"212","DOI":"10.1007\/3-540-49151-1_12","volume-title":"Proc. of 2nd International Workshop on Active, Real-time and Temporal Database Systems (ARTDB)","author":"L. Chittaro","year":"1998","unstructured":"L. Chittaro and C. Combi, Temporal indeterminacy in deductive databases: an approach based on the event calculus, in: Proc. of 2nd International Workshop on Active, Real-time and Temporal Database Systems (ARTDB), Lecture Notes in Artificial Intelligence, Vol. 1553 (Springer, Berlin, 1998) pp. 212-227."},{"key":"325559_CR44","doi-asserted-by":"crossref","first-page":"1006","DOI":"10.1007\/3-540-48309-8_95","volume-title":"Proc. of the 10th International Conference on Database and Expert Systems Applications (DEXA)","author":"L. Chittaro","year":"1999","unstructured":"L. Chittaro and C. Combi, Reasoning about events with imprecise location and multiple granularities, in: Proc. of the 10th International Conference on Database and Expert Systems Applications (DEXA), Florence, Italy (Springer, Berlin, 1999) pp. 1006-1017."},{"issue":"3","key":"325559_CR45","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1016\/S0933-3657(99)00022-6","volume":"17","author":"L. Chittaro","year":"1999","unstructured":"L. Chittaro and C. Combi, Abstraction on clinical data sequences: an object-oriented data model and a query language based on the Event Calculus, Artificial Intelligence in Medicine Journal 17(3) (1999) 271-301.","journal-title":"Artificial Intelligence in Medicine Journal"},{"key":"325559_CR46","volume-title":"Proc. of the 24th Annual Conference on Computers in Cardiology","author":"L. Chittaro","year":"1997","unstructured":"L. Chittaro, C. Combi, E. Cervesato, A. Cervesato, F. Antonini-Canterin, G.L. Nicolosi and D. Zanuttini, Specifying and representing temporal abstractions of clinical data by a query language based on the Event Calculus, in: Proc. of the 24th Annual Conference on Computers in Cardiology(IEEE Press, New York, 1997)."},{"key":"325559_CR47","doi-asserted-by":"crossref","unstructured":"L. Chittaro and M. Dojat, Using a General Theory of Time and Change for Patient Monitoring: Experiment and Evaluation, in [55] (1997) pp. 435-452.","DOI":"10.1016\/S0010-4825(97)00014-0"},{"key":"325559_CR48","volume-title":"Proc. TIME-96: 3rd International Workshop on Temporal Representation and Reasoning","year":"1996","unstructured":"L. Chittaro, H. Hamilton, S. Goodwin and A. Montanari (eds.) Proc. TIME-96: 3rd International Workshop on Temporal Representation and Reasoning(IEEE Computer Society Press, Los Alamitos, CA, 1996)."},{"key":"325559_CR49","first-page":"185","volume-title":"Applications of Artificial Intelligence in Engineering VIII","author":"L. Chittaro","year":"1993","unstructured":"L. Chittaro and A. Montanari, Experimenting a temporal logic for executable specification in an engineering domain, in: Applications of Artificial Intelligence in Engineering VIII, eds. G. Rzevski, J. Pastor and R.A. Adey (Elsevier Applied Science, Amsterdam, 1993) pp. 185-202."},{"issue":"3","key":"325559_CR50","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1111\/j.1467-8640.1996.tb00267.x","volume":"12","author":"L. Chittaro","year":"1996","unstructured":"L. Chittaro and A. Montanari, Efficient temporal reasoning in the cached Event Calculus, Computational Intelligence 12(3) (1996) 359-382.","journal-title":"Computational Intelligence"},{"issue":"3","key":"325559_CR51","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1017\/S026988890000792X","volume":"11","author":"L. Chittaro","year":"1996","unstructured":"L. Chittaro and A. Montanari, Trends in temporal representation and reasoning, The Knowledge Engineering Review 11(3) (1996) 281-288.","journal-title":"The Knowledge Engineering Review"},{"key":"325559_CR52","doi-asserted-by":"crossref","unstructured":"L. Chittaro and A. Montanari (eds.), Special issue on temporal representation and reasoning, Annals of Mathematics and Artificial Intelligence 22(1-2) (1998).","DOI":"10.1023\/A:1018933906603"},{"key":"325559_CR53","first-page":"361","volume-title":"Proc. of the 11th European Conference on Artificial Intelligence (ECAI)","author":"L. Chittaro","year":"1994","unstructured":"L. Chittaro, A. Montanari and A. Provetti, skeptical and credulous event calculi for supporting modal queries, in: Proc. of the 11th European Conference on Artificial Intelligence (ECAI), Amsterdam, The Netherlands (Wiley, New York, 1994) pp. 361-365."},{"issue":"1-2","key":"325559_CR54","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/0167-6423(93)90025-K","volume":"20","author":"E. Ciapessoni","year":"1993","unstructured":"E. Ciapessoni, E. Corsetti, A. Montanari and P. San Pietro, Embedding time granularity in a logical specification language for synchronous real-time systems, Science of Computer Programming 20(1-2) (1993) 141-171.","journal-title":"Science of Computer Programming"},{"key":"325559_CR55","doi-asserted-by":"crossref","unstructured":"C. Combi and Y. Shahar (eds.), Special issue on time-oriented systems in medicine, Computers in Biology and Medicine 27(5) (1997).","DOI":"10.1016\/S0010-4825(97)00009-7"},{"key":"325559_CR56","doi-asserted-by":"crossref","unstructured":"C. Combi and Y. Shahar, Temporal Reasoning and Temporal Data Maintenance in Medicine: Issues and Challenges, in [55] (1997) pp. 353-368.","DOI":"10.1016\/S0010-4825(96)00010-8"},{"issue":"5","key":"325559_CR57","doi-asserted-by":"crossref","first-page":"661","DOI":"10.1093\/logcom\/1.5.661","volume":"1","author":"L. Console","year":"1991","unstructured":"L. Console, D. Theseider Dupr\u00e9 and P. Torasso, On the relationship between abduction and deduction, Journal of Logic and Computation 1(5) (1991) 661-690.","journal-title":"Journal of Logic and Computation"},{"key":"325559_CR58","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1016\/0004-3702(90)90060-D","volume":"42","author":"G.F. Cooper","year":"1990","unstructured":"G.F. Cooper, The computational complexity of probabilistic inference using Bayesian belief networks, Artificial Intelligence 42 (1990) 393-405.","journal-title":"Artificial Intelligence"},{"issue":"2","key":"325559_CR59","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/BF00365335","volume":"3","author":"E. Corsetti","year":"1991","unstructured":"E. Corsetti, A. Montanari and E. Ratto, Dealing with different time granularities in formal speci-fications of real-time systems, The Journal of Real-Time Systems 3(2) (1991) 191-215.","journal-title":"The Journal of Real-Time Systems"},{"key":"325559_CR60","unstructured":"J. Crawford and D.W. Etherington, Formalizing reasoning about change: A qualitative reasoning approach, in: Proc. of the 10th National Conference of the American Association for Artificial Intelligence (AAAI)(AAAI Press\/MIT Press, 1992) pp. 577-583."},{"key":"325559_CR61","volume-title":"Representation of Commonsense Knowledge","author":"E. Davis","year":"1990","unstructured":"E. Davis, Representation of Commonsense Knowledge(Morgan Kaufmann, San Mateo, CA, 1990)."},{"key":"325559_CR62","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1016\/0004-3702(88)90087-2","volume":"36","author":"T. Dean","year":"1988","unstructured":"T. Dean and M. Boddy. Reasoning about partially ordered events, Artificial Intelligence 36 (1988) 375-399.","journal-title":"Artificial Intelligence"},{"key":"325559_CR63","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(87)90061-0","volume":"32","author":"T. Dean","year":"1987","unstructured":"T. Dean and D.V. Mc Dermott, Temporal data base management, Artificial Intelligence 32 (1987) 1-55.","journal-title":"Artificial Intelligence"},{"key":"325559_CR64","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/0004-3702(91)90006-6","volume":"49","author":"R. Dechter","year":"1991","unstructured":"R. Dechter, I. Meiri and J. Pearl, Temporal constraint networks, Artificial Intelligence 49 (1991) 61-95.","journal-title":"Artificial Intelligence"},{"key":"325559_CR65","volume-title":"Proc. of the 10th European Conference on Artificial Intelligence (ECAI)","author":"M. Denecker","year":"1992","unstructured":"M. Denecker, L. Missiaen and M. Bruynooghe, Temporal reasoning with abductive event calculus, in: Proc. of the 10th European Conference on Artificial Intelligence (ECAI), Vienna, Austria (Wiley, New York, 1992)."},{"key":"325559_CR66","first-page":"325","volume-title":"Proc. of 12th International Joint Conference on Artificial Intelligence (IJCAI)","author":"Y. Deville","year":"1991","unstructured":"Y. Deville and P. Van Hentenryck, An efficient arc consistency algorithm for a class of CSP problems, in: Proc. of 12th International Joint Conference on Artificial Intelligence (IJCAI), Sydney, Australia (Morgan Kaufmann, San Mateo, CA, 1991) pp. 325-330."},{"key":"325559_CR67","first-page":"401","volume-title":"Proc. of the 11th European Conference on Artificial Intelligence","author":"P. Doherty","year":"1994","unstructured":"P. Doherty, Reasoning about action and change using occlusion, in: Proc. of the 11th European Conference on Artificial Intelligence, (ECAI) Amsterdam, The Netherlands (Wiley, New York, 1994) pp. 401-405."},{"key":"325559_CR68","first-page":"82","volume-title":"Proc. of the 1st International Conference on Temporal Logics (ICTL)","author":"P. Doherty","year":"1994","unstructured":"P. Doherty and W. Lukaszewicz, Circumscribing features and fluents, in: Proc. of the 1st International Conference on Temporal Logics (ICTL), Lecture Notes in Artificial Intelligence, Vol. 827, Bonn, Germany (Springer, Berlin, 1994) pp. 82-100."},{"key":"325559_CR69","unstructured":"T. Drakengren and P. Jonsson, Maximal tractable subclasses of allen's interval algebra: preliminary report, in: Proc. of the 13th Conference of the American Association for Artificial Intelligence (AAAI), Portland, OR (AAAI Press\/MIT Press, 1996) pp. 389-394."},{"key":"325559_CR70","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/S0004-3702(97)00021-0","volume":"93","author":"T. Drakengren","year":"1997","unstructured":"T. Drakengren and P. Jonsson, Twenty-one large tractable subclasses of Allen's Algebra, Artificial Intelligence 93 (1997) 297-319.","journal-title":"Artificial Intelligence"},{"key":"325559_CR71","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1613\/jair.340","volume":"7","author":"T. Drakengren","year":"1997","unstructured":"T. Drakengren and P. Jonsson, Eight maximal tractable subclasses of Allen's Algebra with metric time, Journal of Artificial Intelligence Research 7 (1997) 25-45.","journal-title":"Journal of Artificial Intelligence Research"},{"key":"325559_CR72","first-page":"1466","volume-title":"Proc. of 15th International Joint Conference on Artificial Intelligence (IJCAI)","author":"T. Drakengren","year":"1997","unstructured":"T. Drakengren and P. Jonsson, Towards a complete classification of tractability in Allen's Algebra, in: Proc. of 15th International Joint Conference on Artificial Intelligence (IJCAI), Nagoya, Japan (Morgan Kaufmann, San Mateo, CA, 1997) pp. 1466-1471."},{"key":"325559_CR73","first-page":"103","volume-title":"Proc. of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR)","author":"M. Drummond","year":"1989","unstructured":"M. Drummond, Situated control rules, in: Proc. of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR)(Morgan Kaufmann, San Mateo, CA, 1989) pp. 103-113."},{"key":"325559_CR74","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1007\/3-540-61313-7_68","volume-title":"Practical Reasoning","author":"B. Errico","year":"1996","unstructured":"B. Errico and L.C. Aiello, Agents in the situation calculus: an application to user modeling, in: Practical Reasoning, eds. D. Gabbay and H.J. Ohlbach, Lecture Notes in Artificial Intelligence, Vol. 1085 (Springer, Berlin, 1996) pp. 126-140."},{"key":"325559_CR75","unstructured":"K. Eshghi, Abductive planning with event calculus, in: Proc. of the 5th International Conference and Symposium on Logic Programming (ICSLP), Seattle, WA (MIT Press, 1988) pp. 562-579."},{"key":"325559_CR76","unstructured":"K. Eshghi and R. Kowalski, Abduction through deduction, Technical Report, Department of Computing, Imperial College, University of London (1988)."},{"key":"325559_CR77","unstructured":"C. Evans, Negation-as-failure as an an approach to the Hanks and McDermott problem, in: Proc. of the 2nd International Symposium on Artificial Intelligence(1989)."},{"key":"325559_CR78","unstructured":"C. Evans, The macro-event calculus: Representing temporal granularity, in: Proc. PRICAI-90(1990)."},{"key":"325559_CR79","unstructured":"A. Farquhar, A Qualitative physics compiler, in: Proc. of the 12th Conference of the American Association for Artificial Intelligence (AAAI)(AAAI Press\/MIT Press, 1994) pp. 1168-1174."},{"key":"325559_CR80","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R. Fikes","year":"1971","unstructured":"R. Fikes and N. Nilsson, STRIPS: a new approach to the application of theorem proving to problem solving, Artificial Intelligence 2 (1971) 189-208.","journal-title":"Artificial Intelligence"},{"key":"325559_CR81","doi-asserted-by":"crossref","first-page":"112","DOI":"10.1109\/TIME.1997.600790","volume-title":"Proc. of the 4th International Workshop on Temporal Representation and Reasoning (TIME)","author":"M. Finger","year":"1997","unstructured":"M. Finger and P. McBrien, Concurrency control for perceivedly instantaneous transactions in valid-time databases, in: Proc. of the 4th International Workshop on Temporal Representation and Reasoning (TIME), Daytona Beach, FL (IEEE Computer Society Press, Los Alamitos, CA, 1997) pp. 112-118."},{"key":"325559_CR82","doi-asserted-by":"crossref","unstructured":"M. Finger, An introduction to executable temporal logics, The Knowledge Engineering Review 11(1) (1996).","DOI":"10.1017\/S0269888900007670"},{"key":"325559_CR83","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0004-3702(84)90038-9","volume":"24","author":"K. Forbus","year":"1984","unstructured":"K. Forbus, Qualitative process theory, Artificial Intelligence 24 (1984) 85-168.","journal-title":"Artificial Intelligence"},{"key":"325559_CR84","first-page":"55","volume-title":"Proc. of the 6th International Workshop on Temporal Representation and Reasoning (TIME)","author":"M. Franceschet","year":"1999","unstructured":"M. Franceschet and A. Montanari, A graph-theoretic approach to efficiently reasoning about partially ordered events in the event calculus, in: Proc. of the 6th International Workshop on Temporal Representation and Reasoning (TIME), Orlando, FL (IEEE Computer Society Press, Los Alamitos, CA, 1999) pp. 55-66."},{"key":"325559_CR85","unstructured":"M. Franceschet and A. Montanari, Pairing transitive closure and reduction to efficiently reason about partially ordered events, in: Proc. of the 3rd International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC)(1999) pp. 79-86."},{"issue":"11","key":"325559_CR86","doi-asserted-by":"publisher","first-page":"958","DOI":"10.1145\/359642.359654","volume":"21","author":"E.C. Freuder","year":"1978","unstructured":"E.C. Freuder, Synthesizing constraint expressions, Communications of the ACM 21(11) (1978) 958-966.","journal-title":"Communications of the ACM"},{"issue":"1","key":"325559_CR87","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1145\/322290.322292","volume":"29","author":"E.C. Freuder","year":"1982","unstructured":"E.C. Freuder, A Sufficient condition for backtrack-free search, Journal of the ACM 29(1) (1982) 24-32.","journal-title":"Journal of the ACM"},{"key":"325559_CR88","first-page":"1177","volume-title":"Proc. of 12th International Joint Conference on Artificial Intelligence (IJCAI)","author":"A. Galton","year":"1991","unstructured":"A. Galton, Reified temporal theories and how to unreify them, in: Proc. of 12th International Joint Conference on Artificial Intelligence (IJCAI), Sydney, Australia (Morgan Kaufmann, San Mateo, CA, 1991) pp. 1177-1182."},{"issue":"2","key":"325559_CR89","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1093\/logcom\/6.2.271","volume":"6","author":"A. Galton","year":"1996","unstructured":"A. Galton, An investigation of \"non-intermingling\" principles in temporal logic, Journal of Logic and Computation 6(2) (1996) 271-294.","journal-title":"Journal of Logic and Computation"},{"key":"325559_CR90","volume-title":"Proc. of the 2nd International Workshop on Non-Monotonic Reasoning","author":"M. Gelfond","year":"1989","unstructured":"M. Gelfond, Autoepistemic logic and formalization of common-sense reasoning, in: Proc. of the 2nd International Workshop on Non-Monotonic Reasoning, Lecture Notes in Artificial Intellegence, Vol. 346 (Springer, Berlin, 1989)."},{"key":"325559_CR91","volume-title":"Proc. of the 5th International Conference and Symposium on Logic Programming (ICSLP)","author":"M. Gelfond","year":"1988","unstructured":"M. Gelfond and V. Lifschitz, The stable model semantics for logic programming, in: Proc. of the 5th International Conference and Symposium on Logic Programming (ICSLP), Seattle (MIT Press, Cambridge, MA, 1988)."},{"key":"325559_CR92","first-page":"559","volume-title":"Proc. of the Joint International Conference and Symposium on Logic Programming (ICSLP)","author":"M. Gelfond","year":"1992","unstructured":"M. Gelfond and V. Lifschitz, Representing actions in extended logic programs, in: Proc. of the Joint International Conference and Symposium on Logic Programming (ICSLP)(MIT Press, Cambridge, MA, 1992) pp. 559-573."},{"issue":"2-4","key":"325559_CR93","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/0743-1066(93)90035-F","volume":"17","author":"M. Gelfond","year":"1993","unstructured":"M. Gelfond and V. Lifschitz, Representing action and change by logic programs, Journal of Logic Programming 17(2-4) (1993) 301-322.","journal-title":"Journal of Logic Programming"},{"key":"325559_CR94","doi-asserted-by":"crossref","unstructured":"M. Gelfond, V. Lifschitz and A. Rabinov, What are the limitations of the situation calculus?, in: Automated Reasoning: Essays in Honor of Woody Bledsoe, ed. R. Boyer (Kluwer Academic, 1991).","DOI":"10.1007\/978-94-011-3488-0_8"},{"key":"325559_CR95","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/0004-3702(94)00016-T","volume":"74","author":"A. Gerevini","year":"1995","unstructured":"A. Gerevini and L. Schubert, Efficient algorithms for qualitative reasoning about time, Artificial Intelligence 74 (1995) 207-248.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"325559_CR96","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/0004-3702(86)90067-6","volume":"30","author":"M.L. Ginsberg","year":"1986","unstructured":"M.L. Ginsberg, Counterfactuals, Artificial Intelligence 30(1) (1986) 35-79.","journal-title":"Artificial Intelligence"},{"issue":"3","key":"325559_CR97","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/0004-3702(88)90020-3","volume":"35","author":"M. Ginsburg","year":"1988","unstructured":"M. Ginsburg and D.E. Smith, Reasoning about action II: the qualification problem, Artificial Intelligence 35(3) (1988) 311-342.","journal-title":"Artificial Intelligence"},{"key":"325559_CR98","unstructured":"P. Godefroid and F. Kabanza, An efficient reactive planner for synthesizing reactive plans, in: Proc. of the 9th National Conference of the American Association for Artificial Intelligence (AAAI)(AAAI Press\/MIT Press, 1991) pp. 640-645."},{"key":"325559_CR99","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1090\/psapm\/055\/1619605","volume-title":"Mathematical Aspects of Artificial Intelligence","author":"M.C. Golumbic","year":"1998","unstructured":"M.C. Golumbic, Reasoning about time, in: Mathematical Aspects of Artificial Intelligence, ed. F. Hoffman, Proc. of Symposia in Applied Mathematics, Vol. 55 (American Math. Society, Providence, RI, 1998) pp. 19-53."},{"key":"325559_CR100","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1006\/aama.1994.1009","volume":"15","author":"M.C. Golumbic","year":"1994","unstructured":"M.C. Golumbic, H. Kaplan and R. Shamir, On the complexity of DNA physical mapping, Advances in Applied Mathematics 15 (1994) 251-261.","journal-title":"Advances in Applied Mathematics"},{"issue":"5","key":"325559_CR101","doi-asserted-by":"publisher","first-page":"1108","DOI":"10.1145\/174147.169675","volume":"40","author":"M.C. Golumbic","year":"1993","unstructured":"M.C. Golumbic and R. Shamir, Complexity and algorithms for reasoning about time: a graphtheoretic approach, Journal of ACM 40(5) (1993) 1108-1133.","journal-title":"Journal of ACM"},{"key":"325559_CR102","doi-asserted-by":"crossref","unstructured":"H.W. Guesgen, F.D. Anger, G. Ligozat and R.V. Rodriguez (eds.), Special Issue on Spatial and Temporal Reasoning, Constraints 3(2-3) (1998).","DOI":"10.1023\/A:1009761308492"},{"issue":"1","key":"325559_CR103","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(94)90003-5","volume":"66","author":"M. Gyssens","year":"1994","unstructured":"M. Gyssens, P. Jeavons and D. Cohen, Decomposing constraint satisfaction problems using database techniques, Artificial Intelligence 66(1) (1994) 57-89.","journal-title":"Artificial Intelligence"},{"key":"325559_CR104","first-page":"87","volume-title":"Proc. of the 5th International Conference on Principles of Knowledge Representation and Reasoning (KR)","author":"J. Gustafsson","year":"1996","unstructured":"J. Gustafsson and P. Doherty, Embracing occlusion in specifying the indirect effects of actions, in: Proc. of the 5th International Conference on Principles of Knowledge Representation and Reasoning (KR)(Morgan Kaufmann, San Mateo, CA, 1996) pp. 87-98."},{"key":"325559_CR105","unstructured":"J. Gustafsson and L. Karlsson, Reasoning about actions in a multi-agent environment, Link\u00a8oping Electronic Articles in Computer and Information Science, http:\/\/www.ep.liu.se\/ea\/cis\/1997\/014 (1997)."},{"key":"325559_CR106","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/B978-0-934613-32-3.50026-5","volume-title":"The Frame Problem in Artificial Intelligence","author":"A. Haas","year":"1987","unstructured":"A. Haas, The case for domain-specific frame axioms, in: The Frame Problem in Artificial Intelligence, ed. F. Brown (Morgan Kaufmann, San Mateo, CA, 1987) pp. 343-348."},{"key":"325559_CR107","unstructured":"P. Haddawy and S. Hanks, Utility models for goal-directed decision-theoretic planners, Technical Report 93-06-04, University of Washington (1993)."},{"key":"325559_CR108","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-57697-5","volume-title":"Representing Plans under Uncertainty: A Logic of Time, Change, and Action","author":"P. Haddawy","year":"1994","unstructured":"P. Haddawy, Representing Plans under Uncertainty: A Logic of Time, Change, and Action, Lecture Notes in Artificial Intelligence, Vol. 770 (Springer, Berlin, 1994)."},{"issue":"4","key":"325559_CR109","doi-asserted-by":"publisher","first-page":"935","DOI":"10.1145\/115234.115351","volume":"38","author":"J.Y. Halpern","year":"1991","unstructured":"J.Y. Halpern and Y. Shoham, A propositional modal logic of time intervals, Journal of the ACM 38(4) (1991) 935-962.","journal-title":"Journal of the ACM"},{"key":"325559_CR110","first-page":"328","volume-title":"Proc. of the 5th National Conference on Artificial Intelligence (AAAI)","author":"S. Hanks","year":"1986","unstructured":"S. Hanks and D. McDermott, Default reasoning, nonmonotonic logics, and the frame problem, in: Proc. of the 5th National Conference on Artificial Intelligence (AAAI), Philadelphia, PA (AAAI Press, Menlo Park, CA, 1986) pp. 328-333."},{"key":"325559_CR111","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1016\/0004-3702(87)90043-9","volume":"33","author":"S. Hanks","year":"1987","unstructured":"S. Hanks and D. McDermott, Nonmonotonic logics and temporal projection, Artificial Intelligence 33 (1987) 379-412.","journal-title":"Artificial Intelligence"},{"key":"325559_CR112","first-page":"218","volume-title":"Proc. of the 6th National Conference of the American Association for Artificial Intelligence (AAAI)","author":"B.A. Haugh","year":"1987","unstructured":"B.A. Haugh, Simple causal minimizations for temporal persistence and projection, in: Proc. of the 6th National Conference of the American Association for Artificial Intelligence (AAAI)(AAAI Press, Menlo Park, CA, 1987) pp. 218-223."},{"key":"325559_CR113","first-page":"1","volume-title":"Formal Theories of the Commonsense World","author":"P.J. Hayes","year":"1985","unstructured":"P.J. Hayes, The second naive physics manifesto, in: Formal Theories of the Commonsense World, eds. J.R. Hobbs and R.C. Moore (Ablex, Norwood, NJ, 1985) pp. 1-36."},{"key":"325559_CR114","unstructured":"P.J. Hayes, Contribution to the panel debate on theory evaluation, Electronic Newsletter on Reasoning about Actions and Change, Issue 97009, http:\/\/www.ida.liu.se\/ext\/etai\/actions\/njl\/97009 (1997)."},{"key":"325559_CR115","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"C.A.R. Hoare, Communicating Sequential Processes(Prentice-Hall, Englewood Cliffs, NJ, 1985)."},{"key":"325559_CR116","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0015791","volume-title":"Foundations of Equational Logic Programming","author":"S. H\u00a8olldobler","year":"1989","unstructured":"S. H\u00a8olldobler, Foundations of Equational Logic Programming, Lecture Notes in Artificial Intelligence, Vol. 353 (Springer, Berlin, 1989)."},{"key":"325559_CR117","unstructured":"S. H\u00a8olldobler, Situations, actions, and causality in the fluent calculus, Technical Report WV-97-01, Knowledge Representation and Reasoning Group, AI Institute, Department of Computer Science, Dresden University of Technology (1997)."},{"key":"325559_CR118","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/BF03037518","volume":"8","author":"S. H\u00a8olldobler","year":"1990","unstructured":"S. H\u00a8olldobler and J. Schneeberger, A new deductive approach to planning, New Generation Computing 8 (1990) 225-244.","journal-title":"New Generation Computing"},{"key":"325559_CR119","first-page":"164","volume-title":"Proc. of the 10th International Conference on Logic Programming (ICLP)","author":"S. H\u00a8olldobler","year":"1993","unstructured":"S. H\u00a8olldobler and M. Thielscher, Actions and specificity, in: Proc. of the 10th International Conference on Logic Programming (ICLP)(MIT Press, Cambridge, MA, 1993) pp. 164-180."},{"key":"325559_CR120","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/BF01530895","volume":"14","author":"S. H\u00a8olldobler","year":"1995","unstructured":"S. H\u00a8olldobler and M. Thielscher, Computing change and specificity with equational logic programs, Annals of Mathematics and Artificial Intelligence 14 (1995) 99-133.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"325559_CR121","unstructured":"F. Kabanza, Synthesis of reactive plans for multi-path environments, in: Proc. of the 8th National Conference of the American Association for Artificial Intelligence (AAAI)(1990) pp. 164-169."},{"key":"325559_CR122","doi-asserted-by":"crossref","unstructured":"A. Kakas and R. Miller, A simple declarative language for describing narratives with actions, in [155] (1997) pp. 157-200.","DOI":"10.1016\/S0743-1066(96)00138-0"},{"key":"325559_CR123","first-page":"724","volume-title":"Proc. of 13th International Joint Conference on Artificial Intelligence (IJCAI)","author":"G.N. Kartha","year":"1993","unstructured":"G.N. Kartha, Soundness and completeness theorems for three formalizations of actions, in: Proc. of 13th International Joint Conference on Artificial Intelligence (IJCAI), Chamb\u00e9ry, France (Morgan Kaufmann, San Mateo, CA, 1993) pp. 724-729."},{"key":"325559_CR124","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1016\/0004-3702(94)90089-2","volume":"69","author":"G.N. Kartha","year":"1994","unstructured":"G.N. Kartha, Two counterexamples related to baker's approach to the frame problem, Artificial Intelligence 69 (1994) 379-392.","journal-title":"Artificial Intelligence"},{"key":"325559_CR125","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1016\/B978-1-4832-1452-8.50127-5","volume-title":"Proc. of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR)","author":"G.N. Kartha","year":"1994","unstructured":"G.N. Kartha and V. Lifschitz, Actions with indirect effects (preliminary report), in: Proc. of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR)(Morgan Kaufmann, San Mateo, CA, 1994) pp. 341-350."},{"key":"325559_CR126","first-page":"401","volume-title":"Proc. of the 5th National Conference on Artificial Intelligence (AAAI)","author":"H. Kautz","year":"1986","unstructured":"H. Kautz, The logic of persistence, in: Proc. of the 5th National Conference on Artificial Intelligence (AAAI), Philadelphia, PA (AAAI Press, Menlo Park, 1986) pp. 401-405."},{"key":"325559_CR127","unstructured":"H. Kautz and P. Ladkin, Integrating metric and qualitative temporal reasoning, in: Proc. of the 9th National Conference of the American Association for Artificial Intelligence (AAAI), Anaheim, CA (AAAI Press\/MIT Press, 1991) pp. 241-246."},{"key":"325559_CR128","doi-asserted-by":"crossref","unstructured":"D. Kayser and A. Moktari, Time in a Causal Theory, in [52] (1998) pp. 117-138.","DOI":"10.1023\/A:1018994125258"},{"key":"325559_CR129","doi-asserted-by":"crossref","unstructured":"E.T. Keravnou (ed.), Special issue on temporal reasoning in medicine, Artificial Intelligence in Medicine 3(6) (1991).","DOI":"10.1016\/0933-3657(91)90001-R"},{"key":"325559_CR130","doi-asserted-by":"crossref","unstructured":"E.T. Keravnou (ed.), Special issue on temporal reasoning in medicine, Artificial Intelligence in Medicine 8(3) (1996).","DOI":"10.1016\/0933-3657(95)00032-1"},{"key":"325559_CR131","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1016\/0933-3657(90)90001-8","volume":"2","author":"E.T. Keravnou","year":"1990","unstructured":"E.T. Keravnou and J. Washbrook, A temporal framework used in the diagnosis of skeletal dysplasias, Artificial Intelligence in Medicine 2 (1990) 239-265.","journal-title":"Artificial Intelligence in Medicine"},{"key":"325559_CR132","unstructured":"H. Kim, Prediction and postdiction under uncertainty, Ph.D. thesis, Department of Computer and Information Science, Link\u00a8oping University, Sweden (1995)."},{"key":"325559_CR133","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/0004-3702(84)90037-7","volume":"24","author":"J. de Kleer","year":"1984","unstructured":"J. de Kleer and J.S. Brown, A qualitative physics based on confluences, Artificial Intelligence 24 (1984) 7-84.","journal-title":"Artificial Intelligence"},{"key":"325559_CR134","first-page":"605","volume-title":"Proc. of the 11th European Conference on Artificial Intelligence (ECAI)","author":"J. Koehler","year":"1994","unstructured":"J. Koehler, Correct modification of complex plans, in: Proc. of the 11th European Conference on Artificial Intelligence (ECAI), Amsterdam, Netherlands (Wiley, New York, 1994) pp. 605-609."},{"key":"325559_CR135","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/S0304-3975(96)00192-2","volume":"173","author":"M. Koubarakis","year":"1997","unstructured":"M. Koubarakis, From local to global consistency in temporal constraint networks, Theoretical Computer Science 173 (1997) 89-112.","journal-title":"Theoretical Computer Science"},{"key":"325559_CR136","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/0743-1066(92)90041-Z","volume":"12","author":"R. Kowalski","year":"1992","unstructured":"R. Kowalski, Database updates in the event calculus, Journal of Logic Programming 12 (1992) 121-146.","journal-title":"Journal of Logic Programming"},{"key":"325559_CR137","doi-asserted-by":"crossref","unstructured":"R. Kowalski and F. Sadri, Reconciling Event Calculus with Situation Calculus, in [155] (1997) pp. 39-58.","DOI":"10.1016\/S0743-1066(96)00137-9"},{"key":"325559_CR138","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R. Kowalski","year":"1986","unstructured":"R. Kowalski and M. Sergot, A logic-based calculus of events, New Generation Computing 4 (1986) 67-95.","journal-title":"New Generation Computing"},{"key":"325559_CR139","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/0004-3702(86)90073-1","volume":"29","author":"B. Kuipers","year":"1986","unstructured":"B. Kuipers, Qualitative simulation, Artificial Intelligence 29 (1986) 289-388.","journal-title":"Artificial Intelligence"},{"key":"325559_CR140","first-page":"360","volume-title":"Proc. of the 5th National Conference of the American Association for Artificial Intelligence (AAAI)","author":"P. Ladkin","year":"1986","unstructured":"P. Ladkin, Time representation: a taxonomy of interval relations, in: Proc. of the 5th National Conference of the American Association for Artificial Intelligence (AAAI)(AAAI Press, Philadelphia, PA, 1986) pp. 360-366."},{"key":"325559_CR141","unstructured":"P. Ladkin and R. Maddux, The algebra of constraint satisfaction problems and temporal reasoning, Technical Report, Kestrel Institute, Palo Alto, CA (1988)."},{"key":"325559_CR142","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/0004-3702(92)90106-8","volume":"57","author":"P. Ladkin","year":"1992","unstructured":"P. Ladkin and Reinefeld, Effective solution of qualitative interval constraint problems, Artificial Intelligence 57 (1992) 105-124.","journal-title":"Artificial Intelligence"},{"issue":"2","key":"325559_CR143","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/S0954-1810(96)00002-7","volume":"11","author":"E. Lamma","year":"1997","unstructured":"E. Lamma, P. Mello and M. Milano, A distributed constraint-based scheduler for railway traffic, Artificial Intelligence in Engineering 11(2) (1997) 91-105.","journal-title":"Artificial Intelligence in Engineering"},{"key":"325559_CR144","first-page":"367","volume-title":"Proc. of the 5th National Conference of the American Association for Artificial Intelligence (AAAI)","author":"B. Leban","year":"1986","unstructured":"B. Leban, D. McDonald and D. Foster, A representation for collections of temporal intervals, in: Proc. of the 5th National Conference of the American Association for Artificial Intelligence (AAAI), (AAAI Press, Philadelphia, PA, 1986) pp. 367-371."},{"issue":"2","key":"325559_CR145","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1017\/S0269888900000114","volume":"8","author":"H. Lee","year":"1993","unstructured":"H. Lee, J. Tannock and J.S. Williams, Logic-based reasoning about actions and plans in artificial intelligence, The Knowledge Engineering Review 8(2) (1993) 91-120.","journal-title":"The Knowledge Engineering Review"},{"key":"325559_CR146","unstructured":"H.J. Levesque, What is planning in the presence of sensing?, in: Proc. of the 13th National Conference of the American Association for Artificial Intelligence (AAAI), Portland, OR (AAAI Press\/MIT Press, 1996)."},{"key":"325559_CR147","doi-asserted-by":"crossref","unstructured":"H.J. Levesque, R. Reiter, Y. Lesp\u00e9rance, F. Lin and R. Scherl, GOLOG: a Logic Programming Language for Dynamic Domains, in [155] (1997) pp. 59-83.","DOI":"10.1016\/S0743-1066(96)00121-5"},{"key":"325559_CR148","volume-title":"Proc. of the 10th International Joint Conference on Artificial Intelligence (IJCAI)","author":"V. Lifschitz","year":"1987","unstructured":"V. Lifschitz, A theory of actions, in: Proc. of the 10th International Joint Conference on Artificial Intelligence (IJCAI), Milano, Italy (Morgan Kaufmann, San Mateo, CA, 1987)."},{"key":"325559_CR149","volume-title":"Readings in Nonmonotonic Reasoning","author":"V. Lifschitz","year":"1987","unstructured":"V. Lifschitz, Pointwise circumscription, in: Readings in Nonmonotonic Reasoning, ed. M. Ginsberg (Morgan Kaufmann, San Mateo, CA, 1987). 102 L. Chittaro, A. Montanari \/ Temporal representation and reasoning in AI"},{"key":"325559_CR150","volume-title":"Proc. of the 1987 Workshop on The Frame Problem in Artificial Intelligence","author":"V. Lifschitz","year":"1987","unstructured":"V. Lifschitz, Formal theories of action, in: Proc. of the 1987 Workshop on The Frame Problem in Artificial Intelligence(Morgan Kaufmann, San Mateo, CA, 1987)."},{"key":"325559_CR151","volume-title":"Proc. of the 13th International Joint Conference on Artificial Intelligence (IJCAI)","author":"V. Lifschitz","year":"1993","unstructured":"V. Lifschitz, Restricted monotonicity, in: Proc. of the 13th International Joint Conference on Artificial Intelligence (IJCAI), Chamb\u00e9ry, France (Morgan Kaufmann, San Mateo, 1993) pp. 432-437."},{"key":"325559_CR152","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","author":"V. Lifschitz","year":"1993","unstructured":"V. Lifschitz, Circumscription, in: Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3, eds. D. Gabbay, C. Hogger and J. Robinsons (Oxford University Press, Oxford, 1993)."},{"issue":"2","key":"325559_CR153","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1016\/0004-3702(95)98594-E","volume":"74","author":"V. Lifschitz","year":"1995","unstructured":"V. Lifschitz, Nested abnormality theories, Artificial Intelligence 74(2) (1995) 351-365.","journal-title":"Artificial Intelligence"},{"key":"325559_CR154","doi-asserted-by":"crossref","unstructured":"V. Lifschitz, Guest Editor's Introduction: Reasoning about Action and Change, in [155] (1997) pp. 1-2.","DOI":"10.1016\/S0743-1066(96)00139-2"},{"key":"325559_CR155","doi-asserted-by":"crossref","unstructured":"V. Lifschitz (ed.), Special issue on reasoning about action and change, Journal of Logic Programming 31(1-3) (1997).","DOI":"10.1016\/S0743-1066(96)00139-2"},{"key":"325559_CR156","unstructured":"G. Ligozat, On generalized interval calculi, in: Proc. of the 9th National Conference of the American Association for Artificial Intelligence (AAAI), (AAAI Press\/MIT Press, 1991) pp. 234-240."},{"key":"325559_CR157","unstructured":"F. Lin and Y. Shoham, Concurrent actions in the situation calculus, in: Proc. of the 10th National Conference of the American Association for Artificial Intelligence (AAAI)(AAAI Press\/MIT Press, 1992) pp. 590-695."},{"key":"325559_CR158","unstructured":"F. Lin, Specifying the effects of indeterminate actions, in: Proc. of the 13th National Conference of the American Association for Artificial Intelligence (AAAI), Portland, OR (AAAI Press\/MIT Press, 1996)."},{"key":"325559_CR159","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1111\/j.1467-8640.1996.tb00270.x","volume":"12","author":"S. Lin","year":"1996","unstructured":"S. Lin and T. Dean, Localized temporal reasoning using subgoals and abstract events, Computational Intelligence 12 (1996) 423-449.","journal-title":"Computational Intelligence"},{"key":"325559_CR160","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"A.K. Mackworth","year":"1977","unstructured":"A.K. Mackworth, Consistency in networks of relations, Artificial Intelligence 8 (1977) 99-118.","journal-title":"Artificial Intelligence"},{"key":"325559_CR161","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J. McCarthy","year":"1980","unstructured":"J. McCarthy, Circumscription-a form of non-monotonic reasoning, Artificial Intelligence 13 (1980) 27-29.","journal-title":"Artificial Intelligence"},{"key":"325559_CR162","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/0004-3702(86)90032-9","volume":"28","author":"J. McCarthy","year":"1986","unstructured":"J. McCarthy, Applications of circumscription to formalizing common-sense knowledge, Artificial Intelligence 28 (1986) 89-116.","journal-title":"Artificial Intelligence"},{"key":"325559_CR163","unstructured":"J. McCarthy, Situation calculus with concurrent events and narrative, http:\/\/www.formal.stanford. edu\/gmc\/narrative.html (1995)."},{"key":"325559_CR164","unstructured":"J. McCarthy and P.J. Hayes, Some philosophical problems from the standpoint of Artificial Intelligence, in: Machine Intelligence, Vol. 4, eds. B. Meltzer and D. Michie (Edinburgh University Press, 1969) pp. 463-502."},{"key":"325559_CR165","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/S0364-0213(82)90003-9","volume":"6","author":"D. McDermott","year":"1982","unstructured":"D. McDermott, A temporal logic for reasoning about processes and plans, Cognitive Science 6 (1982) 101-155.","journal-title":"Cognitive Science"},{"key":"325559_CR166","unstructured":"S.A. McIlraith, Representing actions and state constraints in model-based diagnosis, in: Proc. of the 14th National Conference of the American Association for Artificial Intelligence (AAAI), Providence, RI (AAAI Press\/MIT Press, 1997) pp. 43-49."},{"issue":"1-2","key":"325559_CR167","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1016\/0004-3702(95)00109-3","volume":"87","author":"I. Meiri","year":"1996","unstructured":"I. Meiri, Combining qualitative and quantitative constraints in temporal reasoning, Artificial Intelligence 87(1-2) (1996) 343-385.","journal-title":"Artificial Intelligence"},{"issue":"5","key":"325559_CR168","doi-asserted-by":"crossref","first-page":"513","DOI":"10.1093\/logcom\/4.5.513","volume":"4","author":"R. Miller","year":"1994","unstructured":"R. Miller and M. Shanahan, Narratives in the situation calculus, Journal of Logic and Computation 4(5) (1994) 513-530.","journal-title":"Journal of Logic and Computation"},{"key":"325559_CR169","unstructured":"R. Miller and M. Shanahan, The Event Calculus in Classical Logic-Alternative Axiomatisations, Link\u00a8oping Electronic Articles in Computer and Information Science 4(16) (1999) http:\/\/www.ep.liu.se\/ea\/cis\/1999\/016\/."},{"key":"325559_CR170","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"R. Milner, Communication and Concurrency, Prentice-Hall International Series in Computer Science (Prentice-Hall, Englewood Cliffs, NJ, 1989)."},{"key":"325559_CR171","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1080\/09528139008953731","volume":"2","author":"D. Moffat","year":"1990","unstructured":"D. Moffat and G. Ritchie, Modal queries about partially-ordered plans, Journal of Experimental and Theoretical Artificial Intelligence 2 (1990) 341-368.","journal-title":"Journal of Experimental and Theoretical Artificial Intelligence"},{"key":"325559_CR172","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/0004-3702(86)90083-4","volume":"28","author":"R. Mohr","year":"1986","unstructured":"R. Mohr and T. Henderson, Arc and path consistency revisited, Artificial Intelligence 28 (1986) 225-233.","journal-title":"Artificial Intelligence"},{"key":"325559_CR173","unstructured":"A. Montanari and B. Pernici, Chapter 21: Temporal Reasoning, in [230] (1993) pp. 534-562."},{"key":"325559_CR174","unstructured":"A. Montanari, Metric and layered temporal logic for time granularity, ILLC Dissertation Series, 1996-02, Institute for Logic, Language and Computation, University of Amsterdam (1996)."},{"key":"325559_CR175","unstructured":"A. Montanari, A. Peron and A. Policriti, Decidable theories of !-layered metric temporal structures, in: Proc. of ICTL'97: 2nd International Conference on Temporal Logic, eds. H. Barringer, M. Fisher, D. Gabbay and G. Gough (1997) pp. 75-89."},{"issue":"1","key":"325559_CR176","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1093\/jigpal\/7.1.79","volume":"7","author":"A. Montanari","year":"1999","unstructured":"A. Montanari, A. Peron and A. Policriti, Theories of !-layered metric temporal structures: Expressiveness and decidability, The Logic Journal of IGPL 7(1) (1999) 79-102.","journal-title":"The Logic Journal of IGPL"},{"key":"325559_CR177","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1305\/ndjfl\/1040046089","volume":"37","author":"A. Montanari","year":"1996","unstructured":"A. Montanari and A. Policriti, Decidability results for metric and layered temporal logics, Notre Dame Journal of Formal Logic 37 (1996) 260-282.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"325559_CR178","unstructured":"A. Montanari and A. Policriti, Executing metric temporal logic, in: Proc. of the IJCAI'97 Workshop on Programming in Temporal and Non Classical Logics, eds. C. Brzoska and M. Fisher (1997)."},{"key":"325559_CR179","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/S0304-3975(96)00324-6","volume":"183","author":"A. Montanari","year":"1997","unstructured":"A. Montanari and M. de Rijke, Two-sorted metric temporal logic, Theoretical Computer Science 183 (1997) 187-214.","journal-title":"Theoretical Computer Science"},{"key":"325559_CR180","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0020-0255(74)90008-5","volume":"7","author":"U. Montanari","year":"1974","unstructured":"U. Montanari, Networks of constraints: Fundamental properties and applications to picture processing, Information Sciences 7 (1974) 95-132.","journal-title":"Information Sciences"},{"key":"325559_CR181","volume-title":"The Robot's Dilemma Revisited: The Frame Problem in AI","author":"L. Mongenstern","year":"1996","unstructured":"L. Mongenstern, The Problem with Solutions to the Frame Problem, in: The Robot's Dilemma Revisited: The Frame Problem in AI, eds. K. Ford and Z. Pylyshyn (Ablex, Norwood, NJ, 1996)."},{"key":"325559_CR182","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1016\/0004-3702(88)90022-7","volume":"35","author":"P.H. Morris","year":"1988","unstructured":"P.H. Morris, The anomalous extension problem in default reasoning, Artificial Intelligence 35 (1988) 383-399.","journal-title":"Artificial Intelligence"},{"key":"325559_CR183","first-page":"38","volume-title":"Proc. of the 12th European Conference on Artificial Intelligence (ECAI)","author":"B. Nebel","year":"1996","unstructured":"B. Nebel, Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-horn class, in: Proc. of the 12th European Conference on Artificial Intelligence (ECAI), Budapest, Hungary (Wiley, New York, 1996) pp. 38-42."},{"key":"325559_CR184","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0004-3702(94)90005-1","volume":"66","author":"B. Nebel","year":"1994","unstructured":"B. Nebel and C. B\u00a8ackstr\u00a8om, On the computational complexity of temporal projection, planning, and plan validation, Artificial Intelligence 66 (1994) 125-160.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"325559_CR185","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1145\/200836.200848","volume":"42","author":"B. Nebel","year":"1995","unstructured":"B. Nebel and H.J. B\u00a8urckert, Reasoning about temporal relations: A maximal tractable subclass of Allen's Interval Algebra, Journal of the ACM 42(1) (1995) 43-66.","journal-title":"Journal of the ACM"},{"key":"325559_CR186","doi-asserted-by":"crossref","unstructured":"L. Ngo, P. Haddawy, R.A. Krieger and J. Helwig, Efficient temporal probabilistic reasoning via context-sensitive model construction, in [55] (1997) pp. 453-476.","DOI":"10.1016\/S0010-4825(97)00015-2"},{"key":"325559_CR187","unstructured":"M. Niezette and J. Stevenne, An efficient symbolic representation of periodic time, in: Proc. of the 1st International Conference on Information and Knowledge Management (CIKM)(1992) pp. 161-168."},{"key":"325559_CR188","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-54316-3","volume-title":"Temporally Distributed Symptoms in Technical Diagnosis","author":"K. N\u00a8okel","year":"1991","unstructured":"K. N\u00a8okel, Temporally Distributed Symptoms in Technical Diagnosis(Springer, Berlin, 1991)."},{"key":"325559_CR189","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1093\/jigpal\/1.1.69","volume":"1","author":"H.J. Ohlbach","year":"1991","unstructured":"H.J. Ohlbach, Translation methods for non-classical logics: a survey, The Logic Journal of the IGPL 1 (1991) 69-89.","journal-title":"The Logic Journal of the IGPL"},{"issue":"4","key":"325559_CR190","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1109\/69.404027","volume":"7","author":"G. Ozsoyoglu","year":"1995","unstructured":"G. Ozsoyoglu and R.T. Snodgrass, Temporal and real-time databases: a survey, IEEE Transactions on Knowledge and Data Engineering 7(4) (1995) 513-532.","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"325559_CR191","volume-title":"Probabilistic Reasoning in Intelligent Systems","author":"J. Pearl","year":"1992","unstructured":"J. Pearl, Probabilistic Reasoning in Intelligent Systems, 2nd Edition (Morgan Kaufmann, San Mateo, CA, 1992).","edition":"2nd Edition"},{"key":"325559_CR192","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/0004-3702(93)90169-C","volume":"59","author":"J. Pearl","year":"1993","unstructured":"J. Pearl, Belief networks revisited, Artificial Intelligence 59 (1993) 49-56.","journal-title":"Artificial Intelligence"},{"key":"325559_CR193","first-page":"324","volume-title":"Proc. of 1st International Conference on Knowledge Representation and Reasoning (KR)","author":"E. Pednault","year":"1989","unstructured":"E. Pednault, ADL: exploring the middle ground between STRIPS and the Situation Calculus, in: Proc. of 1st International Conference on Knowledge Representation and Reasoning (KR)(Morgan Kaufmann, San Mateo, CA, 1989) pp. 324-332."},{"key":"325559_CR194","unstructured":"J. Pinto, Temporal reasoning in the situation calculus, Ph.D. thesis, University of Toronto, Department of Computer Science (1994)."},{"key":"325559_CR195","first-page":"292","volume-title":"Proc. of the 6th International Conference on Knowledge Representation and Reasoning (KR)","author":"J. Pinto","year":"1998","unstructured":"J. Pinto, Concurrent actions and interacting effects, in: Proc. of the 6th International Conference on Knowledge Representation and Reasoning (KR), Trento, Italy (Morgan Kaufmann, San Mateo, CA, 1998) pp. 292-303."},{"key":"325559_CR196","first-page":"203","volume-title":"Proc. of the 10th International Conference on Logic Programming (ICPL)","author":"J. Pinto","year":"1993","unstructured":"J. Pinto and R. Reiter, Temporal reasoning in logic programming: A case for the situation calculus, in: Proc. of the 10th International Conference on Logic Programming (ICPL)(MIT Press, Cambridge, MA, 1993) pp. 203-221."},{"issue":"3","key":"325559_CR197","doi-asserted-by":"crossref","first-page":"478","DOI":"10.1111\/j.1467-8640.1996.tb00272.x","volume":"12","author":"A. Provetti","year":"1996","unstructured":"A. Provetti, Hypothetical reasoning about actions: From Situation Calculus to Event Calculus, Computational Intelligence 12(3) (1996) 478-498.","journal-title":"Computational Intelligence"},{"key":"325559_CR198","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1016\/0004-3702(91)90014-B","volume":"49","author":"M. Rayner","year":"1991","unstructured":"M. Rayner, On the applicability of nonmonotonic logic to formal reasoning in continuous time, Artificial Intelligence 49 (1991) 345-360.","journal-title":"Artificial Intelligence"},{"key":"325559_CR199","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1016\/B978-0-12-450010-5.50026-8","volume-title":"Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy","author":"R. Reiter","year":"1991","unstructured":"R. Reiter, The frame problem in the Situation Calculus: a simple solution (sometimes) and completeness result for goal regression, in: Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, ed. V. Lifschitz (Academic Press, New York, 1991) pp. 359-380."},{"key":"325559_CR200","first-page":"2","volume-title":"Proc.of the 5th International Conference on Knowledge Representation and Reasoning (KR)","author":"R. Reiter","year":"1996","unstructured":"R. Reiter, Natural actions, concurrency and continuous time in the situation calculus, in: Proc.of the 5th International Conference on Knowledge Representation and Reasoning (KR)(Morgan Kaufmann, San Mateo, CA, 1996) pp. 2-13."},{"key":"325559_CR201","unstructured":"R. Reiter, KNOWLEDGE IN ACTION: Logical Foundations for Describing and Implementing Dynamical Systems, Book Draft, Version of January 5 (1999)."},{"key":"325559_CR202","first-page":"67","volume-title":"Proc. of the 12th International Conference on Logic Programming (ICLP)","author":"F. Sadri","year":"1995","unstructured":"F. Sadri and R. Kowalski, Variants of the event calculus, in: Proc. of the 12th International Conference on Logic Programming (ICLP), Kanagawa, Japan (MIT Press, Cambridge, MA, 1995) pp. 67-81."},{"key":"325559_CR203","first-page":"412","volume-title":"Proc. of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR)","author":"E. Sandewall","year":"1989","unstructured":"E. Sandewall, Combining logic and differential equations for describing real-world systems, in: Proc. of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR)(Morgan Kaufmann, San Mateo, CA, 1989) pp. 412-420."},{"key":"325559_CR204","first-page":"894","volume-title":"Proc. of 11th International Joint Conference on Artificial Intelligence (IJCAI)","author":"E. Sandewall","year":"1989","unstructured":"E. Sandewall, Filter preferential entailment for the logic of action in almost continuous worlds, in: Proc. of 11th International Joint Conference on Artificial Intelligence (IJCAI), Detroit, MI (Morgan Kaufmann, San Mateo, CA, 1989) pp. 894-899."},{"key":"325559_CR205","volume-title":"Proc. of 13th International Joint Conference on Artificial Intelligence (IJCAI)","author":"E. Sandewall","year":"1993","unstructured":"E. Sandewall, The range of applicability of nonmonotonic logics for the inertia problem, in: Proc. of 13th International Joint Conference on Artificial Intelligence (IJCAI), Chamb\u00e9ry, France (Morgan Kaufmann, San Mateo, CA, 1993)."},{"key":"325559_CR206","volume-title":"Features and Fluents. A Systematic Approach to the Representation of Knowledge about Dynamical Systems","author":"E. Sandewall","year":"1994","unstructured":"E. Sandewall, Features and Fluents. A Systematic Approach to the Representation of Knowledge about Dynamical Systems(Oxford University Press, Oxford, 1994)."},{"key":"325559_CR207","unstructured":"E. Sandewall (ed.), Electronic newsletter on reasoning about actions and change, http:\/\/www.ida. liu.se\/ext\/etai\/actions\/njl\/ (1998)."},{"key":"325559_CR208","unstructured":"R. Scherl and H.J. Levesque, The frame problem and knowledge producing actions, in: Proc.of the 11th National Conference of the American Association for Artificial Intelligence (AAAI), Washington, DC (AAAI Press\/MIT Press, 1993) pp. 689-695."},{"key":"325559_CR209","doi-asserted-by":"crossref","unstructured":"L. Schubert, Monotonic solution of the frame problem in the Situation Calculus: an efficient method for worlds with fully specified actions, in: Knowledge Representation and Defeasible Reasoning, eds. H. Kyberg, R. Loui and G. Karlson (Kluwer Academic, 1990).","DOI":"10.1007\/978-94-009-0553-5_2"},{"key":"325559_CR210","doi-asserted-by":"crossref","unstructured":"E. Schwalb and R. Dechter, Processing disjunctions of temporal constraints, in [48] (1996) pp. 30-35.","DOI":"10.1109\/TIME.1996.555671"},{"key":"325559_CR211","doi-asserted-by":"crossref","unstructured":"E. Schwalb and L. Vila, Temporal constraints: a survey, in [102] (1998) pp. 129-150.","DOI":"10.1023\/A:1009717525330"},{"issue":"1-2","key":"325559_CR212","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/S0004-3702(96)00025-2","volume":"90","author":"Y. Shahar","year":"1997","unstructured":"Y. Shahar, A framework for knowledge-based temporal abstraction, Artificial Intelligence 90(1-2) (1997) 79-133.","journal-title":"Artificial Intelligence"},{"key":"325559_CR213","unstructured":"Y. Shahar, Dynamic temporal interpretation contexts for temporal abstraction, in [52] (1998) pp. 159-192."},{"key":"325559_CR214","first-page":"1055","volume-title":"Proc. of the 11th International Joint Conference on Artificial Intelligence (IJCAI)","author":"M. Shanahan","year":"1989","unstructured":"M. Shanahan, Prediction is deduction but explanation is abduction, in: Proc. of the 11th International Joint Conference on Artificial Intelligence (IJCAI)(Morgan Kaufmann, San Mateo, CA, 1989) pp. 1055-1060."},{"key":"325559_CR215","first-page":"598","volume-title":"Proc. of the 9th European Conference on Artificial Intelligence (ECAI)","author":"M. Shanahan","year":"1990","unstructured":"M. Shanahan, Representing continuous change in the Event Calculus, in: Proc. of the 9th European Conference on Artificial Intelligence (ECAI), Stockholm, Sweden (Wiley, New York, 1990) pp. 598-603."},{"key":"325559_CR216","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/0004-3702(94)00036-Z","volume":"77","author":"M. Shanahan","year":"1995","unstructured":"M. Shanahan, A Circumscriptive Calculus of Events, Artificial Intelligence 77 (1995) 249-284.","journal-title":"Artificial Intelligence"},{"key":"325559_CR217","volume-title":"Solving the Frame Problem: a Mathematical Investigation of the Common Sense Law of Inertia","author":"M. Shanahan","year":"1997","unstructured":"M. Shanahan, Solving the Frame Problem: a Mathematical Investigation of the Common Sense Law of Inertia(MIT Press, Cambridge, MA, 1997)."},{"key":"325559_CR218","first-page":"684","volume-title":"Proc. of the 12th European Conference on Artificial Intelligence (ECAI)","author":"M. Shanahan","year":"1996","unstructured":"M. Shanahan, Robotics and the common sense informatic situation, in: Proc. of the 12th European Conference on Artificial Intelligence (ECAI), Budapest, Hungary (Wiley, New York, 1996) pp. 684-688."},{"key":"325559_CR219","unstructured":"M. Shanahan, Noise and the common sense informatic situation for a mobile robot, in: Proc. of the 13th National Conference of the American Association for Artificial Intelligence (AAAI), Portland, OR (AAAI Press\/MIT Press, 1996) pp. 1098-1103."},{"key":"325559_CR220","unstructured":"S. Shapiro, Y. Lesp\u00e9rance and H.J. Levesque, Goals and rational action in the situation calculus-a preliminary report, in: Working Notes of the AAAI Fall Symposium on Rational Agency: Concepts, Theories, Models and Applications, Cambridge, MA (1995)."},{"key":"325559_CR221","unstructured":"Y. Shoham, Reified temporal logics: semantical and ontological considerations, in: Proc. of the 7th European Conference on Artificial Intelligence (ECAI), Brighton, UK (1986) pp. 390-397."},{"key":"325559_CR222","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1016\/0004-3702(88)90085-9","volume":"36","author":"Y. Shoham","year":"1988","unstructured":"Y. Shoham, Chronological ignorance: Experiments in nonmonotonic temporal reasoning, Artificial Intelligence 36 (1988) 279-331.","journal-title":"Artificial Intelligence"},{"key":"325559_CR223","volume-title":"Reasoning About Change: Time and Causation From the Standpoint of Artificial Intelligence","author":"Y. Shoham","year":"1988","unstructured":"Y. Shoham, Reasoning About Change: Time and Causation From the Standpoint of Artificial Intelligence(MIT Press, Cambridge, MA, 1988)."},{"key":"325559_CR224","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/0364-0213(90)90003-F","volume":"14","author":"Y. Shoham","year":"1990","unstructured":"Y. Shoham, Nonmonotonic reasoning and causation, Cognitive Science 14 (1990) 213-252.","journal-title":"Cognitive Science"},{"key":"325559_CR225","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/0004-3702(88)90078-1","volume":"36","author":"Y. Shoham","year":"1988","unstructured":"Y. Shoham and D. McDermott, Problems in formal temporal reasoning, Artificial Intelligence 36 (1988) 49-61.","journal-title":"Artificial Intelligence"},{"key":"325559_CR226","volume-title":"The TSQL2 Temporal Query Language","year":"1995","unstructured":"R. Snodgrass (ed.), The TSQL2 Temporal Query Language(Kluwer Academic, Boston, MA, 1995)."},{"key":"325559_CR227","unstructured":"F. Song and R. Cohen, The interpretation of temporal relations in narrative, in: Proc. of the 7th National Conference of the American Association for Artificial Intelligence (AAAI), Saint Paul, MI (AAAI Press, 1988) pp. 745-750."},{"key":"325559_CR228","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(94)90061-2","volume":"71","author":"L.A. Stein","year":"1994","unstructured":"L.A. Stein and L. Morgenstern, Motivated action theory, Artificial Intelligence 71 (1994) 1-42.","journal-title":"Artificial Intelligence"},{"issue":"3","key":"325559_CR229","doi-asserted-by":"crossref","first-page":"T1","DOI":"10.1145\/152947.152951","volume":"4","author":"J. Stillman","year":"1993","unstructured":"J. Stillman, R. Arthur and A Deitsch, Tachyon: A constraint-based temporal reasoning model and its implementation, SIGART Bulletin 4(3) (1993) T1-T4.","journal-title":"SIGART Bulletin"},{"key":"325559_CR230","unstructured":"A. Tansel, J. Clifford, S. Gadia, S. Jajodia, A. Segev and R. Snodgrass, Temporal Databases: Theory, Design and Implementation, eds. Tansel et al. (Benjamin\/Cummings, 1993)."},{"key":"325559_CR231","doi-asserted-by":"publisher","first-page":"73","DOI":"10.2307\/2268577","volume":"6","author":"A. Tarski","year":"1941","unstructured":"A. Tarski, On the calculus of relations, Journal of Symbolic Logic 6 (1941) 73-89.","journal-title":"Journal of Symbolic Logic"},{"key":"325559_CR232","unstructured":"A.Y. Tawfik and E.M. Neufeld, Irrelevance in uncertain temporal reasoning, in [48] (1996) pp. 182-187."},{"key":"325559_CR233","unstructured":"E. Ternovskaia, Interval situation calculus, in: Proc. of ECAI-94 Workshop on Logic and Change(Amsterdam, The Netherlands, 1994) pp. 153-164."},{"key":"325559_CR234","first-page":"1994","volume-title":"Proc. of 14th International Joint Conference on Artificial Intelligence (IJCAI)","author":"M. Thielscher","year":"1995","unstructured":"M. Thielscher, Computing ramifications by postprocessing, in: Proc. of 14th International Joint Conference on Artificial Intelligence (IJCAI), Montr\u00e9al, Qu\u00e9bec (Morgan Kaufmann, San Mateo, CA, 1995) pp. 1994-2000."},{"issue":"2","key":"325559_CR235","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/BF00244496","volume":"17","author":"M. Thielscher","year":"1996","unstructured":"M. Thielscher, On the completeness of SLDENF-resolution, Journal of Automated Reasoning 17(2) (1996) 199-214.","journal-title":"Journal of Automated Reasoning"},{"key":"325559_CR236","first-page":"51","volume-title":"Proc. of the 5th International Conference on Principles of Knowledge Representation and Reasoning (KR)","author":"M. Thielscher","year":"1996","unstructured":"M. Thielscher, Causality and the qualification problem, in: Proc. of the 5th International Conference on Principles of Knowledge Representation and Reasoning (KR)(Morgan Kaufmann, San Mateo, CA, 1996) pp. 51-62."},{"issue":"1-2","key":"325559_CR237","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/S0004-3702(96)00033-1","volume":"89","author":"M. Thielscher","year":"1997","unstructured":"M. Thielscher, Ramification and causality, Artificial Intelligence 89(1-2) (1997) 317-364.","journal-title":"Artificial Intelligence"},{"key":"325559_CR238","unstructured":"M. Thielscher, Introduction to the Fluent Calculus, Link\u00a8oping Electronic Articles in Computer and Information Science 3(14) (1998); http:\/\/www.ep.liu.se\/ea\/cis\/1998\/014."},{"key":"325559_CR239","unstructured":"E.P.K. Tsang, Elements in temporal reasoning in planning, in: Proc. of the 8th European Conference on Artificial Intelligence (ECAI), M\u00a8unchen (Pitman, London, 1988)."},{"key":"325559_CR240","first-page":"256","volume-title":"Proc. of the 6th National Conference of the American Association for Artificial Intelligence (AAAI)","author":"R.E. Valdes-Perez","year":"1987","unstructured":"R.E. Valdes-Perez, The satisfiability of temporal constraint networks, in: Proc. of the 6th National Conference of the American Association for Artificial Intelligence (AAAI), Seattle, WA (AAAI Press, Menlo Park, CA, 1987) pp. 256-260."},{"key":"325559_CR241","first-page":"48","volume-title":"Proc. of the 12th European Conference of Artificial Intelligence (ECAI)","author":"T. Vidal","year":"1996","unstructured":"T. Vidal and M. Ghallab, Dealing with uncertain durations in temporal constraint networks dedicated to planning, in: Proc. of the 12th European Conference of Artificial Intelligence (ECAI), Budapest, Hungary (Wiley, New York, 1996) pp. 48-52."},{"key":"325559_CR242","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/0004-3702(94)00093-X","volume":"83","author":"L. Vila","year":"1996","unstructured":"L. Vila and H. Reichgelt, The token reification approach to temporal reasoning, Artificial Intelligence 83 (1996) 59-74.","journal-title":"Artificial Intelligence"},{"key":"325559_CR243","first-page":"197","volume-title":"Proc. of the 2nd National Conference of the American Association for Artificial Intelligence (AAAI)","author":"M.B. Vilain","year":"1982","unstructured":"M.B. Vilain, A system for reasoning about time, in: Proc. of the 2nd National Conference of the American Association for Artificial Intelligence (AAAI)(AAAI Press, Pittsburgh, PA, 1982) pp. 197-201."},{"key":"325559_CR244","first-page":"377","volume-title":"Proc. of the 5th National Conference of the American Association for Artificial Intelligence (AAAI)","author":"M.B. Vilain","year":"1986","unstructured":"M.B. Vilain and H. Kautz, Constraint propagation algorithms for temporal reasoning, in: Proc. of the 5th National Conference of the American Association for Artificial Intelligence (AAAI), Philadelphia, PA (AAAI Press, Menlo Park, CA, 1986) pp. 377-382."},{"key":"325559_CR245","first-page":"373","volume-title":"Readings in Qualitative about Physical Systems","author":"M.B. Vilain","year":"1989","unstructured":"M.B. Vilain, H. Kautz and P. van Beek, Constraint propagation algorithms for temporal reasoning: a revised report, in: Readings in Qualitative about Physical Systems, eds. D.S. Weld and J. de Kleer (Morgan Kaufmann, San Mateo, CA, 1989) pp. 373-381."},{"key":"325559_CR246","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/BF01534456","volume":"15","author":"A.B. Webber","year":"1995","unstructured":"A.B. Webber, Proof of the interval satisfiability conjecture, Annals of Mathematics and Artificial Intelligence 15 (1995) 231-238.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"325559_CR247","doi-asserted-by":"crossref","unstructured":"W.A. Woods, What's important about knowledge representation?, IEEE Computer (1983) 22-29.","DOI":"10.1109\/MC.1983.1654193"},{"key":"325559_CR248","unstructured":"C. Yi, Reasoning about concurrent actions with features and fluents, in [48] (1996) pp. 6-13."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018900105153.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1018900105153\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018900105153.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:48:38Z","timestamp":1747547318000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1018900105153"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,10]]},"references-count":248,"journal-issue":{"issue":"1-4","published-print":{"date-parts":[[2000,10]]}},"alternative-id":["325559"],"URL":"https:\/\/doi.org\/10.1023\/a:1018900105153","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000,10]]}}}