Broes de Cat
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Constraint CNF: SAT and CSP Language Under One Roof. | 2019-10-24 | Paper |
| Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3 Theory and Practice of Logic Programming | 2017-11-09 | Paper |
| Lazy model expansion: interleaving grounding with search Journal of Artificial Intelligence Research | 2015-03-04 | Paper |
| Simulating Dynamic Systems Using Linear Time Calculus Theories Theory and Practice of Logic Programming | 2014-11-25 | Paper |
| Detection and exploitation of functional dependencies for model generation Theory and Practice of Logic Programming | 2014-02-27 | Paper |
| Modeling machine learning and data mining problems with \(\mathrm{FO}(\cdot )\) | 2014-02-25 | Paper |
| Lazy model expansion by incremental grounding | 2014-02-25 | Paper |
| \(FO(FD)\): extending classical logic with rule-based fixpoint definitions Theory and Practice of Logic Programming | 2010-08-19 | Paper |
Research outcomes over time
This page was built for person: Broes de Cat
