@inproceedings{DBLP:conf/ijcai/NalonHD17,
  author       = {Cl{\'{a}}udia Nalon and
                  Ullrich Hustadt and
                  Clare Dixon},
  editor       = {Carles Sierra},
  title        = {{KSP:} {A} Resolution-based Prover for Multimodal K, Abridged Report},
  booktitle    = {Proceedings of the Twenty-Sixth International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
                  19-25, 2017},
  pages        = {4919--4923},
  publisher    = {ijcai.org},
  year         = {2017},
  url          = {https://doi.org/10.24963/ijcai.2017/694},
  doi          = {10.24963/IJCAI.2017/694},
  timestamp    = {Tue, 20 Aug 2019 16:16:54 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/NalonHD17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"GDm8273QC4uNGX2yk","bibbaseid":"nalon-hustadt-dixon-ksparesolutionbasedproverformultimodalkabridgedreport-2017","downloads":0,"creationDate":"2018-04-02T20:55:30.126Z","title":"KSP: A Resolution-based Prover for Multimodal K, Abridged Report","author_short":["Nalon, C.","Hustadt, U.","Dixon, C."],"year":2017,"bibtype":"inproceedings","biburl":"http://cgi.csc.liv.ac.uk/~ullrich/publications/all.bib?authorFirst=1","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Cláudia"],"propositions":[],"lastnames":["Nalon"],"suffixes":[]},{"firstnames":["Ullrich"],"propositions":[],"lastnames":["Hustadt"],"suffixes":[]},{"firstnames":["Clare"],"propositions":[],"lastnames":["Dixon"],"suffixes":[]}],"editor":[{"firstnames":["Carles"],"propositions":[],"lastnames":["Sierra"],"suffixes":[]}],"title":"KSP: A Resolution-based Prover for Multimodal K, Abridged Report","booktitle":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017","pages":"4919–4923","publisher":"ijcai.org","year":"2017","url":"https://doi.org/10.24963/ijcai.2017/694","doi":"10.24963/IJCAI.2017/694","timestamp":"Tue, 20 Aug 2019 16:16:54 +0200","biburl":"https://dblp.org/rec/conf/ijcai/NalonHD17.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/ijcai/NalonHD17,\n author = {Cl{\\'{a}}udia Nalon and\n Ullrich Hustadt and\n Clare Dixon},\n editor = {Carles Sierra},\n title = {{KSP:} {A} Resolution-based Prover for Multimodal K, Abridged Report},\n booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on\n Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August\n 19-25, 2017},\n pages = {4919--4923},\n publisher = {ijcai.org},\n year = {2017},\n url = {https://doi.org/10.24963/ijcai.2017/694},\n doi = {10.24963/IJCAI.2017/694},\n timestamp = {Tue, 20 Aug 2019 16:16:54 +0200},\n biburl = {https://dblp.org/rec/conf/ijcai/NalonHD17.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Nalon, C.","Hustadt, U.","Dixon, C."],"editor_short":["Sierra, C."],"key":"DBLP:conf/ijcai/NalonHD17-1","id":"DBLP:conf/ijcai/NalonHD17-1","bibbaseid":"nalon-hustadt-dixon-ksparesolutionbasedproverformultimodalkabridgedreport-2017","role":"author","urls":{"Paper":"https://doi.org/10.24963/ijcai.2017/694"},"metadata":{"authorlinks":{"hustadt, u":"https://cgi.csc.liv.ac.uk/~ullrich/publications/"}},"downloads":0},"search_terms":["ksp","resolution","based","prover","multimodal","abridged","report","nalon","hustadt","dixon"],"keywords":[],"authorIDs":["aQLR39RKeqjQcByRb"],"dataSources":["77JvGFZQteoFsRiyX","sf65xF3tXwz6TBuoQ","WhiGijHmCtTSdLaAj","iqRbmbCgpDeaBjend"]}