{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:11:20Z","timestamp":1725664280014},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584025"},{"type":"electronic","value":"9783540486954"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58402-1_17","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:52:51Z","timestamp":1330271571000},"page":"230-243","source":"Crossref","is-referenced-by-count":7,"title":["Annotated constraint logic programming applied to temporal reasoning"],"prefix":"10.1007","author":[{"given":"Thom","family":"Fr\u00fchwirth","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/S0747-7171(89)80070-7","volume":"8","author":"M. Abadi","year":"1989","unstructured":"M. Abadi and Z. Manna, Temporal Logic Programming, Journal of Symbolic Computation (1989) 8, pp 277\u2013295.","journal-title":"Journal of Symbolic Computation"},{"key":"17_CR2","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/0004-3702(84)90008-0","volume":"23","author":"J. F. Allen","year":"1984","unstructured":"J. F. Allen, Towards a General Theory of Action and Time, Artificial Intelligence, Vol. 23, 1984, pp 123\u2013154.","journal-title":"Artificial Intelligence"},{"key":"17_CR3","volume-title":"Synthese Library, Vol. 156","author":"J. F. A. A. K. K. Benthem van","year":"1983","unstructured":"J.F.A.K. van Benthem, The Logic of Time, Synthese Library, Vol. 156, D. Reidel Pub., Holland, 1983."},{"key":"17_CR4","unstructured":"K. A. Bowen and R. A. Kowalski, Amalgamating Language and Metalanguage in Logic Programming, In Logic Programming, K.A. Clark and S.A. Tarnlund (eds), pp. 153\u2013173, Academic Press, 1982."},{"key":"17_CR5","volume-title":"Temporal Logic Programming with Bounded Universal Goals, 10th ICLP","author":"Ch. Brzoska","year":"1993","unstructured":"Ch. Brzoska, Temporal Logic Programming with Bounded Universal Goals, 10th ICLP, Budapest, Hungary, MIT Press, 1993."},{"key":"17_CR6","doi-asserted-by":"crossref","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, Vol. 49, pp. 61\u201395, 1991.","journal-title":"Artificial Intelligence"},{"key":"17_CR7","first-page":"369","volume-title":"LPAR 92","author":"M. Fisher","year":"1992","unstructured":"M. Fisher and R. Owens, From the Past to the Future: Executing Temporal Logic Programs, LPAR 92, St. Petersburg, Russia, Springer LNCS 624, July 1992, pp 369\u2013380."},{"key":"17_CR8","first-page":"196","volume-title":"A General framework for Modal Deduction, 2nd KR '91","author":"A. M. Frisch","year":"1991","unstructured":"A. M. Frisch and R. B. Scherl, A General framework for Modal Deduction, 2nd KR '91, pp. 196\u2013207, Cambridge, Mass., Morgan Kaufmann, 1991."},{"key":"17_CR9","unstructured":"T. Fr\u00fchwirth, Temporal Annotated Constraint Logic Programming, Workshop on Executable Modal and Temporal Logics at IJCAI 93, Chambery, France, August 1993."},{"key":"17_CR10","volume-title":"Technical Report ECRC-94-05","author":"T. Fr\u00fchwirth","year":"1994","unstructured":"T. Fr\u00fchwirth, Temporal Reasoning with Constraint Handling Rules, Technical Report ECRC-94-05, ECRC Munich, Germany, January 1994."},{"key":"17_CR11","unstructured":"T. Fr\u00fchwirth, Annotating Formulas with Temporal Information, Workshop on Logic and Change at ECAI 94, Amsterdam, The Netherlands, August 1994."},{"key":"17_CR12","unstructured":"A. Galton (ed), Temporal Logics and Their Applications, Academic Press, 1987."},{"key":"17_CR13","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1016\/0004-3702(90)90053-3","volume":"42","author":"A. Galton","year":"1990","unstructured":"A. Galton, A Critical Examination of Allen's Theory of Action and Time, Artificial Intelligence, Vol. 42, 1990, pp. 159\u2013188.","journal-title":"Artificial Intelligence"},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"J. Jaffar and M. J. Maher, Constraint Logic Programming: A Survey, Journal of Logic Programming, to appear.","DOI":"10.1016\/0743-1066(94)90033-7"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"M. Kifer and V.S. Subrahmanian, Theory of Generalized Annotated Logic Programming and its Applications, Journal of Logic Programming, April 1992.","DOI":"10.1016\/0743-1066(92)90007-P"},{"key":"17_CR16","volume-title":"Computing Annotated Logic Programs: Theory and Implementation, 11th ICLP","author":"S. M. Leach","year":"1994","unstructured":"S. M. Leach and J. J. Lu, Computing Annotated Logic Programs: Theory and Implementation, 11th ICLP, Santa Margherita Ligure, Italy, MIT Press, 1994."},{"key":"17_CR17","volume-title":"ECLiPSe 3.4 User Manual and Extensions User Manual","author":"M. Meier","year":"1994","unstructured":"M. Meier, J. Schimpf et al., ECLiPSe 3.4 User Manual and Extensions User Manual, ECRC Munich, Germany, January 1994."},{"key":"17_CR18","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1207\/s15516709cog0602_1","volume":"6","author":"D. McDermot","year":"1982","unstructured":"D. McDermot, A Temporal Logic for Reasoning about Processes and Plans, Cognitive Science 6:101\u2013155, 1982.","journal-title":"Cognitive Science"},{"key":"17_CR19","unstructured":"I. Meiri, Combining Qualitative and Quantitative Constraints in Temporal Reasoning, AAAI 91, July 1991, pp 260\u2013267."},{"key":"17_CR20","doi-asserted-by":"crossref","unstructured":"B. Moszkowski, Executing Temporal Logic Programs, Cambridge University Press, 1986.","DOI":"10.1007\/3-540-15670-4_6"},{"key":"17_CR21","unstructured":"L. Sterling and E. Shapiro, \u201cInterpreters\u201d, Chapter 17, The Art of Prolog, Second Edition, MIT Press, 1994."},{"issue":"3","key":"17_CR22","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1017\/S0269888900005798","volume":"6","author":"P. Hentenryck van","year":"1991","unstructured":"P. van Hentenryck, Constraint Logic Programming, The Knowledge Engineering Review, Vol 6:3, 1991, pp 151\u2013194.","journal-title":"The Knowledge Engineering Review"}],"container-title":["Lecture Notes in Computer Science","Programming Language Implementation and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58402-1_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:19:57Z","timestamp":1605647997000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58402-1_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584025","9783540486954"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-58402-1_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}