Javier Álvez, Paqui Lucio & German Rigau (2012):
Adimen-SUMO: Reengineering an Ontology for First-Order Reasoning.
Int. J. Semantic Web Inf. Syst. 8(4),
pp. 80–116,
doi:10.4018/jswis.2012100105.
Valerio Basile, Elena Cabrio & Claudia Schon (2016):
KNEWS: Using logical and lexical semantics to extract knowledge from natural language.
In: Proceedings of the European Conference on Artificial Intelligence (ECAI) 2016 conference.
Available at https://hal.inria.fr/hal-01389390.
Markus Bender, Björn Pelzer & Claudia Schon (2013):
System Description: E-KRHyper 1.4 – Extensions for Unique Names and Description Logic.
In: Maria Paola Bonacina: Automated Deduction – CADE 24,
LNCS 7898.
Springer,
pp. 126–134,
doi:10.1007/978-3-642-38574-2_8.
Ulrich Furbach, Teresa Krämer & Claudia Schon (2019):
Names are not just Sound and Smoke: Word Embeddings for Axiom Selection.
In: Pascal Fonaine: Automated Deduction – CADE 27,
LNCS 11716.
Springer,
Natal, Brazil,
pp. 250–268,
doi:10.1007/978-3-030-29436-6_15.
Sepp Hochreiter & Jürgen Schmidhuber (1997):
Long Short-Term Memory.
Neural Computation 9(8),
pp. 1735–1780,
doi:10.1162/neco.1997.9.8.1735.
Kryštof Hoder & Andrei Voronkov (2011):
Sine Qua Non for Large Theory Reasoning.
In: Nikolaj Bjørner & Viorica Sofronie-Stokkermans: Automated Deduction – CADE 23,
LNCS 6803.
Springer Berlin Heidelberg,
pp. 299–314,
doi:10.1007/978-3-642-22438-6_23.
Douglas B Lenat (1995):
CYC: A large-scale investment in knowledge infrastructure.
Communications of the ACM 38(11),
pp. 33–38,
doi:10.1145/219717.219745.
Hector J. Levesque (2011):
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, March 21-23, 2011.
AAAI.
Available at http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2502.
Nicole Maslan, Melissa Roemmele & Andrew S. Gordon (2015):
One Hundred Challenge Problems for Logical Formalizations of Commonsense Psychology.
In: Twelfth International Symposium on Logical Formalizations of Commonsense Reasoning, Stanford, CA.
Available at https://www.aaai.org/ocs/index.php/SSS/SSS15/paper/viewFile/10252/10080.
George A. Miller (1995):
WordNet: a lexical database for English.
Communications of the ACM 38(11),
pp. 39–41,
doi:10.1145/219717.219748.
Nasrin Mostafazadeh, Michael Roth, Annie Louis, Nathanael Chambers & James Allen (2017):
LSDSem 2017 shared task: The story cloze test.
In: Proceedings of the 2nd Workshop on Linking Models of Lexical, Sentential and Discourse-level Semantics,
pp. 46–51,
doi:10.18653/v1/w17-0906.
Roberto Navigli & Simone Paolo Ponzetto (2012):
BabelNet: The Automatic Construction, Evaluation and Application of a Wide-Coverage Multilingual Semantic Network.
Artificial Intelligence 193,
pp. 217–250,
doi:10.1016/j.artint.2012.07.001.
Ian Niles & Adam Pease (2001):
Towards a standard upper ontology.
In: Proceedings of the international conference on Formal Ontology in Information Systems-Volume 2001.
ACM,
pp. 2–9,
doi:10.1145/505168.505170.
Simon Ostermann, Michael Roth, Ashutosh Modi, Stefan Thater & Manfred Pinkal (2018):
SemEval-2018 Task 11: Machine Comprehension using Commonsense Knowledge.
In: Proceedings of the 12th International Workshop on Semantic Evaluation,
pp. 747–757,
doi:10.18653/v1/s18-1119.
Adam Pease (2011):
Ontology: A Practical Guide.
Articulate Software Press,
Angwin, CA.
Alec Radford, Karthik Narasimhan, Tim Salimans & Ilya Sutskever (2018):
Improving Language Understanding by Generative Pre-Training.
Technical Report.
Open AI.
Available at http://openai.com/blog/language-unsupervised/.
Melissa Roemmele, Cosmin Adrian Bejan & Andrew S. Gordon (2011):
Choice of Plausible Alternatives: An Evaluation of Commonsense Causal Reasoning..
In: AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning,
pp. 90–95.
Available at https://www.aaai.org/ocs/index.php/SSS/SSS11/paper/viewFile/2418/2960.
Sophie Siebert, Claudia Schon & Frieder Stolzenburg (2019):
Commonsense Reasoning using Theorem Proving and Machine Learning.
In: Andreas Holzinger, Peter Kieseberg, A Min Tjoa & Edgar Weippl: Machine Learning and Knowledge Extraction – 3rd IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2019,
LNCS 11713.
Springer Nature Switzerland,
Canterbury, UK,
pp. 395–413,
doi:10.1007/978-3-030-29726-8_25.
Robyn Speer, Joshua Chin & Catherine Havasi (2017):
ConceptNet 5.5: An Open Multilingual Graph of General Knowledge.
In: Satinder P. Singh & Shaul Markovitch: Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, USA..
AAAI Press,
pp. 4444–4451.
Available at http://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14972.
Fabian M. Suchanek, Gjergji Kasneci & Gerhard Weikum (2008):
YAGO: A Large Ontology from Wikipedia and WordNet.
Web Semant. 6(3),
pp. 203–217,
doi:10.1016/j.websem.2008.06.001.
Ming Tan, Cicero dos Santos, Bing Xiang & Bowen Zhou (2015):
LSTM-based deep learning models for non-factoid answer selection.
CoRR – Computing Research Repository abs/1511.04108.
Cornell University Library.
Available at http://arxiv.org/abs/1511.04108.
eptcs@eptcs.org