{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:09:56Z","timestamp":1725664196826},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540580256"},{"type":"electronic","value":"9783540484172"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58025-5_64","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:07:17Z","timestamp":1330268837000},"page":"322-332","source":"Crossref","is-referenced-by-count":0,"title":["Representation and inference with consistent temporal propositions"],"prefix":"10.1007","author":[{"given":"Cristina","family":"Ribeiro","sequence":"first","affiliation":[]},{"given":"Ant\u00f3nio","family":"Porto","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"issue":"11","key":"20_CR1","doi-asserted-by":"crossref","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":"20_CR2","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":"20_CR3","unstructured":"K. Eshghi and R. A. Kowalski. Abduction compared with negation by failure. In Proceedings of the 6th International Conference on Logic Programming, 1989."},{"key":"20_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":"20_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":"20_CR6","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1207\/s15516709cog0602_1","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":"20_CR7","unstructured":"Cristina Ribeiro. Representation and Inference of Temporal Knowledge. PhD thesis, FCT-UNL, 1993."},{"key":"20_CR8","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-5th Portuguese Conference on Artificial Intelligence. Springer Verlag, Lecture Notes on Artificial Intelligence 541, 1991.","DOI":"10.1007\/3-540-54535-2_33"},{"key":"20_CR9","unstructured":"Cristina Ribeiro and Ant\u00f3nio Porto. Internal and external languages in a temporal representation scheme. Compulog-Net Workshop on Knowledge-Based Systems, Athens, 1993."},{"key":"20_CR10","unstructured":"Yoav Shoham. Reasonig about Change. The MIT Press, 1987."}],"container-title":["Lecture Notes in Computer Science","Extensions of Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58025-5_64.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:16:20Z","timestamp":1605647780000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58025-5_64"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540580256","9783540484172"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-58025-5_64","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}