{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:09:59Z","timestamp":1725664199548},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540589761"},{"type":"electronic","value":"9783540491682"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-58976-7_4","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:57:55Z","timestamp":1330257475000},"page":"58-68","source":"Crossref","is-referenced-by-count":1,"title":["Temporal logic and annotated constraint logic programming"],"prefix":"10.1007","author":[{"given":"Thom","family":"Fr\u00fchwirth","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"4_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, J. Symbolic Computation (1989) 8, pp 277\u2013295.","journal-title":"J. Symbolic Computation"},{"key":"4_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":"4_CR3","volume-title":"Temporal Logic Programming with Bounded Universal Goals, 10th ICLP","author":"C. Brzoska","year":"1993","unstructured":"C. Brzoska, Temporal Logic Programming with Bounded Universal Goals, 10th ICLP, Budapest, Hungary, MIT Press, 1993."},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"T. Fr\u00fchwirth et al., Constraint Logic Programming \u2014 An Informal Introduction, Chapter in Logic Programming in Action, Springer LNCS 636, September 1992. Also available by anonymous ftp from ftp.ecrc.de, in pub\/ECRC_tech_reports\/reports, file ECRC-9305.ps.Z.","DOI":"10.1007\/3-540-55930-2_2"},{"key":"4_CR5","volume-title":"Technical Report ECRC-9405","author":"T. Fr\u00fchwirth","year":"1994","unstructured":"T. Fr\u00fchwirth, Temporal Reasoning with Constraint Handling Rules, Technical Report ECRC-9405, ECRC Munich, Germany, January 1994. Available by anonymous ftp from ftp.ecrc.de, in pub\/ECRC_tech_reports\/reports, file ECRC-9405.ps.Z."},{"key":"4_CR6","unstructured":"T. Fruhwirth, Annotating Formulas with Temporal Information, Workshop on Logic and Change at ECAI 94, Amsterdam, The Netherlands, August 1994."},{"key":"4_CR7","volume-title":"Programming Language Implementation and Logic Programming (PLILP)","author":"T. Fr\u00fchwirth","year":"1994","unstructured":"T. Fr\u00fchwirth, Annotated Constraint Logic Programming Applied to Temporal Reasoning, Programming Language Implementation and Logic Programming (PLILP), Madrid, Spain, Springer LNCS, September 1994. Also available by anonymous ftp from ftp.ecrc.de, in pub\/ECRC_tech_reports\/reports, file ECRC-94-22.ps.Z."},{"key":"4_CR8","unstructured":"A. Galton (ed), Temporal Logics and Their Applications, Academic Press, 1987."},{"key":"4_CR9","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":"4_CR10","unstructured":"D. Gabbay and P. McBrien, Temporal Logic and Historical Databases, 17th Int. Conf. on Very Large Databases, pp 423\u2013430, Barcelona, September 1991."},{"key":"4_CR11","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19","author":"J. Jaffar","year":"1994","unstructured":"J. Jaffar and M. J. Maher, Constraint Logic Programming: A Survey, Journal of Logic Programming, 1994:19,20:503\u2013581.","journal-title":"Journal of Logic Programming"},{"key":"4_CR12","unstructured":"M. Kifer and V.S. Subrahmanian, On the Expressive Power of Annotated Logic Programs, North American Conf. on Logic Programming, E.L. Lusk and R. A. Overbeek (eds), MIT Press, 1989, pp 1069\u20131089."},{"key":"4_CR13","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":"4_CR14","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":"4_CR15","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":"4_CR16","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","Executable Modal and Temporal Logics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58976-7_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:21:54Z","timestamp":1619558514000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58976-7_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540589761","9783540491682"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-58976-7_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}