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) (Preprint: http://christoph-benzmueller.de/papers/C37.pdf) [bibtex]
Powered by bibtexbrowser