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).
![[img]](https://livrepository.liverpool.ac.uk/style/images/fileicons/text.png) |
Text
main.pdf - Author Accepted Manuscript Access to this file is embargoed until Unspecified. Download (401kB) |
Official URL: http://www.ijcai.org/Proceedings/2017/
| Item Type: | Conference or Workshop Item (Unspecified) |
|---|---|
| Depositing User: | Symplectic Admin |
| Date Deposited: | 24 May 2017 08:08 |
| Last Modified: | 14 Mar 2024 21:36 |
| DOI: | 10.24963/ijcai.2017/694 |
| Related URLs: | |
| URI: | https://livrepository.liverpool.ac.uk/id/eprint/3007618 |
Dimensions
Dimensions
DimensionsAltmetric
Share
CORE (COnnecting REpositories)