The following pages link to Broes de Cat (Q2931257):
Displayed 8 items.
- Simulating Dynamic Systems Using Linear Time Calculus Theories (Q2931258) (← links)
- FO(FD): Extending classical logic with rule-based fixpoint definitions (Q3585169) (← links)
- Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with<i>IDP3</i> (Q4593015) (← links)
- Lazy Model Expansion: Interleaving Grounding with Search (Q5176854) (← links)
- Constraint CNF: SAT and CSP Language Under One Roof. (Q5240215) (← links)
- (Q5398039) (← links)
- Lazy Model Expansion by Incremental Grounding (Q5398058) (← links)
- Detection and exploitation of functional dependencies for model generation (Q5398289) (← links)