Joost Vennekens

Joost Vennekens, Marc Denecker: Extending FO(ID) with Knowledge Producing Definitions: Preliminary Results. CoRR abs/1301.1395 (2013)

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

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

Marc Denecker, Maurice Bruynooghe, Joost Vennekens: Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs. Correct Reasoning 2012: 178-194

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

Hanne Vlaeminck, Joost Vennekens, Maurice Bruynooghe, Marc Denecker: Ordered Epistemic Logic: Semantics, Complexity and Applications. KR 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: 196-199

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: 284-291

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

Joost Vennekens: Actual causation in CP-logic. TPLP 11(4-5): 647-662 (2011)

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: 12-32

Joost Vennekens: Actual Causation in CP-logic. CoRR abs/1107.4865 (2011)

Joost Vennekens, Marc Denecker, Maurice Bruynooghe: FO(ID) as an extension of DL with rules. Ann. Math. Artif. Intell. 58(1-2): 85-115 (2010)

Jon Sneyers, Wannes Meert, Joost Vennekens, Yoshitaka Kameya, Taisuke Sato: CHR(PRISM)-based probabilistic logic learning. TPLP 10(4-6): 433-447 (2010)

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: 719-724

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

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: 326-338

Jon Sneyers, Wannes Meert, Joost Vennekens, Yoshitaka Kameya, Taisuke Sato: CHR(PRISM)-based Probabilistic Logic Learning. CoRR abs/1007.3858 (2010)

Joost Vennekens, Marc Denecker, Maurice Bruynooghe: CP-logic: A language of causal probabilistic events and its relation to logic programming. TPLP 9(3): 245-308 (2009)

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

Marc Denecker, Joost Vennekens: Using Lightweight Inference to Solve Lightweight Problems. LPNMR 2009: 619-621

Marc Denecker, Joost Vennekens, Stephen Bond, Martin Gebser, Miroslaw Truszczynski: The Second Answer Set Programming Competition. LPNMR 2009: 637-654

Hanne Vlaeminck, Joost Vennekens, Marc Denecker: A logical framework for configuration software. PPDP 2009: 141-148

Joost Vennekens, Marc Denecker, Maurice Bruynooghe: CP-logic: A Language of Causal Probabilistic Events and Its Relation to Logic Programming. CoRR abs/0904.1672 (2009)

Joost Vennekens: Algebraic and logical study of constructive processes in knowledge representation. AI Commun. 21(1): 89-90 (2008)

Marc Denecker, Joost Vennekens: Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic. ICLP 2008: 71-76

Joost Vennekens, Johan Wittocx, Maarten Mariën, Marc Denecker: Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming. Fundam. Inform. 79(1-2): 187-208 (2007)

Joost Vennekens, Johan Wittocx, Maarten Mariën, Marc Denecker: Predicate Introduction for Logics with Fixpoint Semantics. Part II: Autoepistemic Logic. Fundam. Inform. 79(1-2): 209-227 (2007)

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

Marc Denecker, Joost Vennekens: Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions. LPNMR 2007: 84-96

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

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

Joost Vennekens, Marc Denecker, Maurice Bruynooghe: Representing Causal Information About a Probabilistic Process. JELIA 2006: 452-464

Jon Sneyers, Joost Vennekens, Danny De Schreye: Probabilistic-Logical Modeling of Music. PADL 2006: 60-72

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

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

Joost Vennekens, Marc Denecker: An Algebraic Account of Modularity in ID-Logic. LPNMR 2005: 291-303

Joost Vennekens, David Gilis, Marc Denecker: Splitting an Operator. ICLP 2004: 195-209

Joost Vennekens, Sofie Verbaeten, Maurice Bruynooghe: Logic Programs with Annotated Disjunctions. ICLP 2004: 431-445

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

Joost Vennekens, Sofie Verbaeten, Maurice Bruynooghe: Logic programs with annotated disjunctions. NMR 2004: 409-415

Joost Vennekens, David Gilis, Marc Denecker: Splitting an operator: Algebraic modularity results for logics with fixpoint semantics. CoRR cs.AI/0405002 (2004)