Search: J46
2019
[1]I/O Logic in HOL (Christoph Benzmüller, Ali Farjami, Paul Meder, Xavier Parent), In Journal of Applied Logics -- IfCoLoG Journal of Logics and their Applications (Special Issue: Reasoning for Legal AI) (Livio Robaldo, Leon van der Torre, eds.), volume 6, number 5, pp. 715--732, 2019. (Preprint: https://www.researchgate.net/publication/332786587) [bibtex] [url]