K<sub>S</sub>P: A Resolution-based Prover for Multimodal K Abridged Report



Nalon, Claudia, Hustadt, Ullrich ORCID: 0000-0002-0455-0267 and Dixon, Clare
(2017) K<sub>S</sub>P: A Resolution-based Prover for Multimodal K Abridged Report. In: 26th International Joint Conference on Artificial Intelligence (IJCAI 2017).

[thumbnail of main.pdf] Text
main.pdf - Author Accepted Manuscript
Access to this file is embargoed until Unspecified.

Download (401kB)
Item Type: Conference or Workshop Item (Unspecified)
Uncontrolled Keywords: 5003 Philosophy, 46 Information and Computing Sciences, 50 Philosophy and Religious Studies
Depositing User: Symplectic Admin
Date Deposited: 24 May 2017 08:08
Last Modified: 11 Jun 2024 00:41
DOI: 10.24963/ijcai.2017/694
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3007618