Joost Vennekens

154 papers A* 8A 4B 28C 5Misc 2Journal 66Unranked 37
YearRankTypeTitle / Venue / Authors
2026 C conf
An Efficient Compiler for the IDP-Z3 Knowledge Base System.
PADL
Wout Piessens, Simon Vandevelde, Joost Vennekens, Tom Schrijvers
2025 — conf
A Domain Ontology for Ishikawa Diagrams to Enhance Root Cause Analysis.
ISWC (2)
Christian Fleiner, Duo Yang, Simon Vandevelde, Joost Vennekens
2025 C conf
A Practical Approach to Handling Tabular Data in Logic.
PADL
Robin De Vogelaere, Kylian Van Dessel, Joost Vennekens
2025 J jnl
Assessing the Alignment of Popular CNNs to the Brain for Valence Appraisal.
CoRR
Laurent P. Mertens, Elahe Yargholi, Laura Van Hove, Hans P. Op de Beeck, Jan Van den Stock, Joost Vennekens
2025 — conf
DIRT: a Literature-Based Benchmark Suite for Grounders.
JELIA (1)
Lucas Van Laer, Simon Vandevelde, Joost Vennekens
2025 — conf
Towards Actionable Ishikawa Diagrams: An Exploratory Case Study From the Textile Industry.
ISWC (Industry/Doctoral Consortium/Posters/Demos)
Christian Fleiner, Simon Vandevelde, Joost Vennekens
2025 B conf
VERUS-LM: a Versatile Framework for Combining LLMs with Symbolic Reasoning.
ICLP
Benjamin Callewaert, Simon Vandevelde, Joost Vennekens
2024 B conf
"Must" people reason logically with "permission" in daily situations? An explorative experimental investigation in human reasoning of normative concepts.
CogSci
Wai Wong, Meimei Yang, Walter Schaeken, Lorenz Demey, Joost Vennekens
2024 Misc conf
An epistemic logic for modeling decisions in the context of incomplete knowledge.
SAC
Djordje Markovic, Simon Vandevelde, Linde Vanbesien, Joost Vennekens, Marc Denecker
2024 J jnl
Answer Set Programming for Flexible Payroll Management.
CoRR
Benjamin Callewaert, Joost Vennekens
2024 B conf
Efficiently Grounding FOL Using Bit Vectors.
LPNMR
Lucas Van Laer, Simon Vandevelde, Joost Vennekens
2024 J jnl
Efficiently grounding FOL using bit vectors.
CoRR
Lucas Van Laer, Simon Vandevelde, Joost Vennekens
2024 J jnl
EmoCAM: Toward Understanding What Drives CNN-based Emotion Recognition.
CoRR
Youssef Doulfoukar, Laurent P. Mertens, Joost Vennekens
2024 J jnl
Enhancing Computer Vision with Knowledge: a Rummikub Case Study.
CoRR
Simon Vandevelde, Laurent P. Mertens, Sverre Lauwers, Joost Vennekens
2024 — conf
Extending Feature Models with Types.
HICSS
Benjamin Callewaert, Simon Vandevelde, Nuno Comenda, Bart Coppens, Nicholas Decleyre, Joost Vennekens
2024 A* conf
FindingEmo: An Image Dataset for Emotion Recognition in the Wild.
NeurIPS
Laurent P. Mertens, Elahe Yargholi, Hans P. Op de Beeck, Jan Van den Stock, Joost Vennekens
2024 J jnl
FindingEmo: An Image Dataset for Emotion Recognition in the Wild.
CoRR
Laurent P. Mertens, Elahe Yargholi, Hans P. Op de Beeck, Jan Van den Stock, Joost Vennekens
2024 J jnl
Knowledge-Based Support for Adhesive Selection: Will it Stick?
Theory Pract. Log. Program.
Simon Vandevelde, Joost Vennekens, Jeroen Jordens, Bart Van Doninck, Maarten Witters
2024 J jnl
Multi-Shot Answer Set Programming for Flexible Payroll Management.
Theory Pract. Log. Program.
Benjamin Callewaert, Joost Vennekens
2024 — conf
Towards Effective Management of Verbal Probability Expressions Using a Co-Learning Approach.
HHAI
Christian Fleiner, Joost Vennekens
2024 J jnl
Trustworthiness and Responsibility in AI - Causality, Learning, and Verification (Dagstuhl Seminar 24121).
Dagstuhl Reports
Vaishak Belle, Hana Chockler, Shannon Vallor, Kush R. Varshney, Joost Vennekens, Sander Beckers
2023 J jnl
An epistemic logic for modeling decisions in the context of incomplete knowledge.
CoRR
Djordje Markovic, Simon Vandevelde, Linde Vanbesien, Joost Vennekens, Marc Denecker
2023 — conf
Color-Dependent Prediction Stability of Popular CNN Image Classification Architectures.
ICANN (1)
Laurent P. Mertens, Elahe Yargholi, Jan Van den Stock, Hans P. Op de Beeck, Joost Vennekens
2023 A* conf
FOLL-E: Teaching First Order Logic to Children.
AAAI
Simon Vandevelde, Joost Vennekens
2023 — conf
Facilitating Investment Strategy Negotiations Through Logic.
SSCI
Benjamin Callewaert, Nicholas Decleyre, Simon Vandevelde, Nuno Comenda, Bart Coppens, Joost Vennekens
2023 B conf
First International Workshop on Reciprocal Knowledge Elicitation for Human-Agent Collaboration.
HAI
Joost Vennekens, Marjolein Deryck, Christian Fleiner
2023 — conf
GPT-3 for Decision Logic Modeling.
RuleML+RR (Companion)
Alexandre Goossens, Simon Vandevelde, Jan Vanthienen, Joost Vennekens
2023 J jnl
Interactive Model Expansion in an Observable Environment.
CoRR
Pierre Carbonnelle, Joost Vennekens, Bart Bogaerts, Marc Denecker
2023 J jnl
Interactive Model Expansion in an Observable Environment.
Theory Pract. Log. Program.
Pierre Carbonnelle, Joost Vennekens, Marc Denecker, Bart Bogaerts
2023 J jnl
Knowledge-Based Support for Adhesive Selection: Will it Stick?
CoRR
Simon Vandevelde, Jeroen Jordens, Bart Van Doninck, Maarten Witters, Joost Vennekens
2023 J jnl
Students' and Professionals' Perceived Creativity In Software Engineering: A Comparative Study.
CoRR
Wouter Groeneveld, Laurens Luyten, Joost Vennekens, Kris Aerts
2023 J jnl
Tackling the DM Challenges with cDMN: A Tight Integration of DMN and Constraint Reasoning.
Theory Pract. Log. Program.
Simon Vandevelde, Bram Aerts, Joost Vennekens
2022 B conf
ASP for Flexible Payroll Management.
LPNMR
Benjamin Callewaert, Joost Vennekens
2022 J jnl
Compressing Word Embeddings Using Syllables.
CoRR
Laurent P. Mertens, Joost Vennekens
2022 — conf
Context-Aware Verification of DMN.
HICSS
Simon Vandevelde, Benjamin Callewaert, Joost Vennekens
2022 — conf
How Creatively Are We Teaching and Assessing Creativity in Computing Education: A Systematic Literature Review.
SIGCSE (1)
Wouter Groeneveld, Brett A. Becker, Joost Vennekens
2022 J jnl
IDP-Z3: a reasoning engine for FO(.).
CoRR
Pierre Carbonnelle, Simon Vandevelde, Joost Vennekens, Marc Denecker
2022 J jnl
Identifying Non-Technical Skill Gaps in Software Engineering Education: What Experts Expect But Students Don't Learn.
ACM Trans. Comput. Educ.
Wouter Groeneveld, Joost Vennekens, Kris Aerts
2022 — conf
Interactive feature modeling with background knowledge for validation and configuration.
SPLC (B)
Simon Vandevelde, Benjamin Callewaert, Joost Vennekens
2022 B conf
Knowledge-Based Support for Adhesive Selection.
LPNMR
Simon Vandevelde, Jeroen Jordens, Bart Van Doninck, Maarten Witters, Joost Vennekens
2022 J jnl
Knowledge-based decision support for machine component design: A case study.
Expert Syst. Appl.
Bram Aerts, Marjolein Deryck, Joost Vennekens
2022 — conf
On the Semantics of "null" in DMN: Undefined is not Unknown.
RuleML+RR (Companion)
Djordje Markovic, Simon Vandevelde, Joost Vennekens, Marc Denecker
2022 J jnl
Problife: a Probabilistic Game of Life.
CoRR
Simon Vandevelde, Joost Vennekens
2022 — conf
Self-Assessing Creative Problem Solving for Aspiring Software Developers: A Pilot Study.
ITiCSE (1)
Wouter Groeneveld, Lynn Van den Broeck, Joost Vennekens, Kris Aerts
2022 J jnl
Self-Assessing Creative Problem Solving for Aspiring Software Developers: A Pilot Study.
CoRR
Wouter Groeneveld, Lynn Van den Broeck, Joost Vennekens, Kris Aerts
2021 — conf
A Logic-based Multiagent Product Configuration Model.
ACSOS-C
Emad Eldeen Elakehal, Joost Vennekens
2021 J jnl
A Table-Based Representation for Probabilistic Logic: Preliminary Results.
CoRR
Simon Vandevelde, Victor Verreet, Luc De Raedt, Joost Vennekens
2021 A* conf
Combining Logic and Natural Language Processing to Support Investment Management.
KR
Marjolein Deryck, Nuno Comenda, Bart Coppens, Joost Vennekens
2021 — conf
Exploring the Role of Creativity in Software Engineering.
ICSE-SEIS
Wouter Groeneveld, Laurens Luyten, Joost Vennekens, Kris Aerts
2021 J jnl
Exploring the Role of Creativity in Software Engineering.
CoRR
Wouter Groeneveld, Laurens Luyten, Joost Vennekens, Kris Aerts
2021 J jnl
FOLASP: FO(.) as Input Language for Answer Ser Solvers.
CoRR
Kylian Van Dessel, Jo Devriendt, Joost Vennekens
2021 J jnl
Introduction to the 37th International Conference on Logic Programming Special Issue I.
Theory Pract. Log. Program.
Alex Brik, Andrea Formisano, Yanhong Annie Liu, Joost Vennekens
2021 J jnl
Introduction to the 37th International Conference on Logic Programming Special Issue II.
Theory Pract. Log. Program.
Alex Brik, Andrea Formisano, Yanhong Annie Liu, Joost Vennekens
2021 B conf
Leveraging the Power of IDP with the Flexibility of DMN: A Multifunctional API.
RuleML+RR
Simon Vandevelde, Vedavyas Etikala, Jan Vanthienen, Joost Vennekens
2021 — ed.
Proceedings 37th International Conference on Logic Programming (Technical Communications), ICLP Technical Communications 2021, Porto (virtual event), 20-27th September 2021.
ICLP Technical Communications
Andrea Formisano, Yanhong Annie Liu, Bart Bogaerts, Alex Brik, Verónica Dahl, Carmine Dodaro, Paul Fodor, Gian Luca Pozzato, Joost Vennekens, Neng-Fa Zhou
2021 — ed.
Proceedings of the 15th International Rule Challenge, 7th Industry Track, and 5th Doctoral Consortium @ RuleML+RR 2021 co-located with 17th Reasoning Web Summer School (RW 2021) and 13th DecisionCAMP 2021 as part of Declarative AI 2021, Leuven, Belgium (virtual due to Covid-19 pandemic), 8 - 15 September, 2021.
RuleML+RR (Supplement)
Ahmet Soylu, Alireza Tamaddoni-Nezhad, Nikolay Nikolov, Ioan Toma, Anna Fensel, Joost Vennekens
2021 J jnl
Tackling the DM Challenges with cDMN: A Tight Integration of DMN and Constraint Reasoning.
CoRR
Simon Vandevelde, Bram Aerts, Joost Vennekens
2021 J jnl
as Input Language for Answer Set Solvers.
Theory Pract. Log. Program.
Kylian Van Dessel, Jo Devriendt, Joost Vennekens
2020 J jnl
Engaging Software Engineering Students in Grading: The effects of peer assessment on self-evaluation, motivation, and study time.
CoRR
Wouter Groeneveld, Joost Vennekens, Kris Aerts
2020 A conf
Non-cognitive Abilities of Exceptional Software Engineers: A Delphi Study.
SIGCSE
Wouter Groeneveld, Hans Jacobs, Joost Vennekens, Kris Aerts
2020 B conf
Service-Learning for Web Technology: Observations from a Small Case Study.
ITiCSE
Joost Vennekens
2020 B conf
Soft Skills: What do Computing Program Syllabi Reveal About Non-Technical Expectations of Undergraduate Students?
ITiCSE
Wouter Groeneveld, Brett A. Becker, Joost Vennekens
2020 B conf
Tackling the DMN Challenges with cDMN: A Tight Integration of DMN and Constraint Reasoning.
RuleML+RR
Bram Aerts, Simon Vandevelde, Joost Vennekens
2020 J jnl
Tackling the DMN Challenges with cDMN: a Tight Integration of DMN and constraint reasoning.
CoRR
Bram Aerts, Simon Vandevelde, Joost Vennekens
2019 B conf
Adding Constraint Tables to the DMN Standard: Preliminary Results.
RuleML+RR
Marjolein Deryck, Bram Aerts, Joost Vennekens
2019 B conf
Aligning, Interoperating, and Co-executing Air Traffic Control Rules Across PSOA RuleML and IDP.
RuleML+RR
Marjolein Deryck, Theodoros Mitsikas, Sofia Almpani, Petros S. Stefaneas, Panayiotis Frangos, Iakovos Ouranos, Harold Boley, Joost Vennekens
2019 — conf
An Interactive Consultant.
BNAIC/BENELEARN
Pierre Carbonnelle, Bram Aerts, Marjolein Deryck, Joost Vennekens, Marc Denecker
2019 B conf
Explaining Actual Causation in Terms of Possible Causal Processes.
JELIA
Marc Denecker, Bart Bogaerts, Joost Vennekens
2019 B conf
Explaining Actual Causation via Reasoning About Actions and Change.
JELIA
Emily C. LeBlanc, Marcello Balduccini, Joost Vennekens
2019 — conf
Knowledge Elicitation within the Knowledge Base Paradigm: Disentangling Domain Knowledge from Decision Making in Industrial Applications.
RuleML+RR (Supplement)
Marjolein Deryck, Joost Vennekens
2019 — conf
Legislation in the Knowledge Base Paradigm: Interactive Decision Enactment for Registration Duties.
ICSC
Marjolein Deryck, Joost Vennekens, Jo Devriendt, Simon Marynissen
2019 J jnl
Non-cognitive abilities of exceptional software engineers: a Delphi study.
CoRR
Wouter Groeneveld, Hans Jacobs, Joost Vennekens, Kris Aerts
2019 J jnl
Software Engineering Education Beyond the Technical: A Systematic Literature Review.
CoRR
Wouter Groeneveld, Joost Vennekens, Kris Aerts
2019 J jnl
The informal semantics of Answer Set Programming: A Tarskian perspective.
CoRR
Marc Denecker, Yuliya Lierler, Miroslaw Truszczynski, Joost Vennekens
2018 B conf
A Case-Based Inquiry into the Decision Model and Notation (DMN) and the Knowledge Base (KB) Paradigm.
RuleML+RR
Marjolein Deryck, Faruk Hasic, Jan Vanthienen, Joost Vennekens
2018 J jnl
A principled approach to defining actual causation.
Synth.
Sander Beckers, Joost Vennekens
2018 — conf
Application of Logic-Based Methods to Machine Component Design.
ICLP (Technical Communications)
Bram Aerts, Joost Vennekens
2018 J jnl
Safe inductions and their applications in knowledge representation.
Artif. Intell.
Bart Bogaerts, Joost Vennekens, Marc Denecker
2018 — conf
The CAMETRON Lecture Recording System: High Quality Video Recording and Editing with Minimal Human Supervision.
MMM (1)
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 J jnl
A Logical Study of Some Common Principles of Inductive Definition and its Implications for Knowledge Representation.
CoRR
Marc Denecker, Bart Bogaerts, Joost Vennekens
2017 — conf
A Probabilistic Logic Programming Approach to Automatic Video Montage.
WICED@Eurographics
Bram Aerts, Toon Goedemé, Joost Vennekens
2017 B conf
Abnormal behavior detection in LWIR surveillance of railway platforms.
AVSS
Kristof Van Beeck, Kristof Van Engeland, Joost Vennekens, Toon Goedemé
2017 Misc conf
Alarm Management on a Liquid Bulk Terminal.
KI
Bram Aerts, Kylian Van Dessel, Joost Vennekens
2017 C conf
Lowering the Learning Curve for Declarative Programming: A Python API for the IDP System.
PADL
Joost Vennekens
2017 A* conf
Safe Inductions: An Algebraic Study.
IJCAI
Bart Bogaerts, Joost Vennekens, Marc Denecker
2016 A conf
A Probabilistic Logic Programming Approach to Automatic Video Montage.
ECAI
Bram Aerts, Toon Goedemé, Joost Vennekens
2016 J jnl
A general framework for defining and extending actual causation using CP-logic.
Int. J. Approx. Reason.
Sander Beckers, Joost Vennekens
2016 J jnl
On Well-Founded Set-Inductions and Locally Monotone Operators.
ACM Trans. Comput. Log.
Bart Bogaerts, Joost Vennekens, Marc Denecker
2016 — conf
Solving the Travelling Umpire Problem with Answer Set Programming.
BNCAI
Joost Vennekens
2015 J jnl
An OpenCL implementation of a forward sampling algorithm for CP-logic.
Int. J. Approx. Reason.
Wiebe Van Ranst, Joost Vennekens
2015 — conf
Combining Probabilistic, Causal, and Normative Reasoning in CP-Logic.
AAAI Spring Symposia
Sander Beckers, Joost Vennekens
2015 J jnl
Combining Probabilistic, Causal, and Normative Reasoning in CP-logic.
CoRR
Sander Beckers, Joost Vennekens
2015 A* conf
Grounded Fixpoints.
AAAI
Bart Bogaerts, Joost Vennekens, Marc Denecker
2015 J jnl
Grounded fixpoints and their applications in knowledge representation.
Artif. Intell.
Bart Bogaerts, Joost Vennekens, Marc Denecker
2015 J jnl
Lowering the learning curve for declarative programming: a Python API for the IDP system.
CoRR
Joost Vennekens
2015 A* conf
Partial Grounded Fixpoints.
IJCAI
Bart Bogaerts, Joost Vennekens, Marc Denecker
2015 — ed.
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.
PLP@ICLP
Fabrizio Riguzzi, Joost Vennekens
2015 — conf
Towards a General Framework for Actual Causation Using CP-logic.
PLP@ICLP
Sander Beckers, Joost Vennekens
2014 J jnl
FO(C) and Related Modelling Paradigms.
CoRR
Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche
2014 J jnl
FO(C): A Knowledge Representation Language of Causality.
CoRR
Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche
2014 J jnl
Faster and more intelligent object detection by combining OpenCL and KR.
J. Ambient Intell. Humaniz. Comput.
Floris De Smedt, Lars Struyf, Sander Beckers, Joost Vennekens, Gorik De Samblanx, Toon Goedemé
2014 A conf
Inference in the FO(C) Modelling Language.
ECAI
Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche
2014 J jnl
Inference in the FO(C) Modelling Language.
CoRR
Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche
2014 — conf
Inhibited Effects in CP-Logic.
Probabilistic Graphical Models
Wannes Meert, Joost Vennekens
2014 J jnl
Probabilistic Definitions of Actual Causation Using CP-logic.
CoRR
Sander Beckers, Joost Vennekens
2014 J jnl
Simulating Dynamic Systems Using Linear Time Calculus Theories.
Theory Pract. Log. Program.
Bart Bogaerts, Joachim Jansen, Maurice Bruynooghe, Broes De Cat, Joost Vennekens, Marc Denecker
2014 J jnl
Simulating dynamic systems using Linear Time Calculus theories.
CoRR
Bart Bogaerts, Joachim Jansen, Maurice Bruynooghe, Broes De Cat, Joost Vennekens, Marc Denecker
2014 A* conf
The Well-Founded Semantics Is the Principle of Inductive Definition, Revisited.
KR
Marc Denecker, Joost Vennekens
2013 J jnl
Extending FO(ID) with Knowledge Producing Definitions: Preliminary Results
CoRR
Joost Vennekens, Marc Denecker
2013 J jnl
Negation in the Head of CP-logic Rules.
CoRR
Joost Vennekens
2013 J jnl
The effects of buying a new car: an extension of the IDP Knowledge Base System.
Theory Pract. Log. Program.
Pieter Van Hertum, Joost Vennekens, Bart Bogaerts, Jo Devriendt, Marc Denecker
2012 — conf
A General Representation and Approximate Inference Algorithm for Sensing Actions.
Australasian Conference on Artificial Intelligence
Hanne Vlaeminck, Joost Vennekens, Marc Denecker
2012 — conf
A Tarskian Informal Semantics for Answer Set Programming.
ICLP (Technical Communications)
Marc Denecker, Yuliya Lierler, Miroslaw Truszczynski, Joost Vennekens
2012 J jnl
An approximative inference method for solving ∃∀SO satisfiability problems.
J. Artif. Intell. Res.
Hanne Vlaeminck, Joost Vennekens, Marc Denecker, Maurice Bruynooghe
2012 — conf
Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs.
Correct Reasoning
Marc Denecker, Maurice Bruynooghe, Joost Vennekens
2012 — conf
CPCPU: Coreful Programming on the CPU - Why a CPU can Benefit from Massive Multithreading.
PECCS
Gorik De Samblanx, Floris De Smedt, Lars Struyf, Sander Beckers, Joost Vennekens, Toon Goedemé
2012 — conf
Counterfactual dependency and actual causation in CP-logic and structural models: a comparison.
STAIRS
Sander Beckers, Joost Vennekens
2012 — conf
Is the Game worth the Candle? - Evaluation of OpenCL for Object Detection Algorithm Optimization.
PECCS
Floris De Smedt, Lars Struyf, Sander Beckers, Joost Vennekens, Gorik De Samblanx, Toon Goedemé
2012 A* conf
Ordered Epistemic Logic: Semantics, Complexity and Applications.
KR
Hanne Vlaeminck, Joost Vennekens, Maurice Bruynooghe, Marc Denecker
2011 J jnl
Actual Causation in CP-logic
CoRR
Joost Vennekens
2011 J jnl
Actual causation in CP-logic.
Theory Pract. Log. Program.
Joost Vennekens
2011 — conf
Answer Set Programming's Contributions to Classical Logic - An Analysis of ASP Methodology.
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
Marc Denecker, Joost Vennekens, Hanne Vlaeminck, Johan Wittocx, Maurice Bruynooghe
2010 B conf
An Approximative Inference Method for Solving THERE EXISTS FOR ALL SO Satisfiability Problems.
JELIA
Hanne Vlaeminck, Johan Wittocx, Joost Vennekens, Marc Denecker, Maurice Bruynooghe
2010 J jnl
CHR(PRISM)-based Probabilistic Logic Learning
CoRR
Jon Sneyers, Wannes Meert, Joost Vennekens, Yoshitaka Kameya, Taisuke Sato
2010 J jnl
CHR(PRISM)-based probabilistic logic learning.
Theory Pract. Log. Program.
Jon Sneyers, Wannes Meert, Joost Vennekens, Yoshitaka Kameya, Taisuke Sato
2010 B conf
Embracing Events in Causal Modelling: Interventions and Counterfactuals in CP-Logic.
JELIA
Joost Vennekens, Maurice Bruynooghe, Marc Denecker
2010 J jnl
FO(ID) as an extension of DL with rules.
Ann. Math. Artif. Intell.
Joost Vennekens, Marc Denecker, Maurice Bruynooghe
2010 A conf
ProbLog Technology for Inference in a Probabilistic First Order Logic.
ECAI
Maurice Bruynooghe, Theofrastos Mantadelis, Angelika Kimmig, Bernd Gutmann, Joost Vennekens, Gerda Janssens, Luc De Raedt
2009 C conf
A logical framework for configuration software.
PPDP
Hanne Vlaeminck, Joost Vennekens, Marc Denecker
2009 J jnl
CP-logic: A Language of Causal Probabilistic Events and Its Relation to Logic Programming
CoRR
Joost Vennekens, Marc Denecker, Maurice Bruynooghe
2009 J jnl
CP-logic: A language of causal probabilistic events and its relation to logic programming.
Theory Pract. Log. Program.
Joost Vennekens, Marc Denecker, Maurice Bruynooghe
2009 B conf
FO(ID) as an Extension of DL with Rules.
ESWC
Joost Vennekens, Marc Denecker
2009 — conf
From ProbLog to First Order Logic: A First Exploration.
MLG/SRL@ILP
Joost Vennekens, Angelika Kimmig, Theofrastos Mantadelis, Bernd Gutmann, Luc De Raedt, Maurice Bruynooghe
2009 B conf
The Second Answer Set Programming Competition.
LPNMR
Marc Denecker, Joost Vennekens, Stephen Bond, Martin Gebser, Miroslaw Truszczynski
2009 B conf
Using Lightweight Inference to Solve Lightweight Problems.
LPNMR
Marc Denecker, Joost Vennekens
2008 J jnl
Algebraic and logical study of constructive processes in knowledge representation.
AI Commun.
Joost Vennekens
2008 B conf
Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic.
ICLP
Marc Denecker, Joost Vennekens
2007 — —
Algebraic and logical study of constructive processes in knowledge representation ; Algebraïsche en logische studie van constructieve processen in kennisrepresentatie.
Joost Vennekens
2007 J jnl
Erratum to splitting an operator: Algebraic modularity results for logics with fixpoint semantics.
ACM Trans. Comput. Log.
Joost Vennekens, David Gilis, Marc Denecker
2007 J jnl
Predicate Introduction for Logics with Fixpoint Semantics. Part II: Autoepistemic Logic.
Fundam. Informaticae
Joost Vennekens, Johan Wittocx, Maarten Mariën, Marc Denecker
2007 J jnl
Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming.
Fundam. Informaticae
Joost Vennekens, Johan Wittocx, Maarten Mariën, Marc Denecker
2007 B conf
Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions.
LPNMR
Marc Denecker, Joost Vennekens
2006 B conf
Predicate Introduction Under Stable and Well-Founded Semantics.
ICLP
Johan Wittocx, Joost Vennekens, Maarten Mariën, Marc Denecker, Maurice Bruynooghe
2006 C conf
Probabilistic-Logical Modeling of Music.
PADL
Jon Sneyers, Joost Vennekens, Danny De Schreye
2006 B conf
Representing Causal Information About a Probabilistic Process.
JELIA
Joost Vennekens, Marc Denecker, Maurice Bruynooghe
2006 J jnl
Splitting an operator: Algebraic modularity results for logics with fixpoint semantics.
ACM Trans. Comput. Log.
Joost Vennekens, David Gilis, Marc Denecker
2005 — conf
05171 Abstracts Collection - Nonmonotonic Reasoning, Answer Set Programming and Constraints.
Nonmonotonic Reasoning, Answer Set Programming and Constraints
Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski, Joost Vennekens
2005 B conf
An Algebraic Account of Modularity in ID-Logic.
LPNMR
Joost Vennekens, Marc Denecker
2005 — conf
An Algebraic Account of Modularity in ID-logic.
Answer Set Programming
Joost Vennekens, Marc Denecker
2004 B conf
Logic Programs with Annotated Disjunctions.
ICLP
Joost Vennekens, Sofie Verbaeten, Maurice Bruynooghe
2004 — conf
Logic programs with annotated disjunctions.
NMR
Joost Vennekens, Sofie Verbaeten, Maurice Bruynooghe
2004 B conf
Splitting an Operator.
ICLP
Joost Vennekens, David Gilis, Marc Denecker
2004 J jnl
Splitting an operator: Algebraic modularity results for logics with fixpoint semantics
CoRR
Joost Vennekens, David Gilis, Marc Denecker
2004 — conf
Splitting an operator: an algebraic modularity result and its application to auto-epistemic logic.
NMR
Joost Vennekens, David Gilis, Marc Denecker