{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:20:12Z","timestamp":1725456012693},"publisher-location":"Berlin\/Heidelberg","reference-count":15,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354058241X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0013998","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T02:34:32Z","timestamp":1132713272000},"page":"349-364","source":"Crossref","is-referenced-by-count":2,"title":["Abduction in temporal reasoning"],"prefix":"10.1007","author":[{"given":"Cristina","family":"Ribeiro","sequence":"first","affiliation":[]},{"given":"Ant\u00f3nio","family":"Porto","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"11","key":"22_CR1","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"J. Allen","year":"1983","unstructured":"James Allen. Maintaining Knowledge About Temporal Intervals. Communications of the ACM, 26(11):832\u2013843, 1983.","journal-title":"Communications of the ACM"},{"key":"22_CR2","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/0004-3702(84)90008-0","volume":"23","author":"J. Allen","year":"1984","unstructured":"James Allen. Towards a General Theory of Action and Time. Artificial Intelligence, (23):123\u2013154, 1984.","journal-title":"Artificial Intelligence"},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"R. Dechter, I. Meiri, and J. Pearl. Temporal constraint networks. Artificial Intelligence, 49(1), 1991.","DOI":"10.1016\/0004-3702(91)90006-6"},{"key":"22_CR4","unstructured":"Steve Hanks and Drew McDermott. Default reasoning, nonmonotonic logics and the frame problem. In Proceedings of the 5th National Conference on Artificial Intelligence, pages 328\u2013333. AAAI, 1986."},{"issue":"6","key":"22_CR5","doi-asserted-by":"crossref","first-page":"719","DOI":"10.1093\/logcom\/2.6.719","volume":"2","author":"A. C. Kakas","year":"1992","unstructured":"A. C. Kakas, R. A. Kowalski, and F. Toni. Abductive logic programming. Journal of Logic and Computation, 2(6):719\u2013770, 1992.","journal-title":"Journal of Logic and Computation"},{"key":"22_CR6","unstructured":"H. Kautz and P. Ladkin. Integrating metric and qualitative temporal reasoning. In Proceedings of AAAI'91, 1991."},{"issue":"1","key":"22_CR7","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R. Kowalski","year":"1986","unstructured":"Robert Kowalski and Marek Sergot. A logic-based calculus of events. New Generation Computing, 4(1):67\u201395, 1986.","journal-title":"New Generation Computing"},{"key":"22_CR8","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/S0364-0213(82)90003-9","volume":"6","author":"D. McDermott","year":"1982","unstructured":"Drew McDermott. A Temporal Logic for Reasoning About Processes and Plans. Cognitive Science, (6):101\u2013155, 1982.","journal-title":"Cognitive Science"},{"key":"22_CR9","unstructured":"I. Meiri. Combining qualitative and quantitative constraints in temporal reasoning. In Proceedings of AAAI'91, 1991."},{"key":"22_CR10","unstructured":"Cristina Ribeiro. Representation and Inference of Temporal Knowledge. PhD thesis, FCT-UNL, 1993."},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"Cristina Ribeiro and Ant\u00f3nio Porto. Maximal intervals, an approach to temporal reasoning. In P. Barahona, L. Moniz Pereira, and A. Porto, editors, EPIA 91 \u2014 5th Portuguese Conference on Artificial Intelligence. Springer Verlag, Lecture Notes on Artificial Intelligence 541, 1991.","DOI":"10.1007\/3-540-54535-2_33"},{"key":"22_CR12","unstructured":"Yoav Shoham. Reasonig about Change. The MIT Press, 1987."},{"key":"22_CR13","unstructured":"Peter van Beek. Approximation algorithms for temporal reasoning. In Proceedings of the 11th International Joint Conference on Artificial Intelligence, pages 1291\u20131296, 1989."},{"key":"22_CR14","unstructured":"Peter van Beek. Reasoning about qualitative temporal information. In Proceedings of the 8th National Conference on Artificial Intelligence, pages 728\u2013734, 1990."},{"key":"22_CR15","unstructured":"Marc Vilain and Henry Kautz. Constraint propagation algorithms for temporal reasoning. In Proceedings of the 5th National Conference on Artificial Intelligence, pages 377\u2013382, 1986."}],"container-title":["Lecture Notes in Computer Science","Temporal Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0013998.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,7]],"date-time":"2020-12-07T10:08:22Z","timestamp":1607335702000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013998"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354058241X"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0013998","relation":{},"subject":[]}}