Broes de Cat
From MaRDI portal
Person:2931257
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
