Splitting an Operator. - Joost Vennekens; David Gilis; Marc Denecker (ICLP, 2004)

Logic Programs with Annotated Disjunctions. - Joost Vennekens; Sofie Verbaeten; Maurice Bruynooghe (ICLP, 2004)

Splitting an operator: an algebraic modularity result and its application to auto-epistemic logic. - Joost Vennekens; David Gilis; Marc Denecker (NMR, 2004)

An Algebraic Account of Modularity in ID-logic. - Joost Vennekens; Marc Denecker (Answer Set Programming, 2005)

05171 Abstracts Collection - Nonmonotonic Reasoning, Answer Set Programming and Constraints. - Gerhard Brewka; Ilkka Niemelä; Torsten Schaub; Miroslaw Truszczynski; Joost Vennekens (Nonmonotonic Reasoning, Answer Set Programming and Constraints, 2005)

Predicate Introduction Under Stable and Well-Founded Semantics. - Johan Wittocx; Joost Vennekens; Maarten Mariën; Marc Denecker; Maurice Bruynooghe (ICLP, 2006)

Representing Causal Information About a Probabilistic Process. - Joost Vennekens; Marc Denecker; Maurice Bruynooghe (JELIA, 2006)

Probabilistic-Logical Modeling of Music. - Jon Sneyers; Joost Vennekens; Danny De Schreye (PADL, 2006)

Splitting an operator: Algebraic modularity results for logics with fixpoint semantics. - Joost Vennekens; David Gilis; Marc Denecker (ACM Trans. Comput. Log., 2006)

Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions. - Marc Denecker; Joost Vennekens (LPNMR, 2007)

Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming. - Joost Vennekens; Johan Wittocx; Maarten Mariën; Marc Denecker (Fundam. Informaticae, 2007)

Predicate Introduction for Logics with Fixpoint Semantics. Part II: Autoepistemic Logic. - Joost Vennekens; Johan Wittocx; Maarten Mariën; Marc Denecker (Fundam. Informaticae, 2007)

Erratum to splitting an operator: Algebraic modularity results for logics with fixpoint semantics. - Joost Vennekens; David Gilis; Marc Denecker (ACM Trans. Comput. Log., 2007)

Algebraic and logical study of constructive processes in knowledge representation ; Algebraïsche en logische studie van constructieve processen in kennisrepresentatie. - Joost Vennekens (2007)

Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic. - Marc Denecker; Joost Vennekens (ICLP, 2008)

Algebraic and logical study of constructive processes in knowledge representation. - Joost Vennekens (AI Commun., 2008)

FO(ID) as an Extension of DL with Rules. - Joost Vennekens; Marc Denecker (ESWC, 2009)

Using Lightweight Inference to Solve Lightweight Problems. - Marc Denecker; Joost Vennekens (LPNMR, 2009)

The Second Answer Set Programming Competition. - Marc Denecker; Joost Vennekens; Stephen Bond; Martin Gebser; Miroslaw Truszczynski (LPNMR, 2009)

From ProbLog to First Order Logic: A First Exploration. - Joost Vennekens; Angelika Kimmig; Theofrastos Mantadelis; Bernd Gutmann; Luc De Raedt; Maurice Bruynooghe (MLG/SRL@ILP, 2009)

A logical framework for configuration software. - Hanne Vlaeminck; Joost Vennekens; Marc Denecker (PPDP, 2009)

CP-logic: A language of causal probabilistic events and its relation to logic programming. - Joost Vennekens; Marc Denecker; Maurice Bruynooghe (Theory Pract. Log. Program., 2009)

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 (ECAI, 2010)

Embracing Events in Causal Modelling: Interventions and Counterfactuals in CP-Logic. - Joost Vennekens; Maurice Bruynooghe; Marc Denecker (JELIA, 2010)

An Approximative Inference Method for Solving THERE EXISTS FOR ALL SO Satisfiability Problems. - Hanne Vlaeminck; Johan Wittocx; Joost Vennekens; Marc Denecker; Maurice Bruynooghe (JELIA, 2010)

FO(ID) as an extension of DL with rules. - Joost Vennekens; Marc Denecker; Maurice Bruynooghe (Ann. Math. Artif. Intell., 2010)

CHR(PRISM)-based probabilistic logic learning. - Jon Sneyers; Wannes Meert; Joost Vennekens; Yoshitaka Kameya; Taisuke Sato (Theory Pract. Log. Program., 2010)

Answer Set Programming's Contributions to Classical Logic - An Analysis of ASP Methodology. - Marc Denecker; Joost Vennekens; Hanne Vlaeminck; Johan Wittocx; Maurice Bruynooghe (Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011)

Actual causation in CP-logic. - Joost Vennekens (Theory Pract. Log. Program., 2011)

A General Representation and Approximate Inference Algorithm for Sensing Actions. - Hanne Vlaeminck; Joost Vennekens; Marc Denecker (Australasian Conference on Artificial Intelligence, 2012)

Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs. - Marc Denecker; Maurice Bruynooghe; Joost Vennekens (Correct Reasoning, 2012)

A Tarskian Informal Semantics for Answer Set Programming. - Marc Denecker; Yuliya Lierler; Miroslaw Truszczynski; Joost Vennekens (ICLP (Technical Communications), 2012)

Ordered Epistemic Logic: Semantics, Complexity and Applications. - Hanne Vlaeminck; Joost Vennekens; Maurice Bruynooghe; Marc Denecker (KR, 2012)

CPCPU: Coreful Programming on the CPU - Why a CPU can Benefit from Massive Multithreading. - Gorik De Samblanx; Floris De Smedt; Lars Struyf; Sander Beckers; Joost Vennekens; Toon Goedemé (PECCS, 2012)

Is the Game worth the Candle? - Evaluation of OpenCL for Object Detection Algorithm Optimization. - Floris De Smedt; Lars Struyf; Sander Beckers; Joost Vennekens; Gorik De Samblanx; Toon Goedemé (PECCS, 2012)

Counterfactual dependency and actual causation in CP-logic and structural models: a comparison. - Sander Beckers; Joost Vennekens (STAIRS, 2012)

An approximative inference method for solving ∃∀SO satisfiability problems. - Hanne Vlaeminck; Joost Vennekens; Marc Denecker; Maurice Bruynooghe (J. Artif. Intell. Res., 2012)

Negation in the Head of CP-logic Rules. - Joost Vennekens (CoRR, 2013)

Extending FO(ID) with Knowledge Producing Definitions: Preliminary Results - Joost Vennekens; Marc Denecker (CoRR, 2013)

The effects of buying a new car: an extension of the IDP Knowledge Base System. - Pieter Van Hertum; Joost Vennekens; Bart Bogaerts 001; Jo Devriendt; Marc Denecker (Theory Pract. Log. Program., 2013)

Inference in the FO(C) Modelling Language. - Bart Bogaerts 001; Joost Vennekens; Marc Denecker; Jan Van den Bussche (ECAI, 2014)

The Well-Founded Semantics Is the Principle of Inductive Definition, Revisited. - Marc Denecker; Joost Vennekens (KR, 2014)

Inhibited Effects in CP-Logic. - Wannes Meert; Joost Vennekens (Probabilistic Graphical Models, 2014)

Probabilistic Definitions of Actual Causation Using CP-logic. - Sander Beckers; Joost Vennekens (CoRR, 2014)

FO(C) and Related Modelling Paradigms. - Bart Bogaerts 001; Joost Vennekens; Marc Denecker; Jan Van den Bussche (CoRR, 2014)

FO(C): A Knowledge Representation Language of Causality. - Bart Bogaerts 001; Joost Vennekens; Marc Denecker; Jan Van den Bussche (CoRR, 2014)

Faster and more intelligent object detection by combining OpenCL and KR. - Floris De Smedt; Lars Struyf; Sander Beckers; Joost Vennekens; Gorik De Samblanx; Toon Goedemé (J. Ambient Intell. Humaniz. Comput., 2014)

Simulating Dynamic Systems Using Linear Time Calculus Theories. - Bart Bogaerts 001; Joachim Jansen; Maurice Bruynooghe; Broes De Cat; Joost Vennekens; Marc Denecker (Theory Pract. Log. Program., 2014)

Grounded Fixpoints. - Bart Bogaerts 001; Joost Vennekens; Marc Denecker (AAAI, 2015)

Combining Probabilistic, Causal, and Normative Reasoning in CP-Logic. - Sander Beckers; Joost Vennekens (AAAI Spring Symposia, 2015)

Towards a General Framework for Actual Causation Using CP-logic. - Sander Beckers; Joost Vennekens (PLP@ICLP, 2015)

Partial Grounded Fixpoints. - Bart Bogaerts 001; Joost Vennekens; Marc Denecker (IJCAI, 2015)

Grounded fixpoints and their applications in knowledge representation. - Bart Bogaerts 001; Joost Vennekens; Marc Denecker (Artif. Intell., 2015)

An OpenCL implementation of a forward sampling algorithm for CP-logic. - Wiebe Van Ranst; Joost Vennekens (Int. J. Approx. Reason., 2015)

Solving the Travelling Umpire Problem with Answer Set Programming. - Joost Vennekens (BNCAI, 2016)

A Probabilistic Logic Programming Approach to Automatic Video Montage. - Bram Aerts; Toon Goedemé; Joost Vennekens (ECAI, 2016)

A general framework for defining and extending actual causation using CP-logic. - Sander Beckers; Joost Vennekens (Int. J. Approx. Reason., 2016)

On Well-Founded Set-Inductions and Locally Monotone Operators. - Bart Bogaerts 001; Joost Vennekens; Marc Denecker (ACM Trans. Comput. Log., 2016)

Abnormal behavior detection in LWIR surveillance of railway platforms. - Kristof Van Beeck; Kristof Van Engeland; Joost Vennekens; Toon Goedemé (AVSS, 2017)

Safe Inductions: An Algebraic Study. - Bart Bogaerts 001; Joost Vennekens; Marc Denecker (IJCAI, 2017)

Alarm Management on a Liquid Bulk Terminal. - Bram Aerts; Kylian Van Dessel; Joost Vennekens (KI, 2017)

Lowering the Learning Curve for Declarative Programming: A Python API for the IDP System. - Joost Vennekens (PADL, 2017)

A Logical Study of Some Common Principles of Inductive Definition and its Implications for Knowledge Representation. - Marc Denecker; Bart Bogaerts 001; Joost Vennekens (CoRR, 2017)

Application of Logic-Based Methods to Machine Component Design. - Bram Aerts; Joost Vennekens (ICLP (Technical Communications), 2018)

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 (MMM (1), 2018)

A Case-Based Inquiry into the Decision Model and Notation (DMN) and the Knowledge Base (KB) Paradigm. - Marjolein Deryck; Faruk Hasic; Jan Vanthienen; Joost Vennekens (RuleML+RR, 2018)

Safe inductions and their applications in knowledge representation. - Bart Bogaerts 001; Joost Vennekens; Marc Denecker (Artif. Intell., 2018)

A principled approach to defining actual causation. - Sander Beckers; Joost Vennekens (Synth., 2018)

An Interactive Consultant. - Pierre Carbonnelle; Bram Aerts; Marjolein Deryck; Joost Vennekens; Marc Denecker (BNAIC/BENELEARN, 2019)

Explaining Actual Causation in Terms of Possible Causal Processes. - Marc Denecker; Bart Bogaerts 001; Joost Vennekens (JELIA, 2019)

Explaining Actual Causation via Reasoning About Actions and Change. - Emily C. LeBlanc; Marcello Balduccini; Joost Vennekens (JELIA, 2019)

Adding Constraint Tables to the DMN Standard: Preliminary Results. - Marjolein Deryck; Bram Aerts; Joost Vennekens (RuleML+RR, 2019)

Aligning, Interoperating, and Co-executing Air Traffic Control Rules Across PSOA RuleML and IDP. - Marjolein Deryck; Theodoros Mitsikas; Sofia Almpani; Petros S. Stefaneas; Panayiotis Frangos; Iakovos Ouranos; Harold Boley; Joost Vennekens (RuleML+RR, 2019)

Knowledge Elicitation within the Knowledge Base Paradigm: Disentangling Domain Knowledge from Decision Making in Industrial Applications. - Marjolein Deryck; Joost Vennekens (RuleML+RR (Supplement), 2019)

Legislation in the Knowledge Base Paradigm: Interactive Decision Enactment for Registration Duties. - Marjolein Deryck; Joost Vennekens; Jo Devriendt; Simon Marynissen (ICSC, 2019)

The informal semantics of Answer Set Programming: A Tarskian perspective. - Marc Denecker; Yuliya Lierler; Miroslaw Truszczynski; Joost Vennekens (CoRR, 2019)

Software Engineering Education Beyond the Technical: A Systematic Literature Review. - Wouter Groeneveld; Joost Vennekens; Kris Aerts (CoRR, 2019)

Soft Skills: What do Computing Program Syllabi Reveal About Non-Technical Expectations of Undergraduate Students? - Wouter Groeneveld; Brett A. Becker; Joost Vennekens (ITiCSE, 2020)

Service-Learning for Web Technology: Observations from a Small Case Study. - Joost Vennekens (ITiCSE, 2020)

Tackling the DMN Challenges with cDMN: A Tight Integration of DMN and Constraint Reasoning. - Bram Aerts; Simon Vandevelde; Joost Vennekens (RuleML+RR, 2020)

Non-cognitive Abilities of Exceptional Software Engineers: A Delphi Study. - Wouter Groeneveld; Hans Jacobs; Joost Vennekens; Kris Aerts (SIGCSE, 2020)

Engaging Software Engineering Students in Grading: The effects of peer assessment on self-evaluation, motivation, and study time. - Wouter Groeneveld; Joost Vennekens; Kris Aerts (CoRR, 2020)

A Logic-based Multiagent Product Configuration Model. - Emad Eldeen Elakehal; Joost Vennekens (ACSOS-C, 2021)

Exploring the Role of Creativity in Software Engineering. - Wouter Groeneveld; Laurens Luyten; Joost Vennekens; Kris Aerts (ICSE-SEIS, 2021)

Combining Logic and Natural Language Processing to Support Investment Management. - Marjolein Deryck; Nuno Comenda; Bart Coppens 002; Joost Vennekens (KR, 2021)

Leveraging the Power of IDP with the Flexibility of DMN: A Multifunctional API. - Simon Vandevelde; Vedavyas Etikala; Jan Vanthienen; Joost Vennekens (RuleML+RR, 2021)

FOLASP: FO(.) as Input Language for Answer Ser Solvers. - Kylian Van Dessel; Jo Devriendt; Joost Vennekens (CoRR, 2021)

A Table-Based Representation for Probabilistic Logic: Preliminary Results. - Simon Vandevelde; Victor Verreet; Luc De Raedt; Joost Vennekens (CoRR, 2021)

Introduction to the 37th International Conference on Logic Programming Special Issue I. - Alex Brik; Andrea Formisano 001; Yanhong Annie Liu; Joost Vennekens (Theory Pract. Log. Program., 2021)

Introduction to the 37th International Conference on Logic Programming Special Issue II. - Alex Brik; Andrea Formisano 001; Yanhong Annie Liu; Joost Vennekens (Theory Pract. Log. Program., 2021)

as Input Language for Answer Set Solvers. - Kylian Van Dessel; Jo Devriendt; Joost Vennekens (Theory Pract. Log. Program., 2021)

Context-Aware Verification of DMN. - Simon Vandevelde; Benjamin Callewaert; Joost Vennekens (HICSS, 2022)

Self-Assessing Creative Problem Solving for Aspiring Software Developers: A Pilot Study. - Wouter Groeneveld; Lynn Van den Broeck; Joost Vennekens; Kris Aerts (ITiCSE (1), 2022)

ASP for Flexible Payroll Management. - Benjamin Callewaert; Joost Vennekens (LPNMR, 2022)

Knowledge-Based Support for Adhesive Selection. - Simon Vandevelde; Jeroen Jordens; Bart Van Doninck; Maarten Witters; Joost Vennekens (LPNMR, 2022)

On the Semantics of "null" in DMN: Undefined is not Unknown. - Djordje Markovic; Simon Vandevelde; Joost Vennekens; Marc Denecker (RuleML+RR (Companion), 2022)

How Creatively Are We Teaching and Assessing Creativity in Computing Education: A Systematic Literature Review. - Wouter Groeneveld; Brett A. Becker; Joost Vennekens (SIGCSE (1), 2022)

Interactive feature modeling with background knowledge for validation and configuration. - Simon Vandevelde; Benjamin Callewaert; Joost Vennekens (SPLC (B), 2022)

Compressing Word Embeddings Using Syllables. - Laurent Mertens; Joost Vennekens (CoRR, 2022)

Problife: a Probabilistic Game of Life. - Simon Vandevelde; Joost Vennekens (CoRR, 2022)

IDP-Z3: a reasoning engine for FO(.). - Pierre Carbonnelle; Simon Vandevelde; Joost Vennekens; Marc Denecker (CoRR, 2022)

Knowledge-based decision support for machine component design: A case study. - Bram Aerts; Marjolein Deryck; Joost Vennekens (Expert Syst. Appl., 2022)

Identifying Non-Technical Skill Gaps in Software Engineering Education: What Experts Expect But Students Don't Learn. - Wouter Groeneveld; Joost Vennekens; Kris Aerts (ACM Trans. Comput. Educ., 2022)

FOLL-E: Teaching First Order Logic to Children. - Simon Vandevelde; Joost Vennekens (AAAI, 2023)

First International Workshop on Reciprocal Knowledge Elicitation for Human-Agent Collaboration. - Joost Vennekens; Marjolein Deryck; Christian Fleiner (HAI, 2023)

Color-Dependent Prediction Stability of Popular CNN Image Classification Architectures. - Laurent Mertens; Elahe Yargholi; Jan Van den Stock; Hans P. Op de Beeck; Joost Vennekens (ICANN (1), 2023)

GPT-3 for Decision Logic Modeling. - Alexandre Goossens; Simon Vandevelde; Jan Vanthienen; Joost Vennekens (RuleML+RR (Companion), 2023)

Facilitating Investment Strategy Negotiations Through Logic. - Benjamin Callewaert; Nicholas Decleyre; Simon Vandevelde; Nuno Comenda; Bart Coppens 002; Joost Vennekens (SSCI, 2023)

Students' and Professionals' Perceived Creativity In Software Engineering: A Comparative Study. - Wouter Groeneveld; Laurens Luyten; Joost Vennekens; Kris Aerts (CoRR, 2023)

Tackling the DM Challenges with cDMN: A Tight Integration of DMN and Constraint Reasoning. - Simon Vandevelde; Bram Aerts; Joost Vennekens (Theory Pract. Log. Program., 2023)

Interactive Model Expansion in an Observable Environment. - Pierre Carbonnelle; Joost Vennekens; Marc Denecker; Bart Bogaerts 001 (Theory Pract. Log. Program., 2023)

Towards Effective Management of Verbal Probability Expressions Using a Co-Learning Approach. - Christian Fleiner; Joost Vennekens (HHAI, 2024)

Extending Feature Models with Types. - Benjamin Callewaert; Simon Vandevelde; Nuno Comenda; Bart Coppens 002; Nicholas Decleyre; Joost Vennekens (HICSS, 2024)

Efficiently Grounding FOL Using Bit Vectors. - Lucas Van Laer; Simon Vandevelde; Joost Vennekens (LPNMR, 2024)

FindingEmo: An Image Dataset for Emotion Recognition in the Wild. - Laurent Mertens; Elahe Yargholi; Hans P. Op de Beeck; Jan Van den Stock; Joost Vennekens (NeurIPS, 2024)

An epistemic logic for modeling decisions in the context of incomplete knowledge. - Djordje Markovic; Simon Vandevelde; Linde Vanbesien; Joost Vennekens; Marc Denecker (SAC, 2024)

Answer Set Programming for Flexible Payroll Management. - Benjamin Callewaert; Joost Vennekens (CoRR, 2024)

EmoCAM: Toward Understanding What Drives CNN-based Emotion Recognition. - Youssef Doulfoukar; Laurent Mertens; Joost Vennekens (CoRR, 2024)

Enhancing Computer Vision with Knowledge: a Rummikub Case Study. - Simon Vandevelde; Laurent Mertens; Sverre Lauwers; Joost Vennekens (CoRR, 2024)

Trustworthiness and Responsibility in AI - Causality, Learning, and Verification (Dagstuhl Seminar 24121). - Vaishak Belle; Hana Chockler; Shannon Vallor; Kush R. Varshney; Joost Vennekens; Sander Beckers (Dagstuhl Reports, 2024)

Multi-Shot Answer Set Programming for Flexible Payroll Management. - Benjamin Callewaert; Joost Vennekens (Theory Pract. Log. Program., 2024)

Knowledge-Based Support for Adhesive Selection: Will it Stick? - Simon Vandevelde; Joost Vennekens; Jeroen Jordens; Bart Van Doninck; Maarten Witters (Theory Pract. Log. Program., 2024)

DIRT: a Literature-Based Benchmark Suite for Grounders. - Lucas Van Laer; Simon Vandevelde; Joost Vennekens (JELIA (1), 2025)

A Practical Approach to Handling Tabular Data in Logic. - Robin De Vogelaere; Kylian Van Dessel; Joost Vennekens (PADL, 2025)

VERUS-LM: a Versatile Framework for Combining LLMs with Symbolic Reasoning. - Benjamin Callewaert; Simon Vandevelde; Joost Vennekens (CoRR, 2025)