ML Anthology

Nalon, Cláudia

1 publications

IJCAI 2017 KSP: A Resolution-Based Prover for Multimodal K, Abridged Report Cláudia Nalon, Ullrich Hustadt, Clare Dixon