| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Wouter Groeneveld, Joost Vennekens, Kris Aerts |
Software Engineering Education Beyond the Technical: A Systematic Literature Review.  |
CoRR  |
2019 |
DBLP BibTeX RDF |
|
| 1 | Wouter Groeneveld, Hans Jacobs, Joost Vennekens, Kris Aerts |
Non-cognitive abilities of exceptional software engineers: a Delphi study. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
| 1 | Marc Denecker, Yuliya Lierler, Miroslaw Truszczynski, Joost Vennekens |
The informal semantics of Answer Set Programming: A Tarskian perspective. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
| 1 | Pierre Carbonnelle, Bram Aerts, Marjolein Deryck, Joost Vennekens, Marc Denecker |
An Interactive Consultant. |
BNAIC/BENELEARN |
2019 |
DBLP BibTeX RDF |
|
| 1 | Marjolein Deryck, Joost Vennekens, Jo Devriendt, Simon Marynissen |
Legislation in the Knowledge Base Paradigm: Interactive Decision Enactment for Registration Duties. |
ICSC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Denecker, Bart Bogaerts 0001, Joost Vennekens |
Explaining Actual Causation in Terms of Possible Causal Processes. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Emily C. LeBlanc, Marcello Balduccini, Joost Vennekens |
Explaining Actual Causation via Reasoning About Actions and Change. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Marjolein Deryck, Bram Aerts, Joost Vennekens |
Adding Constraint Tables to the DMN Standard: Preliminary Results. |
RuleML+RR |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Sander Beckers, Joost Vennekens |
A principled approach to defining actual causation. |
Synthese |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Bogaerts 0001, Joost Vennekens, Marc Denecker |
Safe inductions and their applications in knowledge representation. |
Artif. Intell. |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Bram Aerts, Joost Vennekens |
Application of Logic-Based Methods to Machine Component Design. |
ICLP (Technical Communications) |
2018 |
DBLP DOI BibTeX RDF |
|
| 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 |
The CAMETRON Lecture Recording System: High Quality Video Recording and Editing with Minimal Human Supervision. |
MMM (1) |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Denecker, Bart Bogaerts 0001, Joost Vennekens |
A Logical Study of Some Common Principles of Inductive Definition and its Implications for Knowledge Representation. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
| 1 | Joost Vennekens |
Lowering the Learning Curve for Declarative Programming: A Python API for the IDP System. |
PADL |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Bram Aerts, Kylian Van Dessel, Joost Vennekens |
Alarm Management on a Liquid Bulk Terminal. |
KI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Kristof Van Beeck, Kristof Van Engeland, Joost Vennekens, Toon Goedemé |
Abnormal behavior detection in LWIR surveillance of railway platforms. |
AVSS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Bram Aerts, Toon Goedemé, Joost Vennekens |
A Probabilistic Logic Programming Approach to Automatic Video Montage. |
WICED |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Bogaerts 0001, Joost Vennekens, Marc Denecker |
Safe Inductions: An Algebraic Study. |
IJCAI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Bogaerts 0001, Joost Vennekens, Marc Denecker |
On Well-Founded Set-Inductions and Locally Monotone Operators. |
ACM Trans. Comput. Log. |
2016 |
DBLP BibTeX RDF |
|
| 1 | Sander Beckers, Joost Vennekens |
A general framework for defining and extending actual causation using CP-logic. |
Int. J. Approx. Reasoning |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Bram Aerts, Toon Goedemé, Joost Vennekens |
A Probabilistic Logic Programming Approach to Automatic Video Montage. |
ECAI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost Vennekens |
Solving the Travelling Umpire Problem with Answer Set Programming. |
BNCAI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Wiebe Van Ranst, Joost Vennekens |
An OpenCL implementation of a forward sampling algorithm for CP-logic. |
Int. J. Approx. Reasoning |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Bogaerts 0001, Joost Vennekens, Marc Denecker |
Grounded fixpoints and their applications in knowledge representation. |
Artif. Intell. |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost Vennekens |
Lowering the learning curve for declarative programming: a Python API for the IDP system. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
| 1 | Sander Beckers, Joost Vennekens |
Combining Probabilistic, Causal, and Normative Reasoning in CP-logic. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
| 1 | Fabrizio Riguzzi, Joost Vennekens (eds.) |
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 |
2015 |
DBLP BibTeX RDF |
|
| 1 | Sander Beckers, Joost Vennekens |
Towards a General Framework for Actual Causation Using CP-logic. |
PLP@ICLP |
2015 |
DBLP BibTeX RDF |
|
| 1 | Bart Bogaerts 0001, Joost Vennekens, Marc Denecker |
Grounded Fixpoints. |
AAAI |
2015 |
DBLP BibTeX RDF |
|
| 1 | Sander Beckers, Joost Vennekens |
Combining Probabilistic, Causal, and Normative Reasoning in CP-Logic. |
AAAI Spring Symposia |
2015 |
DBLP BibTeX RDF |
|
| 1 | Bart Bogaerts 0001, Joost Vennekens, Marc Denecker |
Partial Grounded Fixpoints. |
IJCAI |
2015 |
DBLP BibTeX RDF |
|
| 1 | 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 Intelligence and Humanized Computing |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Bogaerts 0001, Joachim Jansen, Maurice Bruynooghe, Broes De Cat, Joost Vennekens, Marc Denecker |
Simulating dynamic systems using Linear Time Calculus theories. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Bart Bogaerts 0001, Joost Vennekens, Marc Denecker, Jan Van den Bussche |
Inference in the FO(C) Modelling Language. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Bart Bogaerts 0001, Joost Vennekens, Marc Denecker, Jan Van den Bussche |
FO(C): A Knowledge Representation Language of Causality. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Bart Bogaerts 0001, Joost Vennekens, Marc Denecker, Jan Van den Bussche |
FO(C) and Related Modelling Paradigms. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Sander Beckers, Joost Vennekens |
Probabilistic Definitions of Actual Causation Using CP-logic. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Bart Bogaerts 0001, Joachim Jansen, Maurice Bruynooghe, Broes De Cat, Joost Vennekens, Marc Denecker |
Simulating Dynamic Systems Using Linear Time Calculus Theories. |
TPLP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Wannes Meert, Joost Vennekens |
Inhibited Effects in CP-Logic. |
Probabilistic Graphical Models |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Bogaerts 0001, Joost Vennekens, Marc Denecker, Jan Van den Bussche |
Inference in the FO(C) Modelling Language. |
ECAI |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Denecker, Joost Vennekens |
The Well-Founded Semantics Is the Principle of Inductive Definition, Revisited. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Joost Vennekens, Marc Denecker |
Extending FO(ID) with Knowledge Producing Definitions: Preliminary Results |
CoRR |
2013 |
DBLP BibTeX RDF |
|
| 1 | Joost Vennekens |
Negation in the Head of CP-logic Rules. |
CoRR |
2013 |
DBLP BibTeX RDF |
|
| 1 | Pieter Van Hertum, Joost Vennekens, Bart Bogaerts 0001, Jo Devriendt, Marc Denecker |
The effects of buying a new car: an extension of the IDP Knowledge Base System. |
TPLP |
2013 |
DBLP BibTeX RDF |
|
| 1 | Hanne Vlaeminck, Joost Vennekens, Marc Denecker, Maurice Bruynooghe |
An approximative inference method for solving ∃∀SO satisfiability problems. |
J. Artif. Intell. Res. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Denecker, Maurice Bruynooghe, Joost Vennekens |
Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs. |
Correct Reasoning |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Denecker, Yuliya Lierler, Miroslaw Truszczynski, Joost Vennekens |
A Tarskian Informal Semantics for Answer Set Programming. |
ICLP (Technical Communications) |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Sander Beckers, Joost Vennekens |
Counterfactual dependency and actual causation in CP-logic and structural models: a comparison. |
STAIRS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hanne Vlaeminck, Joost Vennekens, Maurice Bruynooghe, Marc Denecker |
Ordered Epistemic Logic: Semantics, Complexity and Applications. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Hanne Vlaeminck, Joost Vennekens, Marc Denecker |
A General Representation and Approximate Inference Algorithm for Sensing Actions. |
Australasian Conference on Artificial Intelligence |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost Vennekens |
Actual Causation in CP-logic |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Joost Vennekens |
Actual causation in CP-logic. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost Vennekens, Marc Denecker, Maurice Bruynooghe |
FO(ID) as an extension of DL with rules. |
Ann. Math. Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Sneyers, Wannes Meert, Joost Vennekens, Yoshitaka Kameya, Taisuke Sato |
CHR(PRISM)-based Probabilistic Logic Learning |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jon Sneyers, Wannes Meert, Joost Vennekens, Yoshitaka Kameya, Taisuke Sato |
CHR(PRISM)-based probabilistic logic learning. |
TPLP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost Vennekens, Maurice Bruynooghe, Marc Denecker |
Embracing Events in Causal Modelling: Interventions and Counterfactuals in CP-Logic. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost Vennekens, Marc Denecker, Maurice Bruynooghe |
CP-logic: A Language of Causal Probabilistic Events and Its Relation to Logic Programming |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Joost Vennekens, Marc Denecker, Maurice Bruynooghe |
CP-logic: A language of causal probabilistic events and its relation to logic programming. |
TPLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost Vennekens, Marc Denecker |
FO(ID) as an Extension of DL with Rules. |
ESWC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Denecker, Joost Vennekens |
Using Lightweight Inference to Solve Lightweight Problems. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Denecker, Joost Vennekens, Stephen Bond, Martin Gebser, Miroslaw Truszczynski |
The Second Answer Set Programming Competition. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hanne Vlaeminck, Joost Vennekens, Marc Denecker |
A logical framework for configuration software. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
software engineering, knowledge representation, product configuration |
| 1 | Joost Vennekens |
Algebraic and logical study of constructive processes in knowledge representation. |
AI Commun. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Marc Denecker, Joost Vennekens |
Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost Vennekens, Johan Wittocx, Maarten Mariën, Marc Denecker |
Predicate Introduction for Logics with Fixpoint Semantics. Part II: Autoepistemic Logic. |
Fundam. Inform. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Joost Vennekens, Johan Wittocx, Maarten Mariën, Marc Denecker |
Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming. |
Fundam. Inform. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Joost Vennekens, David Gilis, Marc Denecker |
Erratum to splitting an operator: Algebraic modularity results for logics with fixpoint semantics. |
ACM Trans. Comput. Log. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Denecker, Joost Vennekens |
Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions. |
LPNMR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost Vennekens |
Algebraic and logical study of constructive processes in knowledge representation ; Algebraïsche en logische studie van constructieve processen in kennisrepresentatie. |
|
2007 |
RDF |
|
| 1 | Joost Vennekens, David Gilis, Marc Denecker |
Splitting an operator: Algebraic modularity results for logics with fixpoint semantics. |
ACM Trans. Comput. Log. |
2006 |
DBLP DOI BibTeX RDF |
auto-epistemic logic, logic programming, Modularity, default logic |
| 1 | Jon Sneyers, Joost Vennekens, Danny De Schreye |
Probabilistic-Logical Modeling of Music. |
PADL |
2006 |
DBLP DOI BibTeX RDF |
automatic music composition, PRISM, music classification, probabilistic-logical programming |
| 1 | Johan Wittocx, Joost Vennekens, Maarten Mariën, Marc Denecker, Maurice Bruynooghe |
Predicate Introduction Under Stable and Well-Founded Semantics. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost Vennekens, Marc Denecker, Maurice Bruynooghe |
Representing Causal Information About a Probabilistic Process. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Joost Vennekens, Marc Denecker |
An Algebraic Account of Modularity in ID-Logic. |
LPNMR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost Vennekens, Marc Denecker |
An Algebraic Account of Modularity in ID-logic. |
Answer Set Programming |
2005 |
DBLP BibTeX RDF |
|
| 1 | Joost Vennekens, David Gilis, Marc Denecker |
Splitting an operator: Algebraic modularity results for logics with fixpoint semantics |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Joost Vennekens, David Gilis, Marc Denecker |
Splitting an operator: an algebraic modularity result and its application to auto-epistemic logic. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Joost Vennekens, Sofie Verbaeten, Maurice Bruynooghe |
Logic programs with annotated disjunctions. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Joost Vennekens, David Gilis, Marc Denecker |
Splitting an Operator. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost Vennekens, Sofie Verbaeten, Maurice Bruynooghe |
Logic Programs with Annotated Disjunctions. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license