Lazy Model Expansion: Interleaving Grounding with Search von De Cat, Broes, Denecker, Marc, Bruynooghe, Maurice, Stuckey, Peter

Volltext

Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3 von BRUYNOOGHE, MAURICE, BLOCKEEL, HENDRIK, BOGAERTS, BART, DE CAT, BROES, DE POOTER, STEF, JANSEN, JOACHIM, LABARRE, ANTHONY, RAMON, JAN, DENECKER, MARC, VERWER, SICCO

Volltext

Simulating dynamic systems using Linear Time Calculus theories von Bogaerts, Bart, Jansen, Joachim, Bruynooghe, Maurice, Broes De Cat, Vennekens, Joost, Denecker, Marc

Volltext

Simulating Dynamic Systems Using Linear Time Calculus Theories von BOGAERTS, BART, JANSEN, JOACHIM, BRUYNOOGHE, MAURICE, DE CAT, BROES, VENNEKENS, JOOST, DENECKER, MARC

Volltext

FO(FD): Extending classical logic with rule-based fixpoint definitions von HOU, PING, DE CAT, BROES, DENECKER, MARC

Volltext

Model Expansion in the Presence of Function Symbols Using Constraint Programming von De Cat, Broes, Bogaerts, Bart, Devriendt, Jo, Denecker, Marc

Volltext

Lazy model expansion: Interleaving grounding with search von De Cat, Broes, Denecker, Marc, Stuckey, Peter, Bruynooghe, Maurice

Volltext

Detection and exploitation of functional dependencies for model generation von De Cat, Broes, Bruynooghe, Maurice

Volltext

Bootstrapping Inference in the IDP Knowledge Base System von Bogaerts, Bart, Jansen, Joachim, de Cat, Broes, Janssens, Gerda, Bruynooghe, Maurice, Denecker, Marc

Volltext

Bootstrapping inference in the IDP Knowledge Base System von Bogaerts, Bart, Jansen, Joachim, De Cat, Broes, Janssens, Gerda, Bruynooghe, Maurice, Denecker, Marc

Volltext

Symmetry Propagation: Improved Dynamic Symmetry Breaking in SAT von Devriendt, Jo, Bogaerts, Bart, De Cat, Broes, Denecker, Marc, Mears, Christopher

Volltext

Simulating dynamic systems using linear time calculus theories von Bogaerts, Bart, Jansen, Joachim, Bruynooghe, Maurice, De Cat, Broes, Vennekens, Joost, Denecker, Marc

Volltext

Predicate logic as a modeling language: Modeling and solving some machine learning and data mining problems with IDP3 von Bruynooghe, Maurice, Blockeel, Hendrik, Bogaerts, Bart, De Cat, Broes, De Pooter, Stef, Jansen, Joachim, Labarre, Anthony, Ramon, Jan, Denecker, Marc, Verwer, Sicco

Volltext

FO(FD): Extending classical logic with rule-based fixpoint definitions von Hou, Ping, De Cat, Broes, Denecker, Marc

Volltext

Separating Knowledge from Computation: An FO(.) Knowledge Base System and its Model Expansion Inference (Kennis scheiden van berekening: een FO(.) kennisbanksysteem en zijn modelex... von De Cat, Broes

Volltext bestellen

Predicate Logic as a Modeling Language: Modeling and Solving some Machine Learning and Data Mining Problems with IDP3 von Bruynooghe, Maurice, Blockeel, Hendrik, Bogaerts, Bart, Broes De Cat, De Pooter, Stef, Jansen, Joachim, Labarre, Anthony, Ramon, Jan, Denecker, Marc, Verwer, Sicco

Volltext

FO(FD): Extending classical logic with rule-based fixpoint definitions von Hou Ping, Broes De Cat, Denecker, Marc

Volltext

Towards computing revised models for FO theories von Wittocx, Johan, De Cat, Broes, Denecker, Marc

Volltext

Towards Computing Revised Models for FO Theories von Wittocx, Johan, De Cat, Broes, Denecker, Marc

Volltext

Detection and exploitation of functional dependencies for model generation von DE CAT, BROES, BRUYNOOGHE, MAURICE

Volltext