{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:55Z","timestamp":1761611215231},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540441908"},{"type":"electronic","value":"9783540457572"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45757-7_21","type":"book-chapter","created":{"date-parts":[[2007,10,20]],"date-time":"2007-10-20T17:50:39Z","timestamp":1192902639000},"page":"245-258","source":"Crossref","is-referenced-by-count":13,"title":["Minimal Answer Computation and SOL"],"prefix":"10.1007","author":[{"given":"Koji","family":"Iwanuma","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Katsumi","family":"Inoue","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,20]]},"reference":[{"key":"21_CR1","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/S0004-3702(96)00042-2","volume":"90","author":"P. Baumgartner","year":"1997","unstructured":"P. Baumgartner, U. Furbach and F. Stolzenburg: Computing answers with model elimination, Artificial Intelligence 90 (1997) 135\u2013176.","journal-title":"Artificial Intelligence"},{"key":"21_CR2","unstructured":"D. T. Burhans and S. C. Shapiro: Abduction and question answering, Proc. of IJCAI-01 Workshop on Abductive Reasoning (2001)."},{"key":"21_CR3","unstructured":"A. del Val: A new method for consequence finding and compilation in restricted languages, Proc. of AAAI-99 (1999) 259\u2013264."},{"key":"21_CR4","unstructured":"R. Demolombe: A strategy for the computation of conditional answers, Proc. of ECAI 92, LNAI, 810 (1992) 134\u2013138."},{"key":"21_CR5","unstructured":"R. Demolombe and L. F. D. Cerro: An inference rule for hypothesis generation, Proc. of IJCAI-91 (1991) 152\u2013157."},{"key":"21_CR6","unstructured":"C. Green: Theorem proving by resolution as a basis for question-answering systems, in: B. Meltzer and D. Michie (eds), Machine Intelligence 4 (1969) 183\u2013205."},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"C. Green: Application of theorem proving to problem solving. Proc. of IJCAI-69, (1969) 219\u2013239.","DOI":"10.21236\/ADA459656"},{"key":"21_CR8","unstructured":"N. Helft, K. Inoue and D. Poole: Query answering in circumscription, Proc. of IJCAI-91 (1991) 426\u2013431."},{"key":"21_CR9","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/0743-1066(87)90003-3","volume":"4","author":"T. Imielinski","year":"1987","unstructured":"T. Imielinski: Intelligent query answering in rule based systems, J. Logic Programming 4 (1987) 229\u2013257.","journal-title":"J. Logic Programming"},{"key":"21_CR10","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/0004-3702(92)90030-2","volume":"56","author":"K. Inoue","year":"1992","unstructured":"K. Inoue: Linear resolution for consequence finding, Artificial Intelligence 56 (1992) 301\u2013353.","journal-title":"Artificial Intelligence"},{"key":"21_CR11","doi-asserted-by":"crossref","unstructured":"K. Inoue: Induction, abduction, and consequence-finding, Inductive Logic Programming: Proc. of the 11th ILP, LNAI 2157 (2001) 65\u201379.","DOI":"10.1007\/3-540-44797-0_6"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"K. Iwanuma: Lemma matching for a PTTP-based top-down theorem prover, Proc. of CADE-14, LNAI 1249 (1997) 146\u2013160.","DOI":"10.1007\/3-540-63104-6_16"},{"key":"21_CR13","unstructured":"K. Iwanuma, K. Inoue and K. Satoh: Completeness of pruning methods for consequence finding procedure SOL, Proc. of FTP 2000 (2000) 89\u2013100."},{"key":"21_CR14","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/BF00247669","volume":"17","author":"K. Kunen","year":"1996","unstructured":"K. Kunen: The semantics of Answer Literals, J. Automated Reasoning 17 (1996) 83\u201395.","journal-title":"J. Automated Reasoning"},{"key":"21_CR15","unstructured":"R. Letz: Clausal tableaux, in: W. Bibel, P. H. Schmitt, eds., Automated Deduction. A basis for applications, Vol. 1, (Kluwer, 1998) 39\u201368."},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"J. Lobo, J. Minker and A. Rajasekar: Foundations of Disjunctive Logic Programming (MIT Press, 1992).","DOI":"10.1016\/B978-0-12-450010-5.50022-0"},{"key":"21_CR17","unstructured":"D. W. Loveland: Automated Theorem Proving: A Logical Basis (North-Holland, Amsterdam, 1978)."},{"key":"21_CR18","unstructured":"P. Marquis: Extending abduction from propositional to first-order logic, Proc. of Inter. WS. on Fundamentals of Artificial Intelligent Research, LNAI 535 (1991) 141\u2013155."},{"key":"21_CR19","doi-asserted-by":"crossref","unstructured":"S-H. Nienhuys-Cheng and R. de Wolf: Foundations of Inductive Logic Programming, LNAI 1228 (1997).","DOI":"10.1007\/3-540-62927-0"},{"key":"21_CR20","unstructured":"P. Siegel: Repr\u00e9sentation et utilization de la connaissance en calcul propositionnel, Th\u00e8se d\u2019\u00c9tat, Universit\u00e9 d\u2019Aix-Marseille II, Luminy, France, 1987 (in French)."},{"key":"21_CR21","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/0004-3702(76)90021-7","volume":"7","author":"R. E. Shostak","year":"1976","unstructured":"R. E. Shostak: Refutation graphs, Artificial Intelligence 7 (1976) 51\u201364.","journal-title":"Artificial Intelligence"},{"key":"21_CR22","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/BF00297245","volume":"4","author":"M. E. Stickel","year":"1988","unstructured":"M. E. Stickel: A prolog technology theorem prover: Implementation by an extended prolog compiler, J. Automated Reasoning 4 (1988) 353\u2013380.","journal-title":"J. Automated Reasoning"},{"key":"21_CR23","unstructured":"H. Tamaki and T. Sato: OLD Resolution with tabulation, Proc. the 4th ICLP, (1986) 74\u2013103."}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45757-7_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,27]],"date-time":"2020-04-27T08:44:06Z","timestamp":1587977046000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45757-7_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441908","9783540457572"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-45757-7_21","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}