no code implementations • 31 Aug 2016 • Matthias van der Hallen, Sergey Paramonov, Michael Leuschel, Gerda Janssens
For IDP and ASP, which have no native support for higher order logic, we propose the use of encoding techniques such as the disjoint union technique and the saturation technique.
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 • 6 May 2016 • Pieter Van Hertum, Ingmar Dasseville, Gerda Janssens, Marc Denecker
The knowledge base paradigm aims to express domain knowledge in a rich formal language, and to use this domain knowledge as a knowledge base to solve various problems and tasks that arise in the domain by applying multiple forms of inference.
no code implementations • 3 Nov 2015 • Ingmar Dasseville, Gerda Janssens
IDP is a knowledge base system based on first order logic.
no code implementations • 25 Apr 2013 • Daan Fierens, Guy Van Den Broeck, Joris Renkens, Dimitar Shterionov, Bernd Gutmann, Ingo Thon, Gerda Janssens, Luc De Raedt
This paper investigates how classical inference and learning tasks known from the graphical model community can be tackled for probabilistic logic programs.