most citedPredicate Logic as a Modeling Language: Modeling and Solving some Machine Learning and Data Mining Problems with IDP3

43 citations · 43 across the 2 of their papers we have counts for

collaborators

2 papers

cs.AI2014

Model revision inference for extensions of first order logic

Joachim Jansen

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…

cs.LO2013★ 43 cited

Predicate Logic as a Modeling Language: Modeling and Solving some Machine Learning and Data Mining Problems with IDP3

Maurice Bruynooghe, Hendrik Blockeel, Bart Bogaerts +7

This paper provides a gentle introduction to problem solving with the IDP3 system. The core of IDP3 is a finite model generator that supports first order logic enriched with types,…