מאמרים עם הרשאות לגישה ציבורית - Marc Deneckerלמידע נוסף
זמינים באתר כלשהו: 43
CP-logic: A language of causal probabilistic events and its relation to logic programming
J Vennekens, M Denecker, M Bruynooghe
Theory and practice of logic programming 9 (3), 245-308, 2009
הרשאות: Research Foundation (Flanders)
The second answer set programming competition
M Denecker, J Vennekens, S Bond, M Gebser, M Truszczyński
Logic Programming and Nonmonotonic Reasoning: 10th International Conference …, 2009
הרשאות: German Research Foundation
Improved static symmetry breaking for SAT
J Devriendt, B Bogaerts, M Bruynooghe, M Denecker
Theory and Applications of Satisfiability Testing–SAT 2016: 19th …, 2016
הרשאות: Research Foundation (Flanders), Academy of Finland
Well-founded semantics and the algebraic theory of non-monotone inductive definitions
M Denecker, J Vennekens
International Conference on Logic Programming and Nonmonotonic Reasoning, 84-96, 2007
הרשאות: Research Foundation (Flanders)
Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3
M Bruynooghe, H Blockeel, B Bogaerts, B De Cat, S De Pooter, J Jansen, ...
Theory and Practice of Logic Programming 15 (6), 783-817, 2015
הרשאות: Research Foundation (Flanders)
Lazy model expansion: Interleaving grounding with search
B De Cat, M Denecker, M Bruynooghe, P Stuckey
Journal of Artificial Intelligence Research 52, 235-286, 2015
הרשאות: Australian Research Council, Research Foundation (Flanders)
Model expansion in the presence of function symbols using constraint programming
B De Cat, B Bogaerts, J Devriendt, M Denecker
2013 IEEE 25th International Conference on Tools with Artificial …, 2013
הרשאות: Research Foundation (Flanders)
Grounding FO and FO (ID) with bounds
J Wittocx, M Mariën, M Denecker
Journal of Artificial Intelligence Research 38, 223-269, 2010
הרשאות: Research Foundation (Flanders)
Symmetry propagation: Improved dynamic symmetry breaking in SAT
J Devriendt, B Bogaerts, B De Cat, M Denecker, C Mears
2012 IEEE 24th International Conference on Tools with Artificial …, 2012
הרשאות: Research Foundation (Flanders)
Embracing events in causal modelling: Interventions and counterfactuals in CP-logic
J Vennekens, M Bruynooghe, M Denecker
European workshop on logics in artificial intelligence, 313-325, 2010
הרשאות: Research Foundation (Flanders)
Grounded fixpoints and their applications in knowledge representation
B Bogaerts, J Vennekens, M Denecker
Artificial Intelligence 224, 51-71, 2015
הרשאות: Research Foundation (Flanders)
A Tarskian informal semantics for answer set programming
M Denecker, Y Lierler, M Truszczynski, J Vennekens
Technical Communications of the 28th International Conference on Logic …, 2012
הרשאות: Research Foundation (Flanders)
The KB paradigm and its application to interactive configuration
P Van Hertum, I Dasseville, G Janssens, M Denecker
Theory and Practice of Logic Programming 17 (1), 91-117, 2017
הרשאות: Research Foundation (Flanders)
Towards a logical reconstruction of a theory for locally closed databases
M Denecker, Á Cortés-Calabuig, M Bruynooghes, O Arieli
ACM Transactions on Database Systems (TODS) 35 (3), 1-60, 2008
הרשאות: Research Foundation (Flanders)
A logical framework for configuration software
H Vlaeminck, J Vennekens, M Denecker
Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of …, 2009
הרשאות: Research Foundation (Flanders)
Grounding with Bounds.
J Wittocx, M Mariën, M Denecker
AAAI, 572-577, 2008
הרשאות: Research Foundation (Flanders)
Constraint propagation for first-order logic and inductive definitions
J Wittocx, M Denecker, M Bruynooghe
ACM Transactions on Computational Logic (TOCL) 14 (3), 1-45, 2013
הרשאות: Research Foundation (Flanders)
Safe inductions and their applications in knowledge representation
B Bogaerts, J Vennekens, M Denecker
Artificial Intelligence 259, 167-185, 2018
הרשאות: Research Foundation (Flanders)
Analyzing semantics of aggregate answer set programming using approximation fixpoint theory
L Vanbesien, M Bruynooghe, M Denecker
Theory and Practice of Logic Programming 22 (4), 523-537, 2022
הרשאות: Research Foundation (Flanders)
On local domain symmetry for model expansion
J Devriendt, B Bogaerts, M Bruynooghe, M Denecker
Theory and Practice of Logic Programming 16 (5-6), 636-652, 2016
הרשאות: Research Foundation (Flanders), Academy of Finland
המידע על הפרסום ועל הגורמים המממנים נקבע באופן אוטומטי על ידי תוכנת מחשב