Dixon, Clare

2 publications

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

IJCAI 2007 Tractable Temporal Reasoning Clare Dixon, Michael Fisher, Boris Konev