KSP: A resolution-based prover for multimodal K

C. Nalon, U. Hustadt, C. Dixon

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence Best Sister Conferences
DOIs	https://doi.org/10.1007/978-3-319-40229-1_28
Publication status	Published - 2016

Access to Document

@inproceedings{f596e46d70d14a13904cf150179e6e75,

title = "KSP: A resolution-based prover for multimodal K",

author = "C. Nalon and U. Hustadt and C. Dixon",

year = "2016",

doi = "10.1007/978-3-319-40229-1\_28",

language = "English",

booktitle = "Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence Best Sister Conferences",

}

TY - GEN

T1 - KSP: A resolution-based prover for multimodal K

AU - Nalon, C.

AU - Hustadt, U.

AU - Dixon, C.

PY - 2016

Y1 - 2016

UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-84976618864&partnerID=MN8TOARS

U2 - 10.1007/978-3-319-40229-1_28

DO - 10.1007/978-3-319-40229-1_28

M3 - Conference contribution

BT - Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence Best Sister Conferences

ER -