暂无分享,去创建一个
[1] Jürgen Giesl. Special Issue on Automated Deduction , 2010, KI - Künstliche Intelligenz.
[2] José Júlio Alferes,et al. Logics in Artificial Intelligence: European Workshop, JELIA '96, Evora, Portugal, September 30 - October 3, 1996, Proceedings , 1996 .
[3] Ivan A. Sag,et al. Book Reviews: Head-driven Phrase Structure Grammar and German in Head-driven Phrase-structure Grammar , 1996, CL.
[4] Ulrich Furbach,et al. Logic-Based Question Answering , 2010, KI - Künstliche Intelligenz.
[5] Ulrich Furbach,et al. Automated Reasoning in Deontic Logic , 2014, MIWAI.
[6] Peter Baumgartner,et al. Hyper Tableaux , 1996, JELIA.
[7] Stanley Shostak. Smart Machines: IBM’s Watson and the Era of Cognitive Computing , 2016 .
[8] Hermann Helbig. Knowledge Representation and the Semantics of Natural Language (Cognitive Technologies) , 2005 .
[9] Frieder Stolzenburg,et al. David Poole's Specificity Revised , 2014, KR.
[10] Ulrich Furbach,et al. An application of automated reasoning in natural language question answering , 2010, AI Commun..
[11] Björn Pelzer,et al. System Description: E-KRHyper , 2007, CADE.
[12] Hermann Helbig,et al. Knowledge Representation and the Semantics of Natural Language , 2005, Cognitive Technologies.