KSP: A Resolution-based Prover for Multimodal K, Abridged Report - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Cláudia Nalon, Ullrich Hustadt, Clare Dixon. KSP: A Resolution-based Prover for Multimodal K, Abridged Report. In Carles Sierra, editor, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017. pages 4919-4923, ijcai.org, 2017. [doi]

This author has not been identified. Look up 'Cláudia Nalon' in GoogleThis author has not been identified. Look up 'Ullrich Hustadt' in GoogleThis author has not been identified. Look up 'Clare Dixon' in Google

runs on WebDSL