Search: Automating Quantified Conditional Logics In HOL
2013
[1] Automating Quantified Conditional Logics in HOL (Christoph Benzmüller), In 23rd International Joint Conference on Artificial Intelligence (IJCAI-13) (Francesca Rossi, ed.), AAAI Press, pp. 746-753, 2013. (poster) [bibtex] [pdf]
Powered by bibtexbrowser