{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,11]],"date-time":"2025-07-11T10:47:03Z","timestamp":1752230823510},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540530824"},{"type":"electronic","value":"9783540466536"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-53082-7_26","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T21:56:47Z","timestamp":1330207007000},"page":"233-252","source":"Crossref","is-referenced-by-count":11,"title":["Rationale and methods for abductive reasoning in natural-language interpretation"],"prefix":"10.1007","author":[{"given":"Mark E.","family":"Stickel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"issue":"2","key":"13_CR1","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1145\/322248.322249","volume":"28","author":"P.B. Andres","year":"1981","unstructured":"Andres, P.B. Theorem proving via general matings. Journal of the ACM 28, 2 (April 1981), 193\u2013214.","journal-title":"Journal of the ACM"},{"key":"13_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-322-90100-2","volume-title":"Automated Theorem Proving","author":"W. Bibel","year":"1982","unstructured":"Bibel, W. Automated Theorem Proving. Friedr. Vieweg & Sohn, Braunschweig, West Germany, 1982."},{"issue":"3","key":"13_CR3","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1016\/0004-3702(88)90063-X","volume":"34","author":"E. Charniak","year":"1988","unstructured":"Charniak, E. Motivation analysis, abductive unification, and nonmonotonic equality. Artificial Intelligence 34, 3 (April 1988), 275\u2013295.","journal-title":"Artificial Intelligence"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Cox, P.T. and T. Pietrzykowski. Causes for events: their computation and applications. Proceedings of the 8th Conference on Automated Deduction, Oxford, England, July 1986, 608\u2013621.","DOI":"10.1007\/3-540-16780-3_125"},{"key":"13_CR5","unstructured":"Cox, P.T. and T. Pietrzykowski. General diagnosis by abductive inference. Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, August 1987, 183\u2013189."},{"key":"13_CR6","volume-title":"Exploiting Constraints in Design Synthesis","author":"J.J. Finger","year":"1987","unstructured":"Finger, J.J. Exploiting Constraints in Design Synthesis. Ph.D. dissertation, Department of Computer Science, Stanford University, Stanford, California, February 1987."},{"key":"13_CR7","unstructured":"Hobbs, J.R. and P. Martin. Local pragmatics. Proceedings of the Tenth International Conference on Artificial Intelligence, Milan, Italy, August 1987, 520\u2013523."},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Hobbs, J.R., M. Stickel, P. Martin, and D. Edwards. Interpretation as abduction. Proceedings of the 26th Annual Meeting of the Association for Computational Linguistics, Buffalo, New York, June 1988, 95\u2013103.","DOI":"10.3115\/982023.982035"},{"issue":"3","key":"13_CR9","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1145\/321526.321527","volume":"16","author":"D.W. Loveland","year":"1969","unstructured":"Loveland, D.W. A simplified format for the model elimination procedure. Journal of the ACM 16, 3 (July 1969), 349\u2013363.","journal-title":"Journal of the ACM"},{"key":"13_CR10","volume-title":"Automated Theorem Proving: A Logical Basis","author":"D.W. Loveland","year":"1978","unstructured":"Loveland, D.W. Automated Theorem Proving: A Logical Basis. North-Holland, Amsterdam, the Netherlands, 1978."},{"key":"13_CR11","volume-title":"Computing with Logic","author":"D. Maier","year":"1988","unstructured":"Maier, D. and D.S. Warren. Computing with Logic. Benjamin\/Cummings, Menlo Park, California, 1988."},{"key":"13_CR12","unstructured":"Norvig, P. Inference in text understanding. Proceedings of the AAAI-87 Sixth National Conference on Artificial Intelligence, Seattle, Washington, July 1987, 561\u2013565."},{"key":"13_CR13","unstructured":"Pople, H.E.,Jr. On the mechanization of abductive logic. Proceedings of the Third International Joint Conference on Artificial Intelligence, Stanford, California, August 1973, 147\u2013152."},{"key":"13_CR14","volume-title":"Default reasoning through integer linear programming","author":"S.D. Post","year":"1988","unstructured":"Post, S.D. Default reasoning through integer linear programming. Planning Research Corporation, McLean, Virginia, 1988."},{"issue":"1","key":"13_CR15","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/0004-3702(76)90021-7","volume":"7","author":"R.E. Shostak","year":"1976","unstructured":"Shostak, R.E. Refutation graphs. Artificial Intelligence 7, 1 (Springer 1976), 51\u201364.","journal-title":"Artificial Intelligence"},{"key":"13_CR16","unstructured":"Shostak, R.E. On the complexity of resolution derivations. Unpublished, 1976(?)."},{"issue":"4","key":"13_CR17","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/BF00297245","volume":"4","author":"M.E. Stickel","year":"1988","unstructured":"Stickel, M.E. A Prolog technology theorem prover: implementation by an extended Prolog compiler. Journal of Automated Reasoning 4, 4 (December 1988), 353\u2013380.","journal-title":"Journal of Automated Reasoning"},{"key":"13_CR18","unstructured":"Stickel, M.E. A Prolog-like inference system for computing minimum-cost abductive explanations in natural-language interpretation. Proceedings of the International Computer Science Conference '88, Hong Kong, December 1988, 343\u2013350."},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Stickel, M.E. A Prolog technology theorem prover: a new exposition and implementation in Prolog. Technical Note 464, Artificial Intelligence Center, SRI International, Menlo Park, California, June 1989.","DOI":"10.1007\/3-540-52531-9_135"},{"key":"13_CR20","unstructured":"Stickel, M.E. and W.M. Tyson. An analysis of consecutively bounded depth-first search with applications in automated deduction. Proceedings of the Ninth International Joint Conference on Artificial Intelligence, Los Angeles, California, August 1985, 1073\u20131075."}],"container-title":["Lecture Notes in Computer Science","Natural Language and Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-53082-7_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:26:26Z","timestamp":1605648386000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-53082-7_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540530824","9783540466536"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-53082-7_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}