Model revision inference for extensions of first order logic

Joachim Jansen
DOI: https://doi.org/10.48550/arXiv.1405.4206
2014-05-16
Abstract:I am Joachim Jansen and this is my research summary, part of my application to the Doctoral Consortium at ICLP'14. I am a PhD student in the Knowledge Representation and Reasoning (KRR) research group, a subgroup of the Declarative Languages and Artificial Intelligence (DTAI) group at the department of Computer Science at KU Leuven. I started my PhD in September 2012. My promotor is prof. dr. ir. Gerda Janssens and my co-promotor is prof. dr. Marc Denecker. I can be contacted at <a class="link-external link-http" href="http://joachim.jansen" rel="external noopener nofollow">this http URL</a>@cs.<a class="link-external link-http" href="http://kuleuven.be" rel="external noopener nofollow">this http URL</a> or at: Room 01.167 Celestijnenlaan 200A 3001 Heverlee Belgium An extended abstract / full version of a paper accepted to be presented at the Doctoral Consortium of the 30th International Conference on Logic Programming (ICLP 2014), July 19-22, Vienna, Austria
Artificial Intelligence
What problem does this paper attempt to address?