The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Joost Vennekens" ( http://dblp.L3S.de/Authors/Joost_Vennekens )

  Author page on DBLP  Author page in RDF  Community of Joost Vennekens in ASPL-2

Publication years (Num. hits)
2004-2007 (17) 2008-2011 (17) 2012-2014 (21) 2015-2017 (19) 2018-2019 (9)
Publication types (Num. hits)
article(34) inproceedings(47) phdthesis(1) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 9 occurrences of 9 keywords

Results
Found 84 publication records. Showing 83 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Marc Denecker, Yuliya Lierler, Miroslaw Truszczynski, Joost Vennekens The informal semantics of Answer Set Programming: A Tarskian perspective. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Emily C. LeBlanc, Marcello Balduccini, Joost Vennekens Explaining Actual Causation via Reasoning About Actions and Change. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marc Denecker, Bart Bogaerts 0001, Joost Vennekens Explaining Actual Causation in Terms of Possible Causal Processes. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marjolein Deryck, Joost Vennekens, Jo Devriendt, Simon Marynissen Legislation in the Knowledge Base Paradigm: Interactive Decision Enactment for Registration Duties. Search on Bibsonomy ICSC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sander Beckers, Joost Vennekens A principled approach to defining actual causation. Search on Bibsonomy Synthese The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bart Bogaerts 0001, Joost Vennekens, Marc Denecker Safe inductions and their applications in knowledge representation. Search on Bibsonomy Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dries 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. Search on Bibsonomy MMM (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marjolein Deryck, Faruk Hasic, Jan Vanthienen, Joost Vennekens A Case-Based Inquiry into the Decision Model and Notation (DMN) and the Knowledge Base (KB) Paradigm. Search on Bibsonomy RuleML+RR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bram Aerts, Joost Vennekens Application of Logic-Based Methods to Machine Component Design. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marc Denecker, Bart Bogaerts 0001, Joost Vennekens A Logical Study of Some Common Principles of Inductive Definition and its Implications for Knowledge Representation. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Kristof Van Beeck, Kristof Van Engeland, Joost Vennekens, Toon Goedemé Abnormal behavior detection in LWIR surveillance of railway platforms. Search on Bibsonomy AVSS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bram Aerts, Kylian Van Dessel, Joost Vennekens Alarm Management on a Liquid Bulk Terminal. Search on Bibsonomy KI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bram Aerts, Toon Goedemé, Joost Vennekens A Probabilistic Logic Programming Approach to Automatic Video Montage. Search on Bibsonomy WICED The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Joost Vennekens Lowering the Learning Curve for Declarative Programming: A Python API for the IDP System. Search on Bibsonomy PADL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bart Bogaerts 0001, Joost Vennekens, Marc Denecker Safe Inductions: An Algebraic Study. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sander Beckers, Joost Vennekens A general framework for defining and extending actual causation using CP-logic. Search on Bibsonomy Int. J. Approx. Reasoning The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bart Bogaerts 0001, Joost Vennekens, Marc Denecker On Well-Founded Set-Inductions and Locally Monotone Operators. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2016 DBLP  BibTeX  RDF
1Joost Vennekens Solving the Travelling Umpire Problem with Answer Set Programming. Search on Bibsonomy BNCAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bram Aerts, Toon Goedemé, Joost Vennekens A Probabilistic Logic Programming Approach to Automatic Video Montage. Search on Bibsonomy ECAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bart Bogaerts 0001, Joost Vennekens, Marc Denecker Grounded fixpoints and their applications in knowledge representation. Search on Bibsonomy Artif. Intell. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Wiebe Van Ranst, Joost Vennekens An OpenCL implementation of a forward sampling algorithm for CP-logic. Search on Bibsonomy Int. J. Approx. Reasoning The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Joost Vennekens Lowering the learning curve for declarative programming: a Python API for the IDP system. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Sander Beckers, Joost Vennekens Combining Probabilistic, Causal, and Normative Reasoning in CP-logic. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Bart Bogaerts 0001, Joost Vennekens, Marc Denecker Grounded Fixpoints. Search on Bibsonomy AAAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Fabrizio 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. Search on Bibsonomy PLP@ICLP The full citation details ... 2015 DBLP  BibTeX  RDF
1Sander Beckers, Joost Vennekens Towards a General Framework for Actual Causation Using CP-logic. Search on Bibsonomy PLP@ICLP The full citation details ... 2015 DBLP  BibTeX  RDF
1Sander Beckers, Joost Vennekens Combining Probabilistic, Causal, and Normative Reasoning in CP-Logic. Search on Bibsonomy AAAI Spring Symposia The full citation details ... 2015 DBLP  BibTeX  RDF
1Bart Bogaerts 0001, Joost Vennekens, Marc Denecker Partial Grounded Fixpoints. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Bart Bogaerts 0001, Joost Vennekens, Marc Denecker, Jan Van den Bussche FO(C) and Related Modelling Paradigms. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Bart Bogaerts 0001, Joost Vennekens, Marc Denecker, Jan Van den Bussche Inference in the FO(C) Modelling Language. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Sander Beckers, Joost Vennekens Probabilistic Definitions of Actual Causation Using CP-logic. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Bart Bogaerts 0001, Joost Vennekens, Marc Denecker, Jan Van den Bussche FO(C): A Knowledge Representation Language of Causality. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Bart Bogaerts 0001, Joachim Jansen, Maurice Bruynooghe, Broes De Cat, Joost Vennekens, Marc Denecker Simulating dynamic systems using Linear Time Calculus theories. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Floris De Smedt, Lars Struyf, Sander Beckers, Joost Vennekens, Gorik De Samblanx, Toon Goedemé Faster and more intelligent object detection by combining OpenCL and KR. Search on Bibsonomy J. Ambient Intelligence and Humanized Computing The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Bart Bogaerts 0001, Joachim Jansen, Maurice Bruynooghe, Broes De Cat, Joost Vennekens, Marc Denecker Simulating Dynamic Systems Using Linear Time Calculus Theories. Search on Bibsonomy TPLP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Marc Denecker, Joost Vennekens The Well-Founded Semantics Is the Principle of Inductive Definition, Revisited. Search on Bibsonomy KR The full citation details ... 2014 DBLP  BibTeX  RDF
1Wannes Meert, Joost Vennekens Inhibited Effects in CP-Logic. Search on Bibsonomy Probabilistic Graphical Models The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Bart Bogaerts 0001, Joost Vennekens, Marc Denecker, Jan Van den Bussche Inference in the FO(C) Modelling Language. Search on Bibsonomy ECAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Joost Vennekens, Marc Denecker Extending FO(ID) with Knowledge Producing Definitions: Preliminary Results Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Joost Vennekens Negation in the Head of CP-logic Rules. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Pieter 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. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  BibTeX  RDF
1Hanne Vlaeminck, Joost Vennekens, Marc Denecker, Maurice Bruynooghe An approximative inference method for solving ∃∀SO satisfiability problems. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Marc Denecker, Maurice Bruynooghe, Joost Vennekens Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs. Search on Bibsonomy Correct Reasoning The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Hanne Vlaeminck, Joost Vennekens, Marc Denecker A General Representation and Approximate Inference Algorithm for Sensing Actions. Search on Bibsonomy Australasian Conference on Artificial Intelligence The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Sander Beckers, Joost Vennekens Counterfactual dependency and actual causation in CP-logic and structural models: a comparison. Search on Bibsonomy STAIRS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Gorik 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. Search on Bibsonomy PECCS The full citation details ... 2012 DBLP  BibTeX  RDF
1Floris 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. Search on Bibsonomy PECCS The full citation details ... 2012 DBLP  BibTeX  RDF
1Hanne Vlaeminck, Joost Vennekens, Maurice Bruynooghe, Marc Denecker Ordered Epistemic Logic: Semantics, Complexity and Applications. Search on Bibsonomy KR The full citation details ... 2012 DBLP  BibTeX  RDF
1Marc Denecker, Yuliya Lierler, Miroslaw Truszczynski, Joost Vennekens A Tarskian Informal Semantics for Answer Set Programming. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Joost Vennekens Actual Causation in CP-logic Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Joost Vennekens Actual causation in CP-logic. Search on Bibsonomy TPLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Marc Denecker, Joost Vennekens, Hanne Vlaeminck, Johan Wittocx, Maurice Bruynooghe Answer Set Programming's Contributions to Classical Logic - An Analysis of ASP Methodology. Search on Bibsonomy Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jon Sneyers, Wannes Meert, Joost Vennekens, Yoshitaka Kameya, Taisuke Sato CHR(PRISM)-based Probabilistic Logic Learning Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Joost Vennekens, Marc Denecker, Maurice Bruynooghe FO(ID) as an extension of DL with rules. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jon Sneyers, Wannes Meert, Joost Vennekens, Yoshitaka Kameya, Taisuke Sato CHR(PRISM)-based probabilistic logic learning. Search on Bibsonomy TPLP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Hanne Vlaeminck, Johan Wittocx, Joost Vennekens, Marc Denecker, Maurice Bruynooghe An Approximative Inference Method for Solving THERE EXISTS FOR ALL SO Satisfiability Problems. Search on Bibsonomy JELIA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Joost Vennekens, Maurice Bruynooghe, Marc Denecker Embracing Events in Causal Modelling: Interventions and Counterfactuals in CP-Logic. Search on Bibsonomy JELIA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Maurice Bruynooghe, Theofrastos Mantadelis, Angelika Kimmig, Bernd Gutmann, Joost Vennekens, Gerda Janssens, Luc De Raedt ProbLog Technology for Inference in a Probabilistic First Order Logic. Search on Bibsonomy ECAI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Joost Vennekens, Marc Denecker, Maurice Bruynooghe CP-logic: A Language of Causal Probabilistic Events and Its Relation to Logic Programming Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Joost Vennekens, Marc Denecker, Maurice Bruynooghe CP-logic: A language of causal probabilistic events and its relation to logic programming. Search on Bibsonomy TPLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Marc Denecker, Joost Vennekens Using Lightweight Inference to Solve Lightweight Problems. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Marc Denecker, Joost Vennekens, Stephen Bond, Martin Gebser, Miroslaw Truszczynski The Second Answer Set Programming Competition. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Joost Vennekens, Marc Denecker FO(ID) as an Extension of DL with Rules. Search on Bibsonomy ESWC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Hanne Vlaeminck, Joost Vennekens, Marc Denecker A logical framework for configuration software. Search on Bibsonomy PPDP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF software engineering, knowledge representation, product configuration
1Joost Vennekens Algebraic and logical study of constructive processes in knowledge representation. Search on Bibsonomy AI Commun. The full citation details ... 2008 DBLP  BibTeX  RDF
1Marc Denecker, Joost Vennekens Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Joost Vennekens, David Gilis, Marc Denecker Erratum to splitting an operator: Algebraic modularity results for logics with fixpoint semantics. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Joost Vennekens, Johan Wittocx, Maarten Mariën, Marc Denecker Predicate Introduction for Logics with Fixpoint Semantics. Part II: Autoepistemic Logic. Search on Bibsonomy Fundam. Inform. The full citation details ... 2007 DBLP  BibTeX  RDF
1Joost Vennekens, Johan Wittocx, Maarten Mariën, Marc Denecker Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming. Search on Bibsonomy Fundam. Inform. The full citation details ... 2007 DBLP  BibTeX  RDF
1Marc Denecker, Joost Vennekens Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Joost Vennekens Algebraic and logical study of constructive processes in knowledge representation ; Algebraïsche en logische studie van constructieve processen in kennisrepresentatie. Search on Bibsonomy 2007   RDF
1Joost Vennekens, David Gilis, Marc Denecker Splitting an operator: Algebraic modularity results for logics with fixpoint semantics. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF auto-epistemic logic, logic programming, Modularity, default logic
1Joost Vennekens, Marc Denecker, Maurice Bruynooghe Representing Causal Information About a Probabilistic Process. Search on Bibsonomy JELIA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Johan Wittocx, Joost Vennekens, Maarten Mariën, Marc Denecker, Maurice Bruynooghe Predicate Introduction Under Stable and Well-Founded Semantics. Search on Bibsonomy ICLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Jon Sneyers, Joost Vennekens, Danny De Schreye Probabilistic-Logical Modeling of Music. Search on Bibsonomy PADL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF automatic music composition, PRISM, music classification, probabilistic-logical programming
1Joost Vennekens, Marc Denecker An Algebraic Account of Modularity in ID-Logic. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski, Joost Vennekens 05171 Abstracts Collection - Nonmonotonic Reasoning, Answer Set Programming and Constraints. Search on Bibsonomy Nonmonotonic Reasoning, Answer Set Programming and Constraints The full citation details ... 2005 DBLP  BibTeX  RDF
1Joost Vennekens, Marc Denecker An Algebraic Account of Modularity in ID-logic. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
1Joost Vennekens, David Gilis, Marc Denecker Splitting an operator: Algebraic modularity results for logics with fixpoint semantics Search on Bibsonomy CoRR The full citation details ... 2004 DBLP  BibTeX  RDF
1Joost Vennekens, Sofie Verbaeten, Maurice Bruynooghe Logic programs with annotated disjunctions. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Joost Vennekens, David Gilis, Marc Denecker Splitting an operator: an algebraic modularity result and its application to auto-epistemic logic. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Joost Vennekens, Sofie Verbaeten, Maurice Bruynooghe Logic Programs with Annotated Disjunctions. Search on Bibsonomy ICLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Joost Vennekens, David Gilis, Marc Denecker Splitting an Operator. Search on Bibsonomy ICLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #83 of 83 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license