Joost Vennekens

ORCID

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 79

Top Venues

CoRR

Theory Pract. Log. Program.

RuleML+RR

HICSS

Katholieke Universiteit Leuven, Belgium (PHD)

Education History

Katholieke Universiteit Leuven, Belgium

PHD

Publications

Benjamin Callewaert, Joost Vennekens
Answer Set Programming for Flexible Payroll Management. CoRR (2024)
Christian Fleiner, Joost Vennekens
Towards Effective Management of Verbal Probability Expressions Using a Co-Learning Approach. HHAI (2024)
Laurent Mertens, Elahe Yargholi, Hans Op de Beeck, Jan Van den Stock, Joost Vennekens
FindingEmo: An Image Dataset for Emotion Recognition in the Wild. CoRR (2024)
Dorde Markovic, Simon Vandevelde, Linde Vanbesien, Joost Vennekens, Marc Denecker
An epistemic logic for modeling decisions in the context of incomplete knowledge. SAC (2024)
Benjamin Callewaert, Simon Vandevelde, Nuno Comenda, Bart Coppens, Nicholas Decleyre, Joost Vennekens
Extending Feature Models with Types. HICSS (2024)
Youssef Doulfoukar, Laurent Mertens, Joost Vennekens
EmoCAM: Toward Understanding What Drives CNN-based Emotion Recognition. CoRR (2024)
Alexandre Goossens, Simon Vandevelde, Jan Vanthienen, Joost Vennekens
GPT-3 for Decision Logic Modeling. RuleML+RR (Companion) (2023)
Simon Vandevelde, Bram Aerts, Joost Vennekens
Tackling the DM Challenges with cDMN: A Tight Integration of DMN and Constraint Reasoning. Theory Pract. Log. Program. 23 (3) (2023)
Dorde Markovic, Simon Vandevelde, Linde Vanbesien, Joost Vennekens, Marc Denecker
An epistemic logic for modeling decisions in the context of incomplete knowledge. CoRR (2023)
Benjamin Callewaert, Nicholas Decleyre, Simon Vandevelde, Nuno Comenda, Bart Coppens, Joost Vennekens
Facilitating Investment Strategy Negotiations Through Logic. SSCI (2023)
Pierre Carbonnelle, Joost Vennekens, Bart Bogaerts, Marc Denecker
Interactive Model Expansion in an Observable Environment. CoRR (2023)
Pierre Carbonnelle, Joost Vennekens, Marc Denecker, Bart Bogaerts
Interactive Model Expansion in an Observable Environment. Theory Pract. Log. Program. 23 (4) (2023)
Joost Vennekens, Marjolein Deryck, Christian Fleiner
First International Workshop on Reciprocal Knowledge Elicitation for Human-Agent Collaboration. HAI (2023)
Simon Vandevelde, Jeroen Jordens, Bart Van Doninck, Maarten Witters, Joost Vennekens
Knowledge-Based Support for Adhesive Selection: Will it Stick? CoRR (2023)
Simon Vandevelde, Joost Vennekens
FOLL-E: Teaching First Order Logic to Children. AAAI (2023)
Wouter Groeneveld, Laurens Luyten, Joost Vennekens, Kris Aerts
Students' and Professionals' Perceived Creativity In Software Engineering: A Comparative Study. CoRR (2023)
Ðorde Markovic, Simon Vandevelde, Joost Vennekens, Marc Denecker
On the Semantics of "null" in DMN: Undefined is not Unknown. RuleML+RR (Companion) (2022)
Wouter Groeneveld, Lynn Van den Broeck, Joost Vennekens, Kris Aerts
Self-Assessing Creative Problem Solving for Aspiring Software Developers: A Pilot Study. CoRR (2022)
Simon Vandevelde, Joost Vennekens
Problife: a Probabilistic Game of Life. CoRR (2022)
Simon Vandevelde, Benjamin Callewaert, Joost Vennekens
Interactive feature modeling with background knowledge for validation and configuration. SPLC (B) (2022)
Pierre Carbonnelle, Simon Vandevelde, Joost Vennekens, Marc Denecker
IDP-Z3: a reasoning engine for FO(.). CoRR (2022)
Simon Vandevelde, Benjamin Callewaert, Joost Vennekens
Context-Aware Verification of DMN. HICSS (2022)
Simon Vandevelde, Jeroen Jordens, Bart Van Doninck, Maarten Witters, Joost Vennekens
Knowledge-Based Support for Adhesive Selection. LPNMR (2022)
Wouter Groeneveld, Lynn Van den Broeck, Joost Vennekens, Kris Aerts
Self-Assessing Creative Problem Solving for Aspiring Software Developers: A Pilot Study. ITiCSE (1) (2022)
Wouter Groeneveld, Joost Vennekens, Kris Aerts
Identifying Non-Technical Skill Gaps in Software Engineering Education: What Experts Expect But Students Don't Learn. ACM Trans. Comput. Educ. 22 (1) (2022)
Wouter Groeneveld, Brett A. Becker, Joost Vennekens
How Creatively Are We Teaching and Assessing Creativity in Computing Education: A Systematic Literature Review. SIGCSE (1) (2022)
Bram Aerts, Marjolein Deryck, Joost Vennekens
Knowledge-based decision support for machine component design: A case study. Expert Syst. Appl. 187 (2022)
Laurent Mertens, Joost Vennekens
Compressing Word Embeddings Using Syllables. CoRR (2022)
Benjamin Callewaert, Joost Vennekens
ASP for Flexible Payroll Management. LPNMR (2022)
Simon Vandevelde, Victor Verreet, Luc De Raedt, Joost Vennekens
A Table-Based Representation for Probabilistic Logic: Preliminary Results. CoRR (2021)
Kylian Van Dessel, Jo Devriendt, Joost Vennekens
FOLASP: FO(.) as Input Language for Answer Ser Solvers. CoRR (2021)
Alex Brik, Andrea Formisano, Yanhong Annie Liu, Joost Vennekens
Introduction to the 37th International Conference on Logic Programming Special Issue II. Theory Pract. Log. Program. 21 (6) (2021)
Wouter Groeneveld, Laurens Luyten, Joost Vennekens, Kris Aerts
Exploring the Role of Creativity in Software Engineering. CoRR (2021)
Simon Vandevelde, Bram Aerts, Joost Vennekens
Tackling the DM Challenges with cDMN: A Tight Integration of DMN and Constraint Reasoning. CoRR (2021)
Wouter Groeneveld, Laurens Luyten, Joost Vennekens, Kris Aerts
Exploring the Role of Creativity in Software Engineering. ICSE-SEIS (2021)
Kylian Van Dessel, Jo Devriendt, Joost Vennekens
as Input Language for Answer Set Solvers. Theory Pract. Log. Program. 21 (6) (2021)
Simon Vandevelde, Vedavyas Etikala, Jan Vanthienen, Joost Vennekens
Leveraging the Power of IDP with the Flexibility of DMN: A Multifunctional API. RuleML+RR (2021)
Marjolein Deryck, Nuno Comenda, Bart Coppens, Joost Vennekens
Combining Logic and Natural Language Processing to Support Investment Management. KR (2021)
Alex Brik, Andrea Formisano, Yanhong Annie Liu, Joost Vennekens
Introduction to the 37th International Conference on Logic Programming Special Issue I. Theory Pract. Log. Program. 21 (5) (2021)
Emad Eldeen Elakehal, Joost Vennekens
A Logic-based Multiagent Product Configuration Model. ACSOS-C (2021)
Bram Aerts, Simon Vandevelde, Joost Vennekens
Tackling the DMN Challenges with cDMN: a Tight Integration of DMN and constraint reasoning. CoRR (2020)
Wouter Groeneveld, Brett A. Becker, Joost Vennekens
Soft Skills: What do Computing Program Syllabi Reveal About Non-Technical Expectations of Undergraduate Students? ITiCSE (2020)
Bram Aerts, Simon Vandevelde, Joost Vennekens
Tackling the DMN Challenges with cDMN: A Tight Integration of DMN and Constraint Reasoning. RuleML+RR (2020)
Wouter Groeneveld, Hans Jacobs, Joost Vennekens, Kris Aerts
Non-cognitive Abilities of Exceptional Software Engineers: A Delphi Study. SIGCSE (2020)
Joost Vennekens
Service-Learning for Web Technology: Observations from a Small Case Study. ITiCSE (2020)
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 (2020)
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)
Marjolein Deryck, Joost Vennekens, Jo Devriendt, Simon Marynissen
Legislation in the Knowledge Base Paradigm: Interactive Decision Enactment for Registration Duties. ICSC (2019)
Emily C. LeBlanc, Marcello Balduccini, Joost Vennekens
Explaining Actual Causation via Reasoning About Actions and Change. JELIA (2019)
Marc Denecker, Yuliya Lierler, Miroslaw Truszczynski, Joost Vennekens
The informal semantics of Answer Set Programming: A Tarskian perspective. CoRR (2019)
Marjolein Deryck, Joost Vennekens
Knowledge Elicitation within the Knowledge Base Paradigm: Disentangling Domain Knowledge from Decision Making in Industrial Applications. RuleML+RR (Supplement) (2019)
Pierre Carbonnelle, Bram Aerts, Marjolein Deryck, Joost Vennekens, Marc Denecker
An Interactive Consultant. BNAIC/BENELEARN (2019)
Wouter Groeneveld, Hans Jacobs, Joost Vennekens, Kris Aerts
Non-cognitive abilities of exceptional software engineers: a Delphi study. CoRR (2019)
Wouter Groeneveld, Joost Vennekens, Kris Aerts
Software Engineering Education Beyond the Technical: A Systematic Literature Review. CoRR (2019)
Marjolein Deryck, Bram Aerts, Joost Vennekens
Adding Constraint Tables to the DMN Standard: Preliminary Results. RuleML+RR (2019)
Marc Denecker, Bart Bogaerts, Joost Vennekens
Explaining Actual Causation in Terms of Possible Causal Processes. JELIA (2019)
Sander Beckers, Joost Vennekens
A principled approach to defining actual causation. Synth. 195 (2) (2018)
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)
Bram Aerts, Joost Vennekens
Application of Logic-Based Methods to Machine Component Design. ICLP (Technical Communications) (2018)
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)
Bart Bogaerts, Joost Vennekens, Marc Denecker
Safe inductions and their applications in knowledge representation. Artif. Intell. 259 (2018)
Kristof Van Beeck, Kristof Van Engeland, Joost Vennekens, Toon Goedemé
Abnormal behavior detection in LWIR surveillance of railway platforms. AVSS (2017)
Bram Aerts, Toon Goedemé, Joost Vennekens
A Probabilistic Logic Programming Approach to Automatic Video Montage. WICED@Eurographics (2017)
Marc Denecker, Bart Bogaerts, Joost Vennekens
A Logical Study of Some Common Principles of Inductive Definition and its Implications for Knowledge Representation. CoRR (2017)
Bart Bogaerts, Joost Vennekens, Marc Denecker
Safe Inductions: An Algebraic Study. IJCAI (2017)
Bram Aerts, Kylian Van Dessel, Joost Vennekens
Alarm Management on a Liquid Bulk Terminal. KI (2017)
Joost Vennekens
Lowering the Learning Curve for Declarative Programming: A Python API for the IDP System. PADL (2017)
Bart Bogaerts, Joost Vennekens, Marc Denecker
On Well-Founded Set-Inductions and Locally Monotone Operators. ACM Trans. Comput. Log. 17 (4) (2016)
Joost Vennekens
Solving the Travelling Umpire Problem with Answer Set Programming. BNCAI (2016)
Bram Aerts, Toon Goedemé, Joost Vennekens
A Probabilistic Logic Programming Approach to Automatic Video Montage. ECAI (2016)
Sander Beckers, Joost Vennekens
A general framework for defining and extending actual causation using CP-logic. Int. J. Approx. Reason. 77 (2016)
Sander Beckers, Joost Vennekens
Combining Probabilistic, Causal, and Normative Reasoning in CP-Logic. AAAI Spring Symposia (2015)
Sander Beckers, Joost Vennekens
Combining Probabilistic, Causal, and Normative Reasoning in CP-logic. CoRR (2015)
Bart Bogaerts, Joost Vennekens, Marc Denecker
Grounded Fixpoints. AAAI (2015)
Sander Beckers, Joost Vennekens
Towards a General Framework for Actual Causation Using CP-logic. PLP@ICLP (2015)
Wiebe Van Ranst, Joost Vennekens
An OpenCL implementation of a forward sampling algorithm for CP-logic. Int. J. Approx. Reason. 67 (2015)
Bart Bogaerts, Joost Vennekens, Marc Denecker
Grounded fixpoints and their applications in knowledge representation. Artif. Intell. 224 (2015)
Bart Bogaerts, Joost Vennekens, Marc Denecker
Partial Grounded Fixpoints. IJCAI (2015)
Joost Vennekens
Lowering the learning curve for declarative programming: a Python API for the IDP system. CoRR (2015)
Marc Denecker, Joost Vennekens
The Well-Founded Semantics Is the Principle of Inductive Definition, Revisited. KR (2014)
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) (2014)
Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche
Inference in the FO(C) Modelling Language. ECAI (2014)
Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche
FO(C): A Knowledge Representation Language of Causality. CoRR (2014)
Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche
Inference in the FO(C) Modelling Language. CoRR (2014)
Sander Beckers, Joost Vennekens
Probabilistic Definitions of Actual Causation Using CP-logic. CoRR (2014)
Wannes Meert, Joost Vennekens
Inhibited Effects in CP-Logic. Probabilistic Graphical Models (2014)
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) (2014)
Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche
FO(C) and Related Modelling Paradigms. CoRR (2014)
Bart Bogaerts, Joachim Jansen, Maurice Bruynooghe, Broes De Cat, Joost Vennekens, Marc Denecker
Simulating dynamic systems using Linear Time Calculus theories. CoRR (2014)
Joost Vennekens
Negation in the Head of CP-logic Rules. CoRR (2013)
Joost Vennekens, Marc Denecker
Extending FO(ID) with Knowledge Producing Definitions: Preliminary Results CoRR (2013)
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)
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)
Marc Denecker, Yuliya Lierler, Miroslaw Truszczynski, Joost Vennekens
A Tarskian Informal Semantics for Answer Set Programming. ICLP (Technical Communications) (2012)
Sander Beckers, Joost Vennekens
Counterfactual dependency and actual causation in CP-logic and structural models: a comparison. STAIRS (2012)
Marc Denecker, Maurice Bruynooghe, Joost Vennekens
Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs. Correct Reasoning (2012)
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)
Hanne Vlaeminck, Joost Vennekens, Marc Denecker, Maurice Bruynooghe
An approximative inference method for solving ∃∀SO satisfiability problems. J. Artif. Intell. Res. 45 (2012)
Hanne Vlaeminck, Joost Vennekens, Marc Denecker
A General Representation and Approximate Inference Algorithm for Sensing Actions. Australasian Conference on Artificial Intelligence (2012)
Hanne Vlaeminck, Joost Vennekens, Maurice Bruynooghe, Marc Denecker
Ordered Epistemic Logic: Semantics, Complexity and Applications. KR (2012)

Joost Vennekens.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Joost Vennekens