| 2026 | PADL | An Efficient Compiler for the IDP-Z3 Knowledge Base System. | Wout Piessens, Simon Vandevelde, Joost Vennekens, Tom Schrijvers |
| 2025 | ESANN | Enhancing Computer Vision with Knowledge: a Rummikub Case Study. | Simon Vandevelde, Laurent P. Mertens, Sverre Lauwers, Joost Vennekens |
| 2025 | JELIA | DIRT: a Literature-Based Benchmark Suite for Grounders. | Lucas Van Laer, Simon Vandevelde, Joost Vennekens |
| 2025 | PADL | A Practical Approach to Handling Tabular Data in Logic. | Robin De Vogelaere, Kylian Van Dessel, Joost Vennekens |
| 2024 | CogSci | "Must" people reason logically with "permission" in daily situations? An explorative experimental investigation in human reasoning of normative concepts. | Wai Wong, Meimei Yang, Walter Schaeken, Lorenz Demey, Joost Vennekens |
| 2024 | LPNMR | Efficiently Grounding FOL Using Bit Vectors. | Lucas Van Laer, Simon Vandevelde, Joost Vennekens |
| 2024 | SAC | An epistemic logic for modeling decisions in the context of incomplete knowledge. | Djordje Markovic, Simon Vandevelde, Linde Vanbesien, Joost Vennekens, Marc Denecker |
| 2023 | AAAI | FOLL-E: Teaching First Order Logic to Children. | Simon Vandevelde, Joost Vennekens |
| 2023 | HAI | First International Workshop on Reciprocal Knowledge Elicitation for Human-Agent Collaboration. | Joost Vennekens, Marjolein Deryck, Christian Fleiner |
| 2023 | ICANN | Color-Dependent Prediction Stability of Popular CNN Image Classification Architectures. | Laurent P. Mertens, Elahe Yargholi, Jan Van den Stock, Hans P. Op de Beeck, Joost Vennekens |
| 2022 | ITiCSE | Self-Assessing Creative Problem Solving for Aspiring Software Developers: A Pilot Study. | Wouter Groeneveld, Lynn Van den Broeck, Joost Vennekens, Kris Aerts |
| 2022 | LPNMR | ASP for Flexible Payroll Management. | Benjamin Callewaert, Joost Vennekens |
| 2022 | LPNMR | Knowledge-Based Support for Adhesive Selection. | Simon Vandevelde, Jeroen Jordens, Bart Van Doninck, Maarten Witters, Joost Vennekens |
| 2022 | SIGCSE | How Creatively Are We Teaching and Assessing Creativity in Computing Education: A Systematic Literature Review. | Wouter Groeneveld, Brett A. Becker, Joost Vennekens |
| 2022 | SPLC | Interactive feature modeling with background knowledge for validation and configuration. | Simon Vandevelde, Benjamin Callewaert, Joost Vennekens |
| 2021 | ICSE | Exploring the Role of Creativity in Software Engineering. | Wouter Groeneveld, Laurens Luyten, Joost Vennekens, Kris Aerts |
| 2021 | KR | Combining Logic and Natural Language Processing to Support Investment Management. | Marjolein Deryck, Nuno Comenda, Bart Coppens, Joost Vennekens |
| 2020 | ITiCSE | Soft Skills: What do Computing Program Syllabi Reveal About Non-Technical Expectations of Undergraduate Students? | Wouter Groeneveld, Brett A. Becker, Joost Vennekens |
| 2020 | ITiCSE | Service-Learning for Web Technology: Observations from a Small Case Study. | Joost Vennekens |
| 2020 | SIGCSE | Non-cognitive Abilities of Exceptional Software Engineers: A Delphi Study. | Wouter Groeneveld, Hans Jacobs, Joost Vennekens, Kris Aerts |
| 2019 | JELIA | Explaining Actual Causation in Terms of Possible Causal Processes. | Marc Denecker, Bart Bogaerts, Joost Vennekens |
| 2019 | JELIA | Explaining Actual Causation via Reasoning About Actions and Change. | Emily C. LeBlanc, Marcello Balduccini, Joost Vennekens |
| 2018 | ICLP | Application of Logic-Based Methods to Machine Component Design. | Bram Aerts, Joost Vennekens |
| 2018 | MMM | The CAMETRON Lecture Recording System: High Quality Video Recording and Editing with Minimal Human Supervision. | 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 |
| 2017 | AVSS | Abnormal behavior detection in LWIR surveillance of railway platforms. | Kristof Van Beeck, Kristof Van Engeland, Joost Vennekens, Toon Goedem |
| 2017 | IJCAI | Safe Inductions: An Algebraic Study. | Bart Bogaerts, Joost Vennekens, Marc Denecker |
| 2017 | KI | Alarm Management on a Liquid Bulk Terminal. | Bram Aerts, Kylian Van Dessel, Joost Vennekens |
| 2017 | PADL | Lowering the Learning Curve for Declarative Programming: A Python API for the IDP System. | Joost Vennekens |
| 2016 | ECAI | A Probabilistic Logic Programming Approach to Automatic Video Montage. | Bram Aerts, Toon Goedem, Joost Vennekens |
| 2015 | AAAI | Grounded Fixpoints. | Bart Bogaerts, Joost Vennekens, Marc Denecker |
| 2015 | ICLP | Towards a General Framework for Actual Causation Using CP-logic. | Sander Beckers, Joost Vennekens |
| 2015 | IJCAI | Partial Grounded Fixpoints. | Bart Bogaerts, Joost Vennekens, Marc Denecker |
| 2014 | ECAI | Inference in the FO(C) Modelling Language. | Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche |
| 2014 | KR | The Well-Founded Semantics Is the Principle of Inductive Definition, Revisited. | Marc Denecker, Joost Vennekens |
| 2012 | ICLP | A Tarskian Informal Semantics for Answer Set Programming. | Marc Denecker, Yuliya Lierler, Miroslaw Truszczynski, Joost Vennekens |
| 2012 | KR | Ordered Epistemic Logic: Semantics, Complexity and Applications. | Hanne Vlaeminck, Joost Vennekens, Maurice Bruynooghe, Marc Denecker |
| 2010 | ECAI | ProbLog Technology for Inference in a Probabilistic First Order Logic. | Maurice Bruynooghe, Theofrastos Mantadelis, Angelika Kimmig, Bernd Gutmann, Joost Vennekens, Gerda Janssens, Luc De Raedt |
| 2010 | JELIA | Embracing Events in Causal Modelling: Interventions and Counterfactuals in CP-Logic. | Joost Vennekens, Maurice Bruynooghe, Marc Denecker |
| 2010 | JELIA | An Approximative Inference Method for Solving THERE EXISTS FOR ALL SO Satisfiability Problems. | Hanne Vlaeminck, Johan Wittocx, Joost Vennekens, Marc Denecker, Maurice Bruynooghe |
| 2009 | LPNMR | Using Lightweight Inference to Solve Lightweight Problems. | Marc Denecker, Joost Vennekens |
| 2009 | LPNMR | The Second Answer Set Programming Competition. | Marc Denecker, Joost Vennekens, Stephen Bond, Martin Gebser, Miroslaw Truszczynski |
| 2009 | PPDP | A logical framework for configuration software. | Hanne Vlaeminck, Joost Vennekens, Marc Denecker |
| 2008 | ICLP | Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic. | Marc Denecker, Joost Vennekens |
| 2007 | LPNMR | Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions. | Marc Denecker, Joost Vennekens |
| 2006 | ICLP | Predicate Introduction Under Stable and Well-Founded Semantics. | Johan Wittocx, Joost Vennekens, Maarten Marin, Marc Denecker, Maurice Bruynooghe |
| 2006 | JELIA | Representing Causal Information About a Probabilistic Process. | Joost Vennekens, Marc Denecker, Maurice Bruynooghe |
| 2006 | PADL | Probabilistic-Logical Modeling of Music. | Jon Sneyers, Joost Vennekens, Danny De Schreye |
| 2005 | LPNMR | An Algebraic Account of Modularity in ID-Logic. | Joost Vennekens, Marc Denecker |
| 2004 | ICLP | Splitting an Operator. | Joost Vennekens, David Gilis, Marc Denecker |
| 2004 | ICLP | Logic Programs with Annotated Disjunctions. | Joost Vennekens, Sofie Verbaeten, Maurice Bruynooghe |