 | Up a level |
Number of items: 2.
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).
Grossi, Davide ORCID: 0000-0002-9709-030X, Herzig, Andreas, van der Hoek, Wiebe and Moyzes, Christos
(2017)
Non-Determinism and the Dynamics of Knowledge.
In: Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017-8-19 - 2017-8-26.