{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,23]],"date-time":"2026-07-23T01:28:45Z","timestamp":1784770125900,"version":"3.55.0"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2015,6,5]],"date-time":"2015-06-05T00:00:00Z","timestamp":1433462400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["K\u00fcnstl Intell"],"published-print":{"date-parts":[[2015,8]]},"DOI":"10.1007\/s13218-015-0377-9","type":"journal-article","created":{"date-parts":[[2015,6,4]],"date-time":"2015-06-04T13:08:28Z","timestamp":1433423308000},"page":"271-277","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["The RatioLog Project: Rational Extensions of Logical Reasoning"],"prefix":"10.1007","volume":"29","author":[{"given":"Ulrich","family":"Furbach","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Claudia","family":"Schon","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Frieder","family":"Stolzenburg","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Karl-Heinz","family":"Weis","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Claus-Peter","family":"Wirth","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2015,6,5]]},"reference":[{"key":"377_CR1","doi-asserted-by":"crossref","unstructured":"Baumgartner P, Furbach U, Niemel\u00e4 I (1996) Hyper tableaux. In: Alferes JJ, Pereira LM, Orlowska E (eds) Logics in Artificial Intelligence. Proceedings JELIA 96, Lecture Notes in Aritificial Intelligence. European Workshop on Logic in AI, 1126, Springer, New York, pp 1\u201317","DOI":"10.1007\/3-540-61630-6_1"},{"issue":"1","key":"377_CR2","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1109\/MIS.2014.3","volume":"29","author":"B Beckert","year":"2014","unstructured":"Beckert B, H\u00e4hnle R (2014) Reasoning and verification: state of the art and current trends. IEEE Intell Syst 29(1):20\u201329","journal-title":"IEEE Intell Syst"},{"key":"377_CR3","doi-asserted-by":"crossref","unstructured":"Bender M, Pelzer B, Schon C (2013) System description: E-KRHyper 1.4: extensions for unique names and description logic. In: Bonacina MP (ed) CADE-24, LNCS, vol 7898. Springer, New York, pp 126\u2013134","DOI":"10.1007\/978-3-642-38574-2_8"},{"key":"377_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45759-3","volume-title":"Experience management: foundations. Development methodology and internet-based applications","author":"R Bergmann","year":"2002","unstructured":"Bergmann R (2002) Experience management: foundations. Development methodology and internet-based applications. Springer, New York"},{"key":"377_CR5","unstructured":"Bos J (2005) Towards wide-coverage semantic interpretation. In: Proceedings of 6th international workshop on computational semantics IWCS-6, Tilburg, Netherlands, pp 42\u201353"},{"key":"377_CR6","unstructured":"Bunke H, Messmer BT (1993) Similarity measures for structured representations. In: Proceedings of topics in case-based reasoning: 1st European workshop EWCBR-93"},{"key":"377_CR7","doi-asserted-by":"crossref","unstructured":"Curran JR, Clark S, Bos J (2007) Linguistically motivated large-scale NLP with C&C and Boxer. In: Proceedings of the ACL 2007 demo and poster sessions, Prague, Czech Republic, pp 33\u201336","DOI":"10.3115\/1557769.1557781"},{"key":"377_CR8","doi-asserted-by":"crossref","unstructured":"Furbach U, Gl\u00f6ckner I, Helbig H, Pelzer B (2010) Logic-based question answering. KI-K\u00fcnstliche Intelligenz, vol 24, issue 1, special issue on automated deduction, pp 51\u201355","DOI":"10.1007\/s13218-010-0010-x"},{"issue":"2\u20133","key":"377_CR9","doi-asserted-by":"crossref","first-page":"241","DOI":"10.3233\/AIC-2010-0461","volume":"23","author":"U Furbach","year":"2010","unstructured":"Furbach U, Gl\u00f6ckner I, Pelzer B (2010) An application of automated reasoning in natural language question answering. AI Commun 23(2\u20133):241\u2013265","journal-title":"AI Commun"},{"key":"377_CR10","doi-asserted-by":"crossref","unstructured":"Furbach U, Schon C, Stolzenburg F (2014) Automated reasoning in deontic logic. In: Murty MN, He X, Chillarige RR, Weng P (eds) Proceedings of MIWAI 2014: multi-disciplinary international workshop on artificial intelligence, LNAI 8875, Springer, New York, pp 57\u201368","DOI":"10.1007\/978-3-319-13365-2_6"},{"key":"377_CR11","unstructured":"Gabbay D, Horty J, Parent X, van der Meyden R, van der Torre L (eds) (2013) Handbook of deontic logic and normative systems. College Publications"},{"key":"377_CR12","doi-asserted-by":"crossref","unstructured":"Giampiccolo D, Forner P, Herrera J, Pe\u00f1as A, Ayache C, Forascu C, Jijkoun V, Osenova P, Rocha P, Sacaleanu B, et al (2008) Overview of the CLEF 2007 multilingual question answering track. In: Proceedings of advances in multilingual and multimodal information retrieval, Springer, New York, pp 200\u2013236","DOI":"10.1007\/978-3-540-85760-0_27"},{"key":"377_CR13","unstructured":"Gl\u00f6ckner I, Hartrumpf S, Leveling J (2007) Logical validation, answer merging and witness selection: a study in multi-stream question answering. In: Proceedings of RIAO-07, Pittsburgh"},{"key":"377_CR14","doi-asserted-by":"crossref","unstructured":"Gl\u00f6ckner I, Weis KH (2012) An integrated machine learning and case-based reasoning approach to answer validation. In: Proceedings ICMLA 2012, Boca Raton (FL)","DOI":"10.1109\/ICMLA.2012.90"},{"key":"377_CR15","volume-title":"Wissensverarbeitung und die Semantik der nat\u00fcrlichen Sprache","author":"H Helbig","year":"2008","unstructured":"Helbig H (2008) Wissensverarbeitung und die Semantik der nat\u00fcrlichen Sprache, 2nd edn. Springer, New York","edition":"2"},{"key":"377_CR16","doi-asserted-by":"crossref","unstructured":"Kelly III JE, Hamm S (2013) Smart machines: IBM\u2019s Watson and the era of cognitive computing. Columbia Business School Publishing, Columbia","DOI":"10.7312\/kell16856"},{"key":"377_CR17","volume-title":"Commonsense reasoning","author":"ET Mueller","year":"2014","unstructured":"Mueller ET (2014) Commonsense reasoning, 2nd edn. Morgan Kaufmann, San Francisco","edition":"2"},{"key":"377_CR18","doi-asserted-by":"crossref","unstructured":"Peters C (2008) Cross-language evaluation forum-CLEF 2008. D-Lib magazine 14(11\/12). http:\/\/www.dlib.org\/dlib\/november08\/peters\/11peters.html","DOI":"10.1045\/november2008-peters"},{"key":"377_CR19","unstructured":"Poole DL (1985) On the comparison of theories: preferring the most specific explanation. In: Joshi A (ed) Proceedings of 9th international joint conference on artificial intelligence (IJCAI), 18\u201325 Aug 1985, Los Altos (CA), Morgan Kaufmann, New York, pp 144\u2013147"},{"key":"377_CR20","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/0004-3702(92)90069-A","volume":"53","author":"GR Simari","year":"1992","unstructured":"Simari GR, Loui RP (1992) A mathematical treatment of defeasible reasoning and its implementation. Artif Intell 53:125\u2013157","journal-title":"Artif Intell"},{"key":"377_CR21","doi-asserted-by":"crossref","first-page":"87","DOI":"10.3166\/jancl.13.87-113","volume":"13","author":"F Stolzenburg","year":"2003","unstructured":"Stolzenburg F, Garc\u00eda AJ, Ches\u00f1evar CI, Simari GR (2003) Computing generalized specificity. J Appl Non-Class Log 13:87\u2013113","journal-title":"J Appl Non-Class Log"},{"key":"377_CR22","unstructured":"Weis KH (2013) A case based reasoning approach for answer reranking in question answering. In: Horbach M (ed) Informatik 2013: proceedings, no 220 in GI-Edition, lecture notes in informatics, Koblenz, pp 93\u2013104. http:\/\/arxiv.org\/abs\/1503.02917"},{"key":"377_CR23","unstructured":"Wirth CP, Stolzenburg F (2014) David Poole\u2019s specificity revised. In: Baral C, Giacomo GD, Eiter T (eds) Knowledge representation and reasoning, AAAI Press, pp 168\u2013177, extended version available as SEKI-Report SR-2013-01. http:\/\/arxiv.org\/abs\/1308.4943"},{"key":"377_CR24","doi-asserted-by":"crossref","unstructured":"Wirth CP, Stolzenburg F (2015) A series of revisions of David Poole\u2019s specificity. Ann Math Artif Intell (accepted)","DOI":"10.1007\/s10472-015-9471-9"}],"container-title":["KI - K\u00fcnstliche Intelligenz"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-015-0377-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s13218-015-0377-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-015-0377-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,3]],"date-time":"2020-09-03T01:19:50Z","timestamp":1599095990000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s13218-015-0377-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6,5]]},"references-count":24,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2015,8]]}},"alternative-id":["377"],"URL":"https:\/\/doi.org\/10.1007\/s13218-015-0377-9","relation":{},"ISSN":["0933-1875","1610-1987"],"issn-type":[{"value":"0933-1875","type":"print"},{"value":"1610-1987","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,6,5]]}}}