@inproceedings{DBLP:conf/ijcai/NalonHD17,
  author    = {Cl{\'{a}}udia Nalon and
               Ullrich Hustadt and
               Clare Dixon},
  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},
  year      = {2017},
  crossref  = {DBLP:conf/ijcai/2017},
  url       = {https://doi.org/10.24963/ijcai.2017/694},
  doi       = {10.24963/ijcai.2017/694},
  timestamp = {Wed, 27 Jun 2018 12:24:11 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/NalonHD17},
  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":"https://raw.githubusercontent.com/autonomy-and-verification/autonomy-and-verification.github.io/master/pubs.bib","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":[]}],"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","year":"2017","crossref":"DBLP:conf/ijcai/2017","url":"https://doi.org/10.24963/ijcai.2017/694","doi":"10.24963/ijcai.2017/694","timestamp":"Wed, 27 Jun 2018 12:24:11 +0200","biburl":"https://dblp.org/rec/bib/conf/ijcai/NalonHD17","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 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 year = {2017},\n crossref = {DBLP:conf/ijcai/2017},\n url = {https://doi.org/10.24963/ijcai.2017/694},\n doi = {10.24963/ijcai.2017/694},\n timestamp = {Wed, 27 Jun 2018 12:24:11 +0200},\n biburl = {https://dblp.org/rec/bib/conf/ijcai/NalonHD17},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Nalon, C.","Hustadt, U.","Dixon, C."],"key":"DBLP:conf/ijcai/NalonHD17","id":"DBLP:conf/ijcai/NalonHD17","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"]}