43 citations · 63 across the 2 of their papers we have counts for
2 papers
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,…
cs.LO2010★ 20 cited
FO(FD): Extending classical logic with rule-based fixpoint definitions
Hou Ping, Broes De Cat, Marc Denecker
We introduce fixpoint definitions, a rule-based reformulation of fixpoint constructs. The logic FO(FD), an extension of classical logic with fixpoint definitions, is defined. We il…