{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:08:16Z","timestamp":1725484096631},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540439295"},{"type":"electronic","value":"9783540456162"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45616-3_18","type":"book-chapter","created":{"date-parts":[[2007,5,17]],"date-time":"2007-05-17T00:26:55Z","timestamp":1179361615000},"page":"251-265","source":"Crossref","is-referenced-by-count":1,"title":["Question Answering: From Partitions to Prolog"],"prefix":"10.1007","author":[{"given":"Balder","family":"ten Cate","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chung-chieh","family":"Shan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,7,9]]},"reference":[{"key":"18_CR1","series-title":"Tech. Rep.","first-page":"29","volume-title":"Proceedings of the 3rd workshop on theorem proving with analytic tableaux and related methods","author":"Bernhard. Beckert","year":"1994","unstructured":"Beckert, Bernhard. 1994. Adding equality to semantic tableaux. In Proceedings of the 3rd workshop on theorem proving with analytic tableaux and related methods, ed. Krysia Broda, Marcello D\u2019Agostino, Rajeev Gor\u00e9, Rob Johnson, and Steve Reeves, 29\u201341. Tech. Rep. TR-94\/5, Department of Computing, Imperial College, London."},{"issue":"3","key":"18_CR2","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/BF00881804","volume":"15","author":"B. Beckert","year":"1995","unstructured":"Beckert, Bernhard, and Joachim Posegga. 1995. leanTAP: Lean, tableau-based deduction. Journal of Automated Reasoning 15(3):339\u2013358.","journal-title":"Journal of Automated Reasoning"},{"key":"18_CR3","unstructured":"Bos, Johan, and Malte Gabsdil. 2000. First-order inference and the interpretation of questions and answers. In Proceedings of G\u00f6talog 2000, ed. Massimo Poesio and David Traum, 43\u201350. Gothenburg Papers in Computational Linguistics 00-5."},{"key":"18_CR4","unstructured":"Chadha, Ritu. 1991. Applications of unskolemization. Ph.D. thesis, Department of Computer Science, University of North Carolina."},{"key":"18_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-2360-3","volume-title":"First order logic and automated theorem proving","author":"M. C. Fitting","year":"1996","unstructured":"Fitting, Melvin C. 1996. First order logic and automated theorem proving. 2nd ed. Berlin: Springer-Verlag.","edition":"2nd ed."},{"key":"18_CR6","unstructured":"Green, Claude Cordell. 1969. The application of theorem proving to question-answering systems. Ph.D. thesis, Department of Electrical Engineering, Stanford University. Reprinted by New York: Garland, 1980."},{"key":"18_CR7","first-page":"109","volume-title":"SALT IX: Semantics and linguistic theory","author":"Jeroen. Groenendijk","year":"1999","unstructured":"Groenendijk, Jeroen. 1999. The logic of interrogation: Classical version. In SALT IX: Semantics and linguistic theory, ed. Tanya Matthews and Devon Strolovitch, 109\u2013126. Ithaca: Cornell University Press."},{"key":"18_CR8","unstructured":"Groenendijk, Jeroen, and Martin Stokhof. 1984. Studies on the semantics of questions and the pragmatics of answers. Ph.D. thesis, Universiteit van Amsterdam."},{"key":"18_CR9","first-page":"1055","volume-title":"Handbook of logic and language","author":"J. Groenendijk","year":"1996","unstructured":"-. 1996. Questions. In Handbook of logic and language, ed. Johan van Benthem and Alice ter Meulen, 1055\u20131124. Amsterdam: Elsevier Science."},{"key":"18_CR10","first-page":"100","volume-title":"The handbook of automated reasoning","author":"Reiner. H\u00e4hnle","year":"2001","unstructured":"H\u00e4hnle, Reiner. 2001. Tableaux and related methods. In The handbook of automated reasoning, ed. Alan Robinson and Andrei Voronkov, vol. 1, chap. 3, 100\u2013178. Amsterdam: Elsevier Science."},{"key":"18_CR11","unstructured":"Kager, Wouter. 2001. Questions and answers in query logic. Master\u2019s thesis, Universiteit van Amsterdam."},{"key":"18_CR12","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0004-3702(71)90003-8","volume":"2","author":"D. Luckham","year":"1971","unstructured":"Luckham, David, and Nils J. Nilsson. 1971. Extracting information from resolution proof trees. Artificial Intelligence 2:27\u201354.","journal-title":"Artificial Intelligence"},{"key":"18_CR13","unstructured":"Nelken, Rani, and Nissim Francez. 2000. A calculus of interrogatives based on their algebraic semantics. In Proceedings of TWLT16\/AMILP2000, ed. Dirk Heylen, Anton Nijholt, and Giuseppe Scollo, 143\u2013160."},{"key":"18_CR14","unstructured":"Shan, Chung-chieh, and Balder ten Cate. 2002. The partition semantics of questions, syntactically. In Proceedings of the ESSLLI-2002 student session, ed. Malvina Nissim."}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning with Analytic Tableaux and Related Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45616-3_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T14:30:23Z","timestamp":1550327423000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45616-3_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540439295","9783540456162"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-45616-3_18","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}