Year: 2011
[4] Embedding and Automating Conditional Logics in Classical Higher-Order Logic (Christoph Benzmüller, Dov Gabbay, Valerio Genovese, Daniele Rispoli), Technical report, Freie Universität Berlin, Germany, 2011. (arXiv:1106.3685) [bibtex] [pdf]
[3]Combining and Automating Classical and Non-Classical Logics in Classical Higher-Order Logic (Christoph Benzmüller), In Annals of Mathematics and Artificial Intelligence (Special issue Computational Logics in Multi-agent Systems (CLIMA XI)), volume 62, number 1-2, pp. 103-128, 2011. (slides) (Url (preprint): [bibtex] [doi]
[2] Quantified Conditional Logics are Fragments of HOL (Christoph Benzmüller, Valerio Genovese), In The International Conference on Non-classical Modal and Predicate Logics (NCMPL), 2011. ([slides], [movie]) ((The conference had no published proceedings; the paper is available as arXiv:1204.5920v1; superseded by IJCAI-2013 paper)) [bibtex] [pdf]
[1] Knowledge Engineering Tools (Christoph Benzmüller, Adam Pease), Chapter in Ontology: A Practical Guide (Adam Pease, ed.), Articulate Software Press, pp. 171-214, 2011. ((This chapter has some essential overlap with the 2012 journal article with A. Pease titled Higher-Order Aspects and Context in SUMO)) [bibtex] [pdf]
Powered by bibtexbrowser