%0 Conference Paper %1 conf/ijcai/NalonHD17 %A Nalon, Cláudia %A Hustadt, Ullrich %A Dixon, Clare %B IJCAI %D 2017 %E Sierra, Carles %I ijcai.org %K %P 4919-4923 %T KSP: A Resolution-based Prover for Multimodal K, Abridged Report. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2017.html#NalonHD17 %@ 978-0-9992411-0-3

@inproceedings{conf/ijcai/NalonHD17, added-at = {2023-12-13T10:10:29.000+0100}, author = {Nalon, Cláudia and Hustadt, Ullrich and Dixon, Clare}, biburl = {https://www.bibsonomy.org/bibtex/26109da2b032b045f898f9962e6cd2f25/admin}, booktitle = {IJCAI}, crossref = {conf/ijcai/2017}, editor = {Sierra, Carles}, ee = {https://doi.org/10.24963/ijcai.2017/694}, interhash = {d58cfc98175325cf60a81f69ab665057}, intrahash = {6109da2b032b045f898f9962e6cd2f25}, isbn = {978-0-9992411-0-3}, keywords = {}, pages = {4919-4923}, publisher = {ijcai.org}, timestamp = {2023-12-13T10:10:29.000+0100}, title = {KSP: A Resolution-based Prover for Multimodal K, Abridged Report.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2017.html#NalonHD17}, year = 2017 }