{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T06:10:09Z","timestamp":1747548609013,"version":"3.40.5"},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[1998,2,1]],"date-time":"1998-02-01T00:00:00Z","timestamp":886291200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1998,2,1]],"date-time":"1998-02-01T00:00:00Z","timestamp":886291200000},"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":[[1998,2]]},"DOI":"10.1023\/a:1018990024350","type":"journal-article","created":{"date-parts":[[2003,2,19]],"date-time":"2003-02-19T22:07:13Z","timestamp":1045692433000},"page":"59-86","source":"Crossref","is-referenced-by-count":5,"title":["Focusing qualitative simulation using temporal logic: theoretical foundations"],"prefix":"10.1007","volume":"22","author":[{"given":"Giorgio","family":"Brajnik","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel J.","family":"Clancy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"325457_CR1","first-page":"123","volume":"23","author":"J.F. Allen","year":"1984","unstructured":"J.F. Allen, Towards a general theory of action and time, Artificial Intelligence 23 (1984) 123\u2013;154.","journal-title":"Towards a general theory of action and time, Artificial Intelligence"},{"issue":"1","key":"325457_CR2","first-page":"35","volume":"104","author":"R. Alur","year":"1993","unstructured":"R. Alur and T. Henzinger, Real-time logics: complexity and expressiveness, Information and Computation 104(1) (1993) 35\u2013;77.","journal-title":"Real-time logics: complexity and expressiveness, Information and Computation"},{"key":"325457_CR3","unstructured":"F. Bacchus and F. Kabanza, Using temporal logic to control search in a forward chaining planner, in: Proc. of the 3rd European Workshop on Planning (EWSP), Assisi, Italy (AAAI Press, August 1995)."},{"key":"325457_CR4","unstructured":"F. Bacchus and F. Kabanza, Planning for temporally extended goals, in: Proc. of the Thirteenth National Conference on Artificial Intelligence, eds. B. Clancey and D. Weld (AAAI Press, August 1996)."},{"key":"325457_CR5","unstructured":"M. Barbeau, F. Kabanza and R. St-Denis, Synthesizing plant controllers using real-time goals, in: Proc. IJCAI \u201995(Morgan Kaufmann, August 1995) pp. 791\u2013;798."},{"key":"325457_CR6","unstructured":"D. Berleant and B.J. Kuipers, Using incomplete quantitative knowledge in qualitative reasoning, in: Proc. of the Sixth National Conference on Artificial Intelligence(1988) pp. 324\u2013;329."},{"key":"325457_CR7","unstructured":"G. Bhat, R. Cleaveland and O. Grumberg, Efficient on-the-fly model checking for CTL*, in: Proc. Conf. Logic in Computer Science (LICS \u201995)(1995)."},{"key":"325457_CR8","unstructured":"G. Brajnik, Statistical properties of qualitative behaviors, in: Proc. Eleventh International Workshop for Qualitative Reasoning, Cortona, Italy (June 1997) pp. 233\u2013;240."},{"key":"325457_CR9","unstructured":"G. Brajnik and D.J. Clancy, Temporal constraints on trajectories in qualitative simulation, in: Proc. of the Thirteenth National Conference on Artificial Intelligence, eds. B. Clancey and D. Weld (AAAI Press, August 1996) pp. 979\u2013;984."},{"key":"325457_CR10","series-title":"Technical Report","volume-title":"Temporal constraints on trajectories in qualitative simulation","author":"G. Brajnik","year":"1996","unstructured":"G. Brajnik and D.J. Clancy, Temporal constraints on trajectories in qualitative simulation, Technical Report UDMI-RT-01-96, Dip. di Matematica e Informatica, University of Udine, Udine, Italy (January 1996)."},{"key":"325457_CR11","first-page":"61","volume":"49","author":"R. Dechter","year":"1991","unstructured":"R. Dechter, I. Meiri and J. Pearl, Temporal constraint networks, Artificial Intelligence 49 (1991) 61\u2013;95.","journal-title":"Temporal constraint networks, Artificial Intelligence"},{"key":"325457_CR12","unstructured":"D. DeCoste, Goal-directed qualitative reasoning with partial states, Technical Report 57, The Institute for the Learning Sciences, University of Illinois at Urbana-Champaign (August 1994)."},{"key":"325457_CR13","doi-asserted-by":"crossref","unstructured":"E.A. Emerson, Temporal and modal logic, in: Handbook of Theoretical Computer Science, ed. J. van Leeuwen (Elsevier\/MIT Press, 1990) Chapter 16, pp. 995\u2013;1072.","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"325457_CR14","doi-asserted-by":"crossref","unstructured":"T.A. Henzinger, Half-order modal logic: how to prove real-time properties, in: Proc. of the Ninth Annual Symposium on Principles of Distributed Computing(ACM Press, 1990) pp. 281\u2013;296.","DOI":"10.1145\/93385.93429"},{"issue":"12","key":"325457_CR15","doi-asserted-by":"publisher","first-page":"1595","DOI":"10.1109\/21.478445","volume":"25","author":"D. Jonescu","year":"1995","unstructured":"D. Jonescu and J.Y. Lin, Optimal supervision of discrete event systems in a temporal logic framework, IEEE Transactions on Systems, Man and Cybernetics 25(12) (December 1995) 1595\u2013;1605.","journal-title":"IEEE Transactions on Systems, Man and Cybernetics"},{"key":"325457_CR16","unstructured":"H. Kay and B.J. Kuipers, Numerical behavior envelopes for qualitative models, in: Proc. of the Eleventh National Conference on Artificial Intelligence(AAAI Press\/MIT Press, 1993)."},{"key":"325457_CR17","volume-title":"Qualitative Reasoning: Modeling and Simulation with Incomplete Knowledge","author":"B.J. Kuipers","year":"1994","unstructured":"B.J. Kuipers, Qualitative Reasoning: Modeling and Simulation with Incomplete Knowledge(MIT Press, Cambridge, MA, 1994)."},{"key":"325457_CR18","doi-asserted-by":"crossref","unstructured":"B.J. Kuipers and B. Shults, Reasoning in logic about continuous change, in: Principles of Knowledge Representation and Reasoning (KR \u201994)(Morgan Kaufmann, 1994).","DOI":"10.1016\/B978-1-4832-1452-8.50132-9"},{"key":"325457_CR19","first-page":"91","volume":"92","author":"B. Shults","year":"1997","unstructured":"B. Shults and B. Kuipers, Proving properties of continuous systems: qualitative simulation and temporal logic, Artificial Intelligence 92 (1997) 91\u2013;129.","journal-title":"Proving properties of continuous systems: qualitative simulation and temporal logic, Artificial Intelligence"},{"issue":"4","key":"325457_CR20","doi-asserted-by":"crossref","first-page":"943","DOI":"10.1080\/00207178608933645","volume":"44","author":"J.G. Thistle","year":"1986","unstructured":"J.G. Thistle and W.M. Wonham, Control problems in a temporal logic framework, International Journal on Control 44(4) (1986) 943\u2013;976.","journal-title":"International Journal on Control"},{"key":"325457_CR21","unstructured":"T. Washio and M. Kitamura, A fast history-oriented envisioning method introducing temporal logic, in: Ninth International Workshop on Qualitative Reasoning (QR \u201995), Amsterdam (May 1995) pp. 279\u2013;288."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018990024350.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1018990024350\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018990024350.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:40:39Z","timestamp":1747546839000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1018990024350"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,2]]},"references-count":21,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1998,2]]}},"alternative-id":["325457"],"URL":"https:\/\/doi.org\/10.1023\/a:1018990024350","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"type":"print","value":"1012-2443"},{"type":"electronic","value":"1573-7470"}],"subject":[],"published":{"date-parts":[[1998,2]]}}}