{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,5,18]],"date-time":"2023-05-18T07:35:57Z","timestamp":1684395357348},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2010,2,5]],"date-time":"2010-02-05T00:00:00Z","timestamp":1265328000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["K\u00fcnstl Intell"],"published-print":{"date-parts":[[2010,4]]},"DOI":"10.1007\/s13218-010-0010-x","type":"journal-article","created":{"date-parts":[[2010,2,4]],"date-time":"2010-02-04T12:14:48Z","timestamp":1265285688000},"page":"51-55","source":"Crossref","is-referenced-by-count":10,"title":["Logic-Based Question Answering"],"prefix":"10.1007","volume":"24","author":[{"given":"Ulrich","family":"Furbach","sequence":"first","affiliation":[]},{"given":"Ingo","family":"Gl\u00f6ckner","sequence":"additional","affiliation":[]},{"given":"Hermann","family":"Helbig","sequence":"additional","affiliation":[]},{"given":"Bj\u00f6rn","family":"Pelzer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,2,5]]},"reference":[{"key":"10_CR1","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1007\/978-3-540-71070-7_11","volume-title":"Automated reasoning (IJCAR 2008)","author":"U Furbach","year":"2008","unstructured":"Furbach U, Gl\u00f6ckner I, Helbig H, Pelzer B (2008) LogAnswer\u2014a\u00a0deduction-based question answering system. In: Automated reasoning (IJCAR 2008). Lecture notes in computer science. Springer, Berlin, pp 139\u2013146"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Furbach U, Gl\u00f6ckner I, Pelzer B (2009) An application of automated reasoning in natural language question answering. AI communications, Special issue on practical aspects of automated reasoning (to appear)","DOI":"10.3233\/AIC-2010-0461"},{"key":"10_CR3","unstructured":"Bos J (2001) DORIS 2001: Underspecification, resolution and inference for discourse representation structures. In: ICoS-3\u2014inference in computational semantics, workshop proceedings"},{"key":"10_CR4","unstructured":"Harabagiu A, Moldovan D, Mihalcea R, Surdeanu M, Rus V (2000) FALCON: boosting knowledge for answer engines. In: Proc of the 9th text retrival conference (TREC-9), pp\u00a0479\u2013488"},{"key":"10_CR5","isbn-type":"print","volume-title":"WordNet: an electronic lexical database","year":"1998","unstructured":"Fellbaum C (ed) (1998) WordNet: an electronic lexical database, 1st edn. MIT Press, Cambridge (ISBN: 0-262-06197-X)","ISBN":"http:\/\/id.crossref.org\/isbn\/026206197X","edition":"1"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Moldovan D, Clark C, Harabagiu S, Maiorano S (2003) COGEX: a\u00a0logic prover for question answering. In: Proc. of NAACL-HLT, Morristown, NJ, vol\u00a01, pp\u00a087\u201393","DOI":"10.3115\/1073445.1073467"},{"key":"10_CR7","unstructured":"Bos J, Markert K (2006) When logical inference helps determining textual entailment (and when it doesn\u2019t). In: Proc. of 2nd PASCAL RTE challenge workshop"},{"key":"10_CR8","unstructured":"Bobrow D, Condoravdi C, Crouch R, de Paiva V, Kaplan R, Karttunen L, King T, Zaenen A (2005) A\u00a0basic logic for textual inference. In: Proceedings of the AAAI workshop on inference for textual question answering, Pittsburgh, PA"},{"key":"10_CR9","volume-title":"Knowledge representation and the semantics of natural language","author":"H Helbig","year":"2006","unstructured":"Helbig H (2006) Knowledge representation and the semantics of natural language. Springer, Berlin"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Pelzer B, Wernhard C (2007) System description: E-KRHyper. In: Automated deduction\u2014CADE-21, proceedings, pp 508\u2013513","DOI":"10.1007\/978-3-540-73595-3_37"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Baumgartner P, Furbach U, Niemel\u00e4 I (1996) Hyper tableaux. In: JELIA\u201996, proceedings, pp 1\u201317","DOI":"10.1007\/3-540-61630-6_1"},{"key":"10_CR12","series-title":"LNAI","doi-asserted-by":"crossref","first-page":"606","DOI":"10.1007\/978-3-540-85563-7_77","volume-title":"Knowledge based intelligent information and engineering systems (proc of KES2008, part\u00a0I)","author":"I Gl\u00f6ckner","year":"2008","unstructured":"Gl\u00f6ckner I Pelzer B (2008) Exploring robustness enhancements for logic-based passage filtering. In: Knowledge based intelligent information and engineering systems (proc of KES2008, part\u00a0I). LNAI, vol\u00a05117. Springer, Berlin, pp 606\u2013614"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Peters C, Deselaers T, Ferro N, Gonzalo J, Jones GJF, Kurimo\u00a0M, Mandl T, Pe\u00f1as A, Petras V (eds) (2009) Evaluating systems for multilingual and multimodal information access: 9th workshop of the cross-language evaluation forum, CLEF 2008, Aarhus, Denmark, September 17\u201319. Revised selected papers. LNCS, vol\u00a05706. Springer, Berlin\/Heidelberg","DOI":"10.1007\/978-3-642-04447-2"},{"key":"10_CR14","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1007\/978-3-642-04447-2_47","volume-title":"Evaluating systems for multilingual and multimodal information access: 9th workshop of the cross-language evaluation forum, CLEF 2008","author":"I Gl\u00f6ckner","year":"2009","unstructured":"Gl\u00f6ckner I, Pelzer B (2009) Combining logic and machine learning for answering questions. In: Evaluating systems for multilingual and multimodal information access: 9th workshop of the cross-language evaluation forum, CLEF 2008, Aarhus, Denmark, September 17\u201319. Revised selected papers. LNCS, vol\u00a05706. Springer, Berlin\/Heidelberg, pp\u00a0401\u2013408"},{"issue":"11","key":"10_CR15","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1145\/219717.219745","volume":"38","author":"DB Lenat","year":"1995","unstructured":"Lenat DB (1995) CYC: a\u00a0large-scale investment in knowledge infrastructure. Commun ACM 38(11):33\u201338","journal-title":"Commun ACM"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Niles I, Pease A (2001) Towards a standard upper ontology. In: Proceedings of the 2nd international conference on formal ontology in information systems (FOIS-2001)","DOI":"10.1145\/505168.505170"}],"container-title":["KI - K\u00fcnstliche Intelligenz"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-010-0010-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s13218-010-0010-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-010-0010-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,27]],"date-time":"2020-05-27T09:49:47Z","timestamp":1590572987000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s13218-010-0010-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,2,5]]},"references-count":16,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2010,4]]}},"alternative-id":["10"],"URL":"https:\/\/doi.org\/10.1007\/s13218-010-0010-x","relation":{},"ISSN":["0933-1875","1610-1987"],"issn-type":[{"value":"0933-1875","type":"print"},{"value":"1610-1987","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,2,5]]}}}