Joost Vennekens
Joost Vennekens
Dept. Computer Science, KU Leuven
Verified email at cs.kuleuven.be - Homepage
Title
Cited by
Cited by
Year
Logic programs with annotated disjunctions
J Vennekens, S Verbaeten, M Bruynooghe
International Conference on Logic Programming, 431-445, 2004
2182004
The second answer set programming competition
M Denecker, J Vennekens, S Bond, M Gebser, M Truszczyński
International Conference on Logic Programming and Nonmonotonic Reasoning†…, 2009
1392009
CP-logic: A language of causal probabilistic events and its relation to logic programming
J Vennekens, M Denecker, M Bruynooghe
arXiv preprint arXiv:0904.1672, 2009
1192009
Towards digesting the alphabet-soup of statistical relational learning
L De Raedt, B Demoen, D Fierens, B Gutmann, G Janssens, A Kimmig, ...
NIPS* 2008 Workshop Probabilistic Programming, Date: 2008/12/13-2008/12/13†…, 2008
552008
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
532007
Splitting an operator: Algebraic modularity results for logics with fixpoint semantics
J Vennekens, D Gilis, M Denecker
ACM Transactions on computational logic (TOCL) 7 (4), 765-797, 2006
402006
The well-founded semantics is the principle of inductive definition, revisited
M Denecker, J Vennekens
Fourteenth International Conference on the Principles of Knowledge†…, 2014
382014
Building a knowledge base system for an integration of logic programming and classical logic
M Denecker, J Vennekens
International Conference on Logic Programming, 71-76, 2008
362008
A Tarskian informal semantics for answer set programming
M Denecker, Y Lierler, M Truszczynsky, J Vennekens
Technical Communications of the 28th International Conference on Logic†…, 2012
352012
Representing causal information about a probabilistic process
J Vennekens, M Denecker, M Bruynooghe
European Workshop on Logics in Artificial Intelligence, 452-464, 2006
352006
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
342010
CHR (PRISM)-based probabilistic logic learning
J Sneyers, W Meert, J Vennekens, Y Kameya, T Sato
arXiv preprint arXiv:1007.3858, 2010
322010
Predicate introduction for logics with a fixpoint semantics. Part I: Logic programming
J Vennekens, J Wittocx, M MariŽn, M Denecker
Fundamenta Informaticae 79 (1-2), 187-208, 2007
222007
Grounded fixpoints and their applications in knowledge representation
B Bogaerts, J Vennekens, M Denecker
Artificial Intelligence 224, 51-71, 2015
212015
Actual causation in cp-logic
J Vennekens
arXiv preprint arXiv:1107.4865, 2011
212011
Problog technology for inference in a probabilistic first order logic
M Bruynooghe, T Mantadelis, A Kimmig, B Gutmann, J Vennekens, ...
ECAI 2010-19th European Conference on Artificial Intelligence 215, 719-724, 2010
212010
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
202009
A principled approach to defining actual causation
S Beckers, J Vennekens
Synthese 195 (2), 835-862, 2018
192018
Algebraic and logical study of constructive processes in knowledge representation
J Vennekens
Ai Communications 21 (1), 89-90, 2008
162008
Approximation fixpoint theory and the semantics of logic and answers set programs
M Denecker, M Bruynooghe, J Vennekens
Correct reasoning, 178-194, 2012
152012
The system can't perform the operation now. Try again later.
Articles 1–20