{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:04:23Z","timestamp":1747544663231},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540582410"},{"type":"electronic","value":"9783540485858"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/bfb0013995","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T07:34:32Z","timestamp":1132731272000},"page":"301-316","source":"Crossref","is-referenced-by-count":3,"title":["The Abductive Event Calculus as a general framework for temporal databases"],"prefix":"10.1007","author":[{"given":"Kristof","family":"Van Belleghem","sequence":"first","affiliation":[]},{"given":"Marc","family":"Denecker","sequence":"additional","affiliation":[]},{"given":"Danny","family":"De Schreye","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"issue":"11","key":"19_CR1","doi-asserted-by":"crossref","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. CACM, 26(11):832\u2013843, 1983.","journal-title":"CACM"},{"issue":"11","key":"19_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. Artifical Intelligence, 23(11):123, 1984.","journal-title":"Artifical Intelligence"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"K. Clark. Negation as failure. In H. Gallaire and J. Minker, editors, Logic and databases, pages 293\u2013322. Plenum Press, 1978.","DOI":"10.1007\/978-1-4684-3384-5_11"},{"issue":"5","key":"19_CR4","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 Dupre, and P. Torasso. On the relationship between abduction and deduction. Journal of Logic and Computation, 1(5):661\u2013690, 1991.","journal-title":"Journal of Logic and Computation"},{"key":"19_CR5","unstructured":"M. Denecker. Knowledge Representation and Reasoning in Incomplete Logic Programming. PhD thesis, Department of Computer Science, K.U.Leuven, 1993."},{"key":"19_CR6","unstructured":"M. Denecker and D. De Schreye. SLDNFA; an abductive procedure for normal abductive programs. In K. Apt, editor, Proceedings of the International Joint Conference and Symposium on Logic Programming, Washington, 1992."},{"key":"19_CR7","unstructured":"M. Denecker, L. Missiaen, and M. Bruynooghe. Temporal reasoning with abductive event calculus. In Proceedings of ECAI 92, Vienna, 1992."},{"key":"19_CR8","unstructured":"K. Eshghi. Abductive planning with event calculus. In R. Kowalski and K. Bowen, editors, Proceedings of the 5th ICLP, 1988."},{"key":"19_CR9","unstructured":"C. Evans. The Macro-Event Calculus: Representing Temporal Granularity. In Proceedings of PRICAI, Tokyo, 1990."},{"key":"19_CR10","unstructured":"M. Gelfond and V. Lifschitz. Describing Action and Change by Logic Programs. In Proc. of the 9th Int. Joint Conf. and Symp. on Logic Programming, 1992."},{"key":"19_CR11","unstructured":"A. Kakas and P. Mancarella. Constructive abduction in logic programming. Technical report, Dipartimento di Informatica, University of Pisa, 1993."},{"key":"19_CR12","unstructured":"R. A. Kowalski. Logic for problem solving. Elsevier Science Publisher, 1976."},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"R. A. Kowalski. Database updates in the event calculus. Journal of Logic Programming, 1992, 1992.","DOI":"10.1016\/0743-1066(92)90041-Z"},{"issue":"4","key":"19_CR14","first-page":"319","volume":"4","author":"R. A. Kowalski","year":"1986","unstructured":"R. A. Kowalski and M. Sergot. A logic-based calculus of events. New Generation Computing, 4(4):319\u2013340, 1986.","journal-title":"New Generation Computing"},{"key":"19_CR15","doi-asserted-by":"crossref","unstructured":"J. Lloyd. Foundations of Logic Programming. Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"issue":"3","key":"19_CR16","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/0743-1066(84)90011-6","volume":"1","author":"J. Lloyd","year":"1984","unstructured":"J. Lloyd and R. Topor. Making prolog more expressive. Journal of logic programming, 1(3):225\u2013240, 1984.","journal-title":"Journal of logic programming"},{"key":"19_CR17","unstructured":"L. Missiaen. Localized abductive planning with the event calculus. PhD thesis, Department of Computer Science, K.U.Leuven, 1991."},{"key":"19_CR18","unstructured":"A. Porto and C. Ribeiro. Temporal inference with a point-based interval algebra. In Proceedings of ECAI 92, Vienna, pages 374\u2013378, 1992."},{"key":"19_CR19","unstructured":"M. Shanahan. Prediction is deduction but explanation is abduction. In Proceedings of IJCAI 89, page 1055, 1989."},{"key":"19_CR20","unstructured":"M. Shanahan. Representing continuous change in the event calculus. In Proceedings of the 9th ECAI, page 598, 1990."},{"key":"19_CR21","unstructured":"S. Sripada. A metalogical programming approach to reasoning about time in knowledge bases. In Proceedings of IJCAI 93, 1993."},{"key":"19_CR22","unstructured":"A. Weigel and R. Bleisinger. Support for resolving Contradictions in Time Interval Networks. In Proceedings of ECAI 92, Vienna, pages 379\u2013383, 1992."}],"container-title":["Lecture Notes in Computer Science","Temporal Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0013995","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:35:27Z","timestamp":1586579727000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013995"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540582410","9783540485858"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/bfb0013995","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}