
Joost Vennekens
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
- [i21]Wouter Groeneveld, Laurens Luyten, Joost Vennekens, Kris Aerts:
Exploring the Role of Creativity in Software Engineering. CoRR abs/2101.00837 (2021) - 2020
- [c54]Wouter Groeneveld, Brett A. Becker, Joost Vennekens:
Soft Skills: What do Computing Program Syllabi Reveal About Non-Technical Expectations of Undergraduate Students? ITiCSE 2020: 287-293 - [c53]Joost Vennekens:
Service-Learning for Web Technology: Observations from a Small Case Study. ITiCSE 2020: 328-334 - [c52]Bram Aerts, Simon Vandevelde, Joost Vennekens:
Tackling the DMN Challenges with cDMN: A Tight Integration of DMN and Constraint Reasoning. RuleML+RR 2020: 23-38 - [c51]Wouter Groeneveld, Hans Jacobs, Joost Vennekens, Kris Aerts
:
Non-cognitive Abilities of Exceptional Software Engineers: A Delphi Study. SIGCSE 2020: 1096-1102 - [i20]Bram Aerts, Simon Vandevelde, Joost Vennekens:
Tackling the DMN Challenges with cDMN: a Tight Integration of DMN and constraint reasoning. CoRR abs/2005.09998 (2020) - [i19]Wouter Groeneveld, Joost Vennekens, Kris Aerts:
Engaging Software Engineering Students in Grading: The effects of peer assessment on self-evaluation, motivation, and study time. CoRR abs/2012.03521 (2020)
2010 – 2019
- 2019
- [c50]Pierre Carbonnelle, Bram Aerts, Marjolein Deryck, Joost Vennekens, Marc Denecker:
An Interactive Consultant. BNAIC/BENELEARN 2019 - [c49]Marc Denecker, Bart Bogaerts
, Joost Vennekens:
Explaining Actual Causation in Terms of Possible Causal Processes. JELIA 2019: 214-230 - [c48]Emily C. LeBlanc
, Marcello Balduccini
, Joost Vennekens
:
Explaining Actual Causation via Reasoning About Actions and Change. JELIA 2019: 231-246 - [c47]Marjolein Deryck, Theodoros Mitsikas
, Sofia Almpani, Petros S. Stefaneas, Panayiotis Frangos, Iakovos Ouranos, Harold Boley, Joost Vennekens:
Aligning, Interoperating, and Co-executing Air Traffic Control Rules Across PSOA RuleML and IDP. RuleML+RR 2019: 52-66 - [c46]Marjolein Deryck, Bram Aerts, Joost Vennekens:
Adding Constraint Tables to the DMN Standard: Preliminary Results. RuleML+RR 2019: 171-179 - [c45]Marjolein Deryck, Joost Vennekens:
Knowledge Elicitation within the Knowledge Base Paradigm: Disentangling Domain Knowledge from Decision Making in Industrial Applications. RuleML+RR (Supplement) 2019 - [c44]Marjolein Deryck, Joost Vennekens, Jo Devriendt, Simon Marynissen
:
Legislation in the Knowledge Base Paradigm: Interactive Decision Enactment for Registration Duties. ICSC 2019: 174-177 - [i18]Marc Denecker, Yuliya Lierler, Miroslaw Truszczynski, Joost Vennekens:
The informal semantics of Answer Set Programming: A Tarskian perspective. CoRR abs/1901.09125 (2019) - [i17]Wouter Groeneveld
, Hans Jacobs, Joost Vennekens, Kris Aerts:
Non-cognitive abilities of exceptional software engineers: a Delphi study. CoRR abs/1910.09861 (2019) - [i16]Wouter Groeneveld
, Joost Vennekens, Kris Aerts:
Software Engineering Education Beyond the Technical: A Systematic Literature Review. CoRR abs/1910.09865 (2019) - 2018
- [j19]Bart Bogaerts
, Joost Vennekens, Marc Denecker:
Safe inductions and their applications in knowledge representation. Artif. Intell. 259: 167-185 (2018) - [j18]Sander Beckers
, Joost Vennekens:
A principled approach to defining actual causation. Synth. 195(2): 835-862 (2018) - [c43]Bram Aerts, Joost Vennekens:
Application of Logic-Based Methods to Machine Component Design. ICLP (Technical Communications) 2018: 13:1-13:15 - [c42]Dries Hulens, Bram Aerts, Punarjay Chakravarty, Ali Diba, Toon Goedemé
, Tom Roussel, Jeroen Zegers
, Tinne Tuytelaars
, Luc Van Eycken, Luc Van Gool, Hugo Van hamme
, Joost Vennekens:
The CAMETRON Lecture Recording System: High Quality Video Recording and Editing with Minimal Human Supervision. MMM (1) 2018: 518-530 - [c41]Marjolein Deryck, Faruk Hasic
, Jan Vanthienen
, Joost Vennekens:
A Case-Based Inquiry into the Decision Model and Notation (DMN) and the Knowledge Base (KB) Paradigm. RuleML+RR 2018: 248-263 - 2017
- [c40]Kristof Van Beeck, Kristof Van Engeland, Joost Vennekens, Toon Goedemé
:
Abnormal behavior detection in LWIR surveillance of railway platforms. AVSS 2017: 1-6 - [c39]Bart Bogaerts, Joost Vennekens, Marc Denecker:
Safe Inductions: An Algebraic Study. IJCAI 2017: 859-865 - [c38]Bram Aerts, Kylian Van Dessel, Joost Vennekens:
Alarm Management on a Liquid Bulk Terminal. KI 2017: 279-285 - [c37]Joost Vennekens:
Lowering the Learning Curve for Declarative Programming: A Python API for the IDP System. PADL 2017: 86-102 - [c36]Bram Aerts, Toon Goedemé
, Joost Vennekens:
A Probabilistic Logic Programming Approach to Automatic Video Montage. WICED@Eurographics 2017: 47 - [i15]Marc Denecker, Bart Bogaerts, Joost Vennekens:
A Logical Study of Some Common Principles of Inductive Definition and its Implications for Knowledge Representation. CoRR abs/1702.04551 (2017) - 2016
- [j17]Sander Beckers
, Joost Vennekens:
A general framework for defining and extending actual causation using CP-logic. Int. J. Approx. Reason. 77: 105-126 (2016) - [j16]Bart Bogaerts, Joost Vennekens, Marc Denecker:
On Well-Founded Set-Inductions and Locally Monotone Operators. ACM Trans. Comput. Log. 17(4): 27:1-27:32 (2016) - [c35]Joost Vennekens:
Solving the Travelling Umpire Problem with Answer Set Programming. BNCAI 2016: 106-118 - [c34]Bram Aerts, Toon Goedemé
, Joost Vennekens:
A Probabilistic Logic Programming Approach to Automatic Video Montage. ECAI 2016: 234-242 - 2015
- [j15]Bart Bogaerts
, Joost Vennekens, Marc Denecker:
Grounded fixpoints and their applications in knowledge representation. Artif. Intell. 224: 51-71 (2015) - [j14]Wiebe Van Ranst
, Joost Vennekens:
An OpenCL implementation of a forward sampling algorithm for CP-logic. Int. J. Approx. Reason. 67: 60-72 (2015) - [c33]Bart Bogaerts, Joost Vennekens, Marc Denecker:
Grounded Fixpoints. AAAI 2015: 1453-1459 - [c32]Sander Beckers, Joost Vennekens:
Combining Probabilistic, Causal, and Normative Reasoning in CP-Logic. AAAI Spring Symposia 2015 - [c31]Sander Beckers, Joost Vennekens:
Towards a General Framework for Actual Causation Using CP-logic. PLP@ICLP 2015: 19-38 - [c30]Bart Bogaerts, Joost Vennekens, Marc Denecker:
Partial Grounded Fixpoints. IJCAI 2015: 2784-2790 - [e1]Fabrizio Riguzzi, Joost Vennekens:
Proceedings of the 2nd International Workshop on Probabilistic Logic Programming co-located with 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31st, 2015. CEUR Workshop Proceedings 1413, CEUR-WS.org 2015 [contents] - [i14]Sander Beckers, Joost Vennekens:
Combining Probabilistic, Causal, and Normative Reasoning in CP-logic. CoRR abs/1503.01051 (2015) - [i13]Joost Vennekens:
Lowering the learning curve for declarative programming: a Python API for the IDP system. CoRR abs/1511.00916 (2015) - 2014
- [j13]Floris De Smedt, Lars Struyf, Sander Beckers, Joost Vennekens
, Gorik De Samblanx, Toon Goedemé
:
Faster and more intelligent object detection by combining OpenCL and KR. J. Ambient Intell. Humaniz. Comput. 5(5): 635-643 (2014) - [j12]Bart Bogaerts
, Joachim Jansen, Maurice Bruynooghe, Broes De Cat, Joost Vennekens
, Marc Denecker:
Simulating Dynamic Systems Using Linear Time Calculus Theories. Theory Pract. Log. Program. 14(4-5): 477-492 (2014) - [c29]Bart Bogaerts
, Joost Vennekens, Marc Denecker, Jan Van den Bussche
:
Inference in the FO(C) Modelling Language. ECAI 2014: 111-116 - [c28]Marc Denecker, Joost Vennekens:
The Well-Founded Semantics Is the Principle of Inductive Definition, Revisited. KR 2014 - [c27]Wannes Meert, Joost Vennekens:
Inhibited Effects in CP-Logic. Probabilistic Graphical Models 2014: 350-365 - [i12]Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche:
Inference in the FO(C) Modelling Language. CoRR abs/1404.6368 (2014) - [i11]Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche:
FO(C) and Related Modelling Paradigms. CoRR abs/1404.6394 (2014) - [i10]Bart Bogaerts, Joachim Jansen, Maurice Bruynooghe, Broes De Cat, Joost Vennekens, Marc Denecker:
Simulating dynamic systems using Linear Time Calculus theories. CoRR abs/1405.1523 (2014) - [i9]Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche:
FO(C): A Knowledge Representation Language of Causality. CoRR abs/1405.1833 (2014) - [i8]Sander Beckers, Joost Vennekens:
Probabilistic Definitions of Actual Causation Using CP-logic. CoRR abs/1410.7063 (2014) - 2013
- [j11]Pieter Van Hertum, Joost Vennekens, Bart Bogaerts, Jo Devriendt, Marc Denecker:
The effects of buying a new car: an extension of the IDP Knowledge Base System. Theory Pract. Log. Program. 13(4-5-Online-Supplement) (2013) - [i7]Joost Vennekens, Marc Denecker:
Extending FO(ID) with Knowledge Producing Definitions: Preliminary Results. CoRR abs/1301.1395 (2013) - [i6]Joost Vennekens:
Negation in the Head of CP-logic Rules. CoRR abs/1312.6156 (2013) - 2012
- [j10]Hanne Vlaeminck, Joost Vennekens
, Marc Denecker, Maurice Bruynooghe:
An approximative inference method for solving ∃∀SO satisfiability problems. J. Artif. Intell. Res. 45: 79-124 (2012) - [c26]Hanne Vlaeminck, Joost Vennekens
, Marc Denecker
:
A General Representation and Approximate Inference Algorithm for Sensing Actions. Australasian Conference on Artificial Intelligence 2012: 543-554 - [c25]Marc Denecker, Maurice Bruynooghe, Joost Vennekens:
Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs. Correct Reasoning 2012: 178-194 - [c24]Marc Denecker, Yuliya Lierler, Miroslaw Truszczynski, Joost Vennekens:
A Tarskian Informal Semantics for Answer Set Programming. ICLP (Technical Communications) 2012: 277-289 - [c23]Hanne Vlaeminck, Joost Vennekens, Maurice Bruynooghe, Marc Denecker:
Ordered Epistemic Logic: Semantics, Complexity and Applications. KR 2012 - [c22]Gorik De Samblanx, Floris De Smedt, Lars Struyf, Sander Beckers, Joost Vennekens, Toon Goedemé:
CPCPU: Coreful Programming on the CPU - Why a CPU can Benefit from Massive Multithreading. PECCS 2012: 196-199 - [c21]Floris De Smedt, Lars Struyf, Sander Beckers, Joost Vennekens, Gorik De Samblanx, Toon Goedemé:
Is the Game worth the Candle? - Evaluation of OpenCL for Object Detection Algorithm Optimization. PECCS 2012: 284-291 - [c20]Sander Beckers, Joost Vennekens:
Counterfactual dependency and actual causation in CP-logic and structural models: a comparison. STAIRS 2012: 35-46 - 2011
- [j9]Joost Vennekens
:
Actual causation in CP-logic. Theory Pract. Log. Program. 11(4-5): 647-662 (2011) - [c19]Marc Denecker
, Joost Vennekens
, Hanne Vlaeminck, Johan Wittocx, Maurice Bruynooghe:
Answer Set Programming's Contributions to Classical Logic - An Analysis of ASP Methodology. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 12-32 - [i5]Joost Vennekens:
Actual Causation in CP-logic. CoRR abs/1107.4865 (2011) - 2010
- [j8]Joost Vennekens
, Marc Denecker
, Maurice Bruynooghe:
FO(ID) as an extension of DL with rules. Ann. Math. Artif. Intell. 58(1-2): 85-115 (2010) - [j7]Jon Sneyers, Wannes Meert
, Joost Vennekens
, Yoshitaka Kameya, Taisuke Sato
:
CHR(PRISM)-based probabilistic logic learning. Theory Pract. Log. Program. 10(4-6): 433-447 (2010) - [c18]Maurice Bruynooghe, Theofrastos Mantadelis
, Angelika Kimmig, Bernd Gutmann, Joost Vennekens
, Gerda Janssens, Luc De Raedt
:
ProbLog Technology for Inference in a Probabilistic First Order Logic. ECAI 2010: 719-724 - [c17]Joost Vennekens
, Maurice Bruynooghe, Marc Denecker
:
Embracing Events in Causal Modelling: Interventions and Counterfactuals in CP-Logic. JELIA 2010: 313-325 - [c16]Hanne Vlaeminck, Johan Wittocx, Joost Vennekens
, Marc Denecker
, Maurice Bruynooghe:
An Approximative Inference Method for Solving THERE EXISTS FOR ALL SO Satisfiability Problems. JELIA 2010: 326-338 - [i4]Jon Sneyers, Wannes Meert, Joost Vennekens, Yoshitaka Kameya, Taisuke Sato:
CHR(PRISM)-based Probabilistic Logic Learning. CoRR abs/1007.3858 (2010)
2000 – 2009
- 2009
- [j6]Joost Vennekens
, Marc Denecker
, Maurice Bruynooghe:
CP-logic: A language of causal probabilistic events and its relation to logic programming. Theory Pract. Log. Program. 9(3): 245-308 (2009) - [c15]Joost Vennekens, Marc Denecker:
FO(ID) as an Extension of DL with Rules. ESWC 2009: 384-398 - [c14]Marc Denecker
, Joost Vennekens
:
Using Lightweight Inference to Solve Lightweight Problems. LPNMR 2009: 619-621 - [c13]Marc Denecker
, Joost Vennekens
, Stephen Bond, Martin Gebser, Miroslaw Truszczynski:
The Second Answer Set Programming Competition. LPNMR 2009: 637-654 - [c12]Hanne Vlaeminck, Joost Vennekens
, Marc Denecker
:
A logical framework for configuration software. PPDP 2009: 141-148 - [i3]Joost Vennekens, Marc Denecker, Maurice Bruynooghe:
CP-logic: A Language of Causal Probabilistic Events and Its Relation to Logic Programming. CoRR abs/0904.1672 (2009) - 2008
- [j5]Joost Vennekens:
Algebraic and logical study of constructive processes in knowledge representation. AI Commun. 21(1): 89-90 (2008) - [c11]Marc Denecker
, Joost Vennekens
:
Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic. ICLP 2008: 71-76 - 2007
- [b1]Joost Vennekens:
Algebraic and logical study of constructive processes in knowledge representation ; Algebraïsche en logische studie van constructieve processen in kennisrepresentatie. Katholieke Universiteit Leuven, Belgium, 2007 - [j4]Joost Vennekens, Johan Wittocx, Maarten Mariën, Marc Denecker:
Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming. Fundam. Informaticae 79(1-2): 187-208 (2007) - [j3]Joost Vennekens, Johan Wittocx, Maarten Mariën, Marc Denecker:
Predicate Introduction for Logics with Fixpoint Semantics. Part II: Autoepistemic Logic. Fundam. Informaticae 79(1-2): 209-227 (2007) - [j2]Joost Vennekens
, David Gilis, Marc Denecker
:
Erratum to splitting an operator: Algebraic modularity results for logics with fixpoint semantics. ACM Trans. Comput. Log. 8(1): 7 (2007) - [c10]Marc Denecker
, Joost Vennekens
:
Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions. LPNMR 2007: 84-96 - 2006
- [j1]Joost Vennekens, David Gilis, Marc Denecker:
Splitting an operator: Algebraic modularity results for logics with fixpoint semantics. ACM Trans. Comput. Log. 7(4): 765-797 (2006) - [c9]Johan Wittocx, Joost Vennekens
, Maarten Mariën, Marc Denecker
, Maurice Bruynooghe:
Predicate Introduction Under Stable and Well-Founded Semantics. ICLP 2006: 242-256 - [c8]Joost Vennekens
, Marc Denecker
, Maurice Bruynooghe:
Representing Causal Information About a Probabilistic Process. JELIA 2006: 452-464 - [c7]Jon Sneyers, Joost Vennekens, Danny De Schreye:
Probabilistic-Logical Modeling of Music. PADL 2006: 60-72 - 2005
- [c6]Joost Vennekens, Marc Denecker:
An Algebraic Account of Modularity in ID-logic. Answer Set Programming 2005 - [c5]Joost Vennekens
, Marc Denecker
:
An Algebraic Account of Modularity in ID-Logic. LPNMR 2005: 291-303 - [i2]Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski, Joost Vennekens:
05171 Abstracts Collection - Nonmonotonic Reasoning, Answer Set Programming and Constraints. Nonmonotonic Reasoning, Answer Set Programming and Constraints 2005 - 2004
- [c4]Joost Vennekens
, David Gilis, Marc Denecker
:
Splitting an Operator. ICLP 2004: 195-209 - [c3]Joost Vennekens
, Sofie Verbaeten, Maurice Bruynooghe:
Logic Programs with Annotated Disjunctions. ICLP 2004: 431-445 - [c2]Joost Vennekens, David Gilis, Marc Denecker:
Splitting an operator: an algebraic modularity result and its application to auto-epistemic logic. NMR 2004: 400-408 - [c1]Joost Vennekens, Sofie Verbaeten, Maurice Bruynooghe:
Logic programs with annotated disjunctions. NMR 2004: 409-415 - [i1]Joost Vennekens, David Gilis, Marc Denecker:
Splitting an operator: Algebraic modularity results for logics with fixpoint semantics. CoRR cs.AI/0405002 (2004)
Coauthor Index

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
Tweets on dblp homepage
Show tweets from on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter account. At the same time, Twitter will persistently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2021-04-11 00:09 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint