Search Results for author: Joachim Jansen

Found 3 papers, 0 papers with code

Implementing a Relevance Tracker Module

no code implementations19 Aug 2016 Joachim Jansen, Jo Devriendt, Bart Bogaerts, Gerda Janssens, Marc Denecker

PC(ID) extends propositional logic with inductive definitions: rule sets under the well-founded semantics.

Model revision inference for extensions of first order logic

no code implementations16 May 2014 Joachim Jansen

I am Joachim Jansen and this is my research summary, part of my application to the Doctoral Consortium at ICLP'14.

Cannot find the paper you are looking for? You can Submit a new open access paper.