Broes de Cat

Available identifiers

zbMath Open de-cat.broesMaRDI QIDQ2931257

List of research outcomes

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	2017-11-09	Paper
Lazy model expansion: interleaving grounding with search	2015-03-04	Paper
Simulating Dynamic Systems Using Linear Time Calculus Theories	2014-11-25	Paper
Detection and exploitation of functional dependencies for model generation	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	2010-08-19	Paper

Research outcomes over time

This page was built for person: Broes de Cat