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