Commonsense Reasoning Meets Theorem Proving
暂无分享,去创建一个
[1] David A. Ferrucci. IBM's Watson/DeepQA , 2011, SIGARCH Comput. Archit. News.
[2] Andrew S. Gordon,et al. Commonsense Interpretation of Triangle Behavior , 2016, AAAI.
[3] Johan Bos,et al. Linguistically Motivated Large-Scale NLP with C&C and Boxer , 2007, ACL.
[4] Zornitsa Kozareva,et al. SemEval-2012 Task 7: Choice of Plausible Alternatives: An Evaluation of Commonsense Causal Reasoning , 2011, *SEMEVAL.
[5] Simone Paolo Ponzetto,et al. BabelNet: The automatic construction, evaluation and application of a wide-coverage multilingual semantic network , 2012, Artif. Intell..
[6] Ulrich Furbach,et al. Tackling Benchmark Problems of Commonsense Reasoning , 2015, Bridging@CADE.
[7] Ian H. Witten,et al. The WEKA data mining software: an update , 2009, SKDD.
[8] Gerhard Weikum,et al. YAGO: A Large Ontology from Wikipedia and WordNet , 2008, J. Web Semant..
[9] Cezary Kaliszyk,et al. System Description: E.T. 0.1 , 2015, CADE.
[10] Jerald Podair. Grand Illusion: The Untold Story of Rudy Giuliani and 9/11. By Wayne Barrett and Dan Collins. (New York, N.Y.: HarperCollins, 2006. Pp.viii, 390. $25.95.) , 2008 .
[11] Ulrich Furbach,et al. An application of automated reasoning in natural language question answering , 2010, AI Commun..
[12] Hugo Liu,et al. ConceptNet — A Practical Commonsense Reasoning Tool-Kit , 2004 .
[13] George A. Miller,et al. WordNet: A Lexical Database for English , 1995, HLT.
[14] Andrew S. Gordon,et al. One Hundred Challenge Problems for Logical Formalizations of Commonsense Psychology , 2015, AAAI Spring Symposia.
[15] Selmer Bringsjord,et al. Toward a General Logicist Methodology for Engineering Ethically Correct Robots , 2006, IEEE Intelligent Systems.
[16] R. Ørstavik,et al. Person of the year. , 2017, Tidsskrift for den Norske laegeforening : tidsskrift for praktisk medicin, ny raekke.
[17] Yuko Murakami,et al. Utilitarian Deontic Logic , 2004, Advances in Modal Logic.
[18] Claudia Schon,et al. System Description: E-KRHyper 1.4 - Extensions for Unique Names and Description Logic , 2013, CADE.
[19] Douglas B. Lenat,et al. CYC: a large-scale investment in knowledge infrastructure , 1995, CACM.
[20] Anna Esposito,et al. Biometric ID Management and Multimodal Communication, Joint COST 2101 and 2102 International Conference, BioID_MultiComm 2009, Madrid, Spain, September 16-18, 2009. Proceedings , 2009, COST 2101/2102 Conference.
[21] Fabien L. Gandon,et al. Building a General Knowledge Base of Physical Objects for Robots , 2016, ESWC.
[22] Ulrich Furbach,et al. Automated Reasoning in the Wild , 2015, CADE.
[23] Adam Pease,et al. Towards a standard upper ontology , 2001, FOIS.
[24] Werner Ceusters,et al. The Emotion Ontology: Enabling Interdisciplinary Research in the Affective Sciences , 2011, CONTEXT.
[25] Kenny R. Coventry,et al. Modeling and Using Context - 7th International and Interdisciplinary Conference, CONTEXT 2011, Karlsruhe, Germany, September 26-30, 2011. Proceedings , 2011, CONTEXT.
[26] Patrick Brézillon,et al. Modeling and Using Context , 1999, Lecture Notes in Computer Science.
[27] Marco Grassi. Developing HEO Human Emotions Ontology , 2009, COST 2101/2102 Conference.
[28] Hector J. Levesque,et al. The Winograd Schema Challenge , 2011, AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning.
[29] Roberto Navigli,et al. Entity Linking meets Word Sense Disambiguation: a Unified Approach , 2014, TACL.
[30] Johan Bos,et al. Wide-Coverage Semantic Analysis with Boxer , 2008, STEP.
[31] Ulrich Furbach,et al. Logic-Based Question Answering , 2010, KI - Künstliche Intelligenz.