no code implementations • 19 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.
no code implementations • 16 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.
no code implementations • 26 Sep 2013 • Maurice Bruynooghe, Hendrik Blockeel, Bart Bogaerts, Broes De Cat, Stef De Pooter, Joachim Jansen, Anthony Labarre, Jan Ramon, Marc Denecker, Sicco Verwer
This paper provides a gentle introduction to problem solving with the IDP3 system.