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 withIDP3	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
https://portal.mardi4nfdi.de/entity/Q5398039	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Broes de Cat