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

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

collaborators

1 paper

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,…