Publications/Manuscripts of Dov Gabbay
2012
[2] Embedding and Automating Conditional Logics in Classical Higher-Order Logic (Christoph Benzmüller, Dov Gabbay, Valerio Genovese, Daniele Rispoli), In Annals of Mathematics and Artificial Intelligence, volume 66, number 1-4, pp. 257-271, 2012. [bibtex] [pdf] [doi]
2011
[1] 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]
Powered by bibtexbrowser