{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:43:44Z","timestamp":1742913824665,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662543313"},{"type":"electronic","value":"9783662543320"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-662-54332-0_4","type":"book-chapter","created":{"date-parts":[[2017,2,21]],"date-time":"2017-02-21T13:05:58Z","timestamp":1487682358000},"page":"54-65","source":"Crossref","is-referenced-by-count":0,"title":["First-Order Abduction as Enumeration of Stable Models"],"prefix":"10.1007","author":[{"given":"Petr","family":"Homola","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,2,22]]},"reference":[{"issue":"1\u20132","key":"4_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01101857","volume":"2","author":"DE Appelt","year":"1992","unstructured":"Appelt, D.E., Pollack, M.E.: Weighted abduction for plan ascription. User Model. User-Adap. Interact. 2(1\u20132), 1\u201325 (1992)","journal-title":"User Model. User-Adap. Interact."},{"key":"4_CR2","unstructured":"Blythe, J., Hobbs, J.R., Domingos, P., Kate, R.J., Mooney, R.J.: Implementing weighted abduction in markov logic. In: Proceedings of Ninth International Conference on Computational Semantics, pp. 55\u201364 (2011)"},{"key":"4_CR3","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1016\/j.artint.2012.04.001","volume":"187\u2013188","author":"M Gebser","year":"2012","unstructured":"Gebser, M., Kaufmann, B., Schaub, T.: Conflict-driven answer set solving: from theory to practice. Artif. Intell. 187\u2013188, 52\u201389 (2012)","journal-title":"Artif. Intell."},{"key":"4_CR4","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programs. In: Kowalski, R., Bowen, K. (eds.) Proceedings of the 5th International Symposium on Logic Programming, pp. 1070\u20131080 (1988)"},{"key":"4_CR5","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139342124","volume-title":"Knowledge Representation, Reasoning, and the Design of Intelligent Agents. The Answer-Set Programming Approach","author":"M Gelfond","year":"2014","unstructured":"Gelfond, M., Kahl, Y.: Knowledge Representation, Reasoning, and the Design of Intelligent Agents. The Answer-Set Programming Approach. Cambridge University Press, New York (2014)"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Hobbs, J.R.: Ontological promiscuity. In: Proceedings of the 23rd Annual Meeting of the Association for Computational Linguistics, pp. 61\u201369 (1985)","DOI":"10.3115\/981210.981218"},{"key":"4_CR7","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1017\/CBO9780511896316.018","volume-title":"The Language of Word Meaning","author":"JR Hobbs","year":"2001","unstructured":"Hobbs, J.R.: Syntax and metonymy. In: Bouillon, P., Busa, F. (eds.) The Language of Word Meaning, pp. 290\u2013311. Cambridge University Press, New York (2001)"},{"key":"4_CR8","unstructured":"Hobbs, J.R.: Discourse and Inference, ms, Information Sciences Institute. University of Southern California, Marina del Rey (2003)"},{"key":"4_CR9","unstructured":"Hobbs, J.R.: Encoding Commonsense Knowledge, ms, Information Sciences Institute. University of Southern California, Marina del Rey (2005)"},{"key":"4_CR10","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/0004-3702(93)90015-4","volume":"63","author":"JR Hobbs","year":"1993","unstructured":"Hobbs, J.R., Stickel, M., Appelt, D., Martin, P.: Interpretation as abduction. Artif. Intell. 63, 69\u2013142 (1993)","journal-title":"Artif. Intell."},{"key":"4_CR11","unstructured":"Homola, P.: Abduction as satisfiability. In: Proceedings of the Workshop on Defeasible and Ampliative Reasoning (DARe 14) (2014)"},{"key":"4_CR12","unstructured":"Inoue, N., Ovchinnikova, E., Inui, K., Hobbs, J.: Coreference resolution with ILP-based weighted abduction. In: Proceedings of COLING 2012, pp. 1291\u20131308 (2012)"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Ovchinnikova, E., Israel, R., Wertheim, S., Zaytsev, V., Montazeri, N., Hobbs, J.: Abductive inference for interpretation of metaphors. In: Proceedings of the Second Workshop on Metaphor in NLP, pp. 33\u201341 (2014)","DOI":"10.3115\/v1\/W14-2305"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Sch\u00fcller, P.: Modeling variations of first-order horn abduction in answer set programming. Computer Engineering Department, Faculty of Engineering, Marmara University, Turkey, Technical report (2016)","DOI":"10.3233\/FI-2016-1446"}],"container-title":["Lecture Notes in Computer Science","Logic, Language, and Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-54332-0_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,24]],"date-time":"2022-07-24T14:00:39Z","timestamp":1658671239000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-54332-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783662543313","9783662543320"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-54332-0_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}