{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T06:49:09Z","timestamp":1725864549484},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319458885"},{"type":"electronic","value":"9783319458892"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-45889-2_1","type":"book-chapter","created":{"date-parts":[[2016,9,7]],"date-time":"2016-09-07T09:02:32Z","timestamp":1473238952000},"page":"3-17","source":"Crossref","is-referenced-by-count":6,"title":["Commonsense Reasoning Meets Theorem Proving"],"prefix":"10.1007","author":[{"given":"Ulrich","family":"Furbach","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claudia","family":"Schon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,9,8]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Basile, V., Cabrio, E., Gandon, F.: Building a general knowledge base of physical objects for robots. In: The Semantic Web. Latest Advances and New Domains (2016)","DOI":"10.1007\/978-3-319-47602-5_2"},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1007\/978-3-642-38574-2_8","volume-title":"Automated Deduction \u2013 CADE-24","author":"M Bender","year":"2013","unstructured":"Bender, M., Pelzer, B., Schon, C.: System description: E-KRHyper 1.4 -extensions for unique names and description logic. In: Bonacina, M.P. (ed.) CADE 2013. LNCS, vol. 7898, pp. 126\u2013134. Springer, Heidelberg (2013)"},{"issue":"4","key":"1_CR3","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/MIS.2006.82","volume":"21","author":"S Bringsjord","year":"2006","unstructured":"Bringsjord, S., Arkoudas, K., Bello, P.: Toward a general logicist methodology for engineering ethically correct robots. IEEE Intell. Syst. 21(4), 38\u201344 (2006)","journal-title":"IEEE Intell. Syst."},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Curran, J.R., Clark, S., Bos, J.: Linguistically motivated large-scale NLP with C&C and boxer. In Proceedings of the ACL 2007 Demo and Poster Sessions, pp. 33\u201336, Prague, Czech Republic (2007)","DOI":"10.3115\/1557769.1557781"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Ferrucci, D.A.: IBM\u2019s Watson, DeepQA. SIGARCH Computer Architecture News, vol. 39, no. 3, June 2011","DOI":"10.1145\/2024723.2019525"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Furbach, U., Gl\u00f6ckner, I., Helbig, H., Pelzer, B.: Logic-based question answering. KI - K\u00fcnstliche Intelligenz, 2010, Special Issue on Automated Deduction, February 2010","DOI":"10.1007\/s13218-010-0010-x"},{"key":"1_CR7","unstructured":"Furbach, U., Gordon, A., Schon, C.: Tackling benchmark problems for commonsense reasoning. In: Proceedings of Bridging - Workshop on Bridging the Gap between Human and Automated Reasoning (2015)"},{"key":"1_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/978-3-319-21401-6_3","volume-title":"Automated Deduction - CADE-25","author":"U Furbach","year":"2015","unstructured":"Furbach, U., Pelzer, B., Schon, C.: Automated reasoning in the wild. In: Felty, A.P., Middeldorp, A. (eds.) CADE-25. LNCS, vol. 9195, pp. 55\u201372. Springer, Heidelberg (2015)"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Furbach, U., Schon, C.: Commonsense reasoning meets theorem proving. In: Proceedings of the 1st Conference on Artificial Intelligence and Theorem Proving AITP 2016, Obergurgl, Austria (2016)","DOI":"10.1007\/978-3-319-45889-2_1"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Furbach, U., Schon, C.: Commonsense reasoning meets theorem proving. In: Proceedings of Bridging-20016 - Workshop on Bridging the Gap between Human and Automated Reasoning (2016, to appear)","DOI":"10.1007\/978-3-319-45889-2_1"},{"key":"1_CR11","unstructured":"Gordon, A.S.: Commonsense interpretation of triangle behavior. In: Schuurmans, D. Wellman, M.P. (eds.) Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 12\u201317 February 2016, Phoenix, Arizona, USA, pp. 3719\u20133725. AAAI Press (2016)"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Grassi, M.: Biometric ID Management and Multimodal Communication: Joint COST 2101 and 2102 International Conference, BioID_MultiComm 2009, Madrid, Spain, 16\u201318 September 2009, Proceedings, Chapter Developing HEO Human Emotions Ontology, pp. 244\u2013251. Springer, Heidelberg (2009)","DOI":"10.1007\/978-3-642-04391-8_32"},{"issue":"1","key":"1_CR13","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1145\/1656274.1656278","volume":"11","author":"MA Hall","year":"2009","unstructured":"Hall, M.A., Frank, E., Holmes, G., Pfahringer, B., Reutemann, P., Witten, I.H.: The WEKA data mining software: an update. SIGKDD Explor. 11(1), 10\u201318 (2009)","journal-title":"SIGKDD Explor."},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/978-3-642-24279-3_14","volume-title":"Modeling and Using Context","author":"J Hastings","year":"2011","unstructured":"Hastings, J., Ceusters, W., Smith, B., Mulligan, K.: The emotion ontology: enabling interdisciplinary research in the affective sciences. In: Beigl, M., Christiansen, H., Roth-Berghofer, T.R., Kofod-Petersen, A., Coventry, K.R., Schmidtke, H.R. (eds.) CONTEXT 2011. LNCS, vol. 6967, pp. 119\u2013123. Springer, Heidelberg (2011)"},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1007\/978-3-319-21401-6_27","volume-title":"Automated Deduction - CADE-25","author":"C Kaliszyk","year":"2015","unstructured":"Kaliszyk, C., Schulz, S., Urban, J., Vyskocil, J.: System description: E.T. 0.1. In: Felty, A.P., Middeldorp, A. (eds.) CADE-25. LNCS, vol. 9195, pp. 389\u2013398. Springer, Heidelberg (2015)"},{"issue":"11","key":"1_CR16","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1145\/219717.219745","volume":"38","author":"DB Lenat","year":"1995","unstructured":"Lenat, D.B.: Cyc: a large-scale investment in knowledge infrastructure. Commun. ACM 38(11), 33\u201338 (1995)","journal-title":"Commun. ACM"},{"key":"1_CR17","unstructured":"Levesque, H.J.: The winograd schema challenge. In: Logical Formalizations of Commonsense Reasoning, Papers from the 2011 AAAI Spring Symposium, Technical report SS-11-06, Stanford, California, USA, 21-23 March 2011, AAAI (2011)"},{"issue":"4","key":"1_CR18","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1023\/B:BTTJ.0000047600.45421.6d","volume":"22","author":"H Liu","year":"2004","unstructured":"Liu, H., Singh, P.: ConceptNet \u2013 a practical commonsense reasoning tool-kit. BT Technol. J. 22(4), 211\u2013226 (2004)","journal-title":"BT Technol. J."},{"key":"1_CR19","unstructured":"Maslan, N., Roemmele, M., Gordon, A.S.: One hundred challenge problems for logical formalizations of commonsense psychology. In: Twelfth International Symposium on Logical Formalizations of Commonsense Reasoning, Stanford, CA (2015)"},{"issue":"11","key":"1_CR20","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1145\/219717.219748","volume":"38","author":"GA Miller","year":"1995","unstructured":"Miller, G.A.: WordNet: a lexical database for English. Commun. ACM 38(11), 39\u201341 (1995)","journal-title":"Commun. ACM"},{"key":"1_CR21","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1162\/tacl_a_00179","volume":"2","author":"A Moro","year":"2014","unstructured":"Moro, A., Raganato, A., Navigli, R.: Entity linking meets word sense disambiguation: a unified approach. Trans. Assoc. Comput. Linguist. (TACL) 2, 231\u2013244 (2014)","journal-title":"Trans. Assoc. Comput. Linguist. (TACL)"},{"key":"1_CR22","unstructured":"Murakami, Y.: Utilitarian deontic logic. In: Proceedings of the Fifth International Conference on Advances in Modal Logic AiML 2004, pp. 288\u2013302 (2004)"},{"key":"1_CR23","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/j.artint.2012.07.001","volume":"193","author":"R Navigli","year":"2012","unstructured":"Navigli, R., Ponzetto, S.P.: BabelNet: the automatic construction, evaluation and application of a wide-coverage multilingual semantic network. Artif. Intell. 193, 217\u2013250 (2012)","journal-title":"Artif. Intell."},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"Niles, I., Pease, A.: Towards a standard upper ontology. In: Proceedings of the International Conference on Formal Ontology in Information Systems, vol. 2001, pp. 2\u20139. ACM (2001)","DOI":"10.1145\/505168.505170"},{"key":"1_CR25","volume-title":"Ontology: A Practical Guide","author":"A Pease","year":"2011","unstructured":"Pease, A.: Ontology: A Practical Guide. Articulate Software Press, Angwin (2011)"},{"key":"1_CR26","unstructured":"Roemmele, M., Bejan, C.A., Gordon, A.S.: Choice of plausible alternatives: an evaluation of commonsense causal reasoning. In: AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)"},{"issue":"3","key":"1_CR27","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1016\/j.websem.2008.06.001","volume":"6","author":"FM Suchanek","year":"2008","unstructured":"Suchanek, F.M., Kasneci, G., Weikum, G.: Yago: a large ontology from Wikipedia and WordNet. Web Semant. 6(3), 203\u2013217 (2008)","journal-title":"Web Semant."}],"container-title":["Lecture Notes in Computer Science","Multiagent System Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-45889-2_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,13]],"date-time":"2019-09-13T07:15:48Z","timestamp":1568358948000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-45889-2_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319458885","9783319458892"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-45889-2_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}