53 citations · 87 across the 10 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.LO2016
Knowledge Representation Analysis of Graph Mining
Matthias van der Hallen, Sergey Paramonov, Michael Leuschel +1
Many problems, especially those with a composite structure, can naturally be expressed in higher order logic. From a KR perspective modeling these problems in an intuitive way is a…
cs.AI2016
Implementing a Relevance Tracker Module
Joachim Jansen, Jo Devriendt, Bart Bogaerts +2
PC(ID) extends propositional logic with inductive definitions: rule sets under the well-founded semantics. Recently, a notion of relevance was introduced for this language. This no…