default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJoost Vennekens
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j28]Benjamin Callewaert
, Joost Vennekens:
Multi-Shot Answer Set Programming for Flexible Payroll Management. Theory Pract. Log. Program. 24(2): 453-481 (2024)- [j27]Simon Vandevelde, Joost Vennekens, Jeroen Jordens, Bart Van Doninck, Maarten Witters:
Knowledge-Based Support for Adhesive Selection: Will it Stick? Theory Pract. Log. Program. 24(2): 560-580 (2024) - [c74]Christian Fleiner, Joost Vennekens:
Towards Effective Management of Verbal Probability Expressions Using a Co-Learning Approach. HHAI 2024: 124-133 - [c73]Benjamin Callewaert, Simon Vandevelde, Nuno Comenda, Bart Coppens, Nicholas Decleyre, Joost Vennekens:
Extending Feature Models with Types. HICSS 2024: 5206-5215 - [c72]Lucas Van Laer, Simon Vandevelde, Joost Vennekens:
Efficiently Grounding FOL Using Bit Vectors. LPNMR 2024: 167-173 - [c71]Djordje Markovic, Simon Vandevelde, Linde Vanbesien, Joost Vennekens, Marc Denecker:
An epistemic logic for modeling decisions in the context of incomplete knowledge. SAC 2024: 789-793 - [i37]Laurent Mertens, Elahe Yargholi, Hans P. Op de Beeck, Jan Van den Stock, Joost Vennekens:
FindingEmo: An Image Dataset for Emotion Recognition in the Wild. CoRR abs/2402.01355 (2024) - [i36]Benjamin Callewaert, Joost Vennekens:
Answer Set Programming for Flexible Payroll Management. CoRR abs/2403.12823 (2024) - [i35]Youssef Doulfoukar, Laurent Mertens, Joost Vennekens:
EmoCAM: Toward Understanding What Drives CNN-based Emotion Recognition. CoRR abs/2407.14314 (2024) - [i34]Lucas Van Laer, Simon Vandevelde, Joost Vennekens:
Efficiently grounding FOL using bit vectors. CoRR abs/2408.07980 (2024) - [i33]Vaishak Belle, Hana Chockler, Shannon Vallor, Kush R. Varshney, Joost Vennekens, Sander Beckers:
Trustworthiness and Responsibility in AI - Causality, Learning, and Verification (Dagstuhl Seminar 24121). Dagstuhl Reports 14(3): 75-91 (2024) - 2023
- [j26]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): 535-558 (2023) - [j25]Pierre Carbonnelle, Joost Vennekens, Marc Denecker, Bart Bogaerts:
Interactive Model Expansion in an Observable Environment. Theory Pract. Log. Program. 23(4): 648-663 (2023) - [c70]Simon Vandevelde, Joost Vennekens:
FOLL-E: Teaching First Order Logic to Children. AAAI 2023: 15869-15876 - [c69]Joost Vennekens, Marjolein Deryck, Christian Fleiner:
First International Workshop on Reciprocal Knowledge Elicitation for Human-Agent Collaboration. HAI 2023: 493-495 - [c68]Laurent Mertens, Elahe Yargholi, Jan Van den Stock, Hans P. Op de Beeck, Joost Vennekens:
Color-Dependent Prediction Stability of Popular CNN Image Classification Architectures. ICANN (1) 2023: 491-503 - [c67]Alexandre Goossens, Simon Vandevelde, Jan Vanthienen, Joost Vennekens:
GPT-3 for Decision Logic Modeling. RuleML+RR (Companion) 2023 - [c66]Benjamin Callewaert, Nicholas Decleyre, Simon Vandevelde, Nuno Comenda, Bart Coppens, Joost Vennekens:
Facilitating Investment Strategy Negotiations Through Logic. SSCI 2023: 103-108 - [i32]Pierre Carbonnelle, Joost Vennekens, Bart Bogaerts, Marc Denecker:
Interactive Model Expansion in an Observable Environment. CoRR abs/2305.17140 (2023) - [i31]Simon Vandevelde, Jeroen Jordens, Bart Van Doninck, Maarten Witters, Joost Vennekens:
Knowledge-Based Support for Adhesive Selection: Will it Stick? CoRR abs/2311.06302 (2023) - [i30]Djordje Markovic, Simon Vandevelde, Linde Vanbesien, Joost Vennekens, Marc Denecker:
An epistemic logic for modeling decisions in the context of incomplete knowledge. CoRR abs/2312.11186 (2023) - [i29]Wouter Groeneveld, Laurens Luyten, Joost Vennekens, Kris Aerts:
Students' and Professionals' Perceived Creativity In Software Engineering: A Comparative Study. CoRR abs/2312.12014 (2023) - 2022
- [j24]Bram Aerts, Marjolein Deryck, Joost Vennekens:
Knowledge-based decision support for machine component design: A case study. Expert Syst. Appl. 187: 115869 (2022) - [j23]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): 1:1-1:21 (2022) - [c65]Simon Vandevelde, Benjamin Callewaert, Joost Vennekens:
Context-Aware Verification of DMN. HICSS 2022: 1-8 - [c64]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: 5-11 - [c63]Simon Vandevelde, Jeroen Jordens, Bart Van Doninck, Maarten Witters, Joost Vennekens:
Knowledge-Based Support for Adhesive Selection. LPNMR 2022: 445-455 - [c62]Benjamin Callewaert, Joost Vennekens:
ASP for Flexible Payroll Management. LPNMR 2022: 456-469 - [c61]Djordje Markovic, Simon Vandevelde, Joost Vennekens, Marc Denecker:
On the Semantics of "null" in DMN: Undefined is not Unknown. RuleML+RR (Companion) 2022 - [c60]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: 934-940 - [c59]Simon Vandevelde, Benjamin Callewaert, Joost Vennekens:
Interactive feature modeling with background knowledge for validation and configuration. SPLC (B) 2022: 209-216 - [i28]Laurent Mertens, Joost Vennekens:
Compressing Word Embeddings Using Syllables. CoRR abs/2201.04913 (2022) - [i27]Simon Vandevelde, Joost Vennekens:
Problife: a Probabilistic Game of Life. CoRR abs/2201.09521 (2022) - [i26]Pierre Carbonnelle, Simon Vandevelde, Joost Vennekens, Marc Denecker:
IDP-Z3: a reasoning engine for FO(.). CoRR abs/2202.00343 (2022) - [i25]Wouter Groeneveld, Lynn Van den Broeck, Joost Vennekens, Kris Aerts:
Self-Assessing Creative Problem Solving for Aspiring Software Developers: A Pilot Study. CoRR abs/2203.13565 (2022) - 2021
- [j22]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): 521-526 (2021) - [j21]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): 698-699 (2021) - [j20]Kylian Van Dessel, Jo Devriendt, Joost Vennekens:
as Input Language for Answer Set Solvers. Theory Pract. Log. Program. 21(6): 785-801 (2021) - [c58]Emad Eldeen Elakehal, Joost Vennekens:
A Logic-based Multiagent Product Configuration Model. ACSOS-C 2021: 50-55 - [c57]Wouter Groeneveld, Laurens Luyten, Joost Vennekens, Kris Aerts:
Exploring the Role of Creativity in Software Engineering. ICSE-SEIS 2021: 1-9 - [c56]Marjolein Deryck, Nuno Comenda, Bart Coppens, Joost Vennekens:
Combining Logic and Natural Language Processing to Support Investment Management. KR 2021: 665-670 - [c55]Simon Vandevelde, Vedavyas Etikala, Jan Vanthienen, Joost Vennekens:
Leveraging the Power of IDP with the Flexibility of DMN: A Multifunctional API. RuleML+RR 2021: 250-263 - [e3]Ahmet Soylu, Alireza Tamaddoni-Nezhad, Nikolay Nikolov, Ioan Toma, Anna Fensel, Joost Vennekens:
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. CEUR Workshop Proceedings 2956, CEUR-WS.org 2021 [contents] - [e2]Andrea Formisano, Yanhong Annie Liu, Bart Bogaerts, Alex Brik, Verónica Dahl, Carmine Dodaro, Paul Fodor, Gian Luca Pozzato, Joost Vennekens, Neng-Fa Zhou:
Proceedings 37th International Conference on Logic Programming (Technical Communications), ICLP Technical Communications 2021, Porto (virtual event), 20-27th September 2021. EPTCS 345, 2021 [contents] - [i24]Wouter Groeneveld, Laurens Luyten, Joost Vennekens, Kris Aerts:
Exploring the Role of Creativity in Software Engineering. CoRR abs/2101.00837 (2021) - [i23]Kylian Van Dessel, Jo Devriendt, Joost Vennekens:
FOLASP: FO(.) as Input Language for Answer Ser Solvers. CoRR abs/2108.04020 (2021) - [i22]Simon Vandevelde, Victor Verreet, Luc De Raedt, Joost Vennekens:
A Table-Based Representation for Probabilistic Logic: Preliminary Results. CoRR abs/2110.01909 (2021) - [i21]Simon Vandevelde, Bram Aerts, Joost Vennekens:
Tackling the DM Challenges with cDMN: A Tight Integration of DMN and Constraint Reasoning. CoRR abs/2110.02610 (2021) - 2020
- [c54]Wouter Groeneveld, Brett A. Becker, Joost Vennekens:
Soft Skills: What do Computing Program Syllabi Reveal About Non-Technical Expectations of Undergraduate Students? ITiCSE 2020: 287-293 - [c53]Joost Vennekens:
Service-Learning for Web Technology: Observations from a Small Case Study. ITiCSE 2020: 328-334 - [c52]Bram Aerts, Simon Vandevelde, Joost Vennekens:
Tackling the DMN Challenges with cDMN: A Tight Integration of DMN and Constraint Reasoning. RuleML+RR 2020: 23-38 - [c51]Wouter Groeneveld, Hans Jacobs, Joost Vennekens, Kris Aerts:
Non-cognitive Abilities of Exceptional Software Engineers: A Delphi Study. SIGCSE 2020: 1096-1102 - [i20]Bram Aerts, Simon Vandevelde, Joost Vennekens:
Tackling the DMN Challenges with cDMN: a Tight Integration of DMN and constraint reasoning. CoRR abs/2005.09998 (2020) - [i19]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 abs/2012.03521 (2020)
2010 – 2019
- 2019
- [c50]Pierre Carbonnelle, Bram Aerts, Marjolein Deryck, Joost Vennekens, Marc Denecker:
An Interactive Consultant. BNAIC/BENELEARN 2019 - [c49]Marc Denecker, Bart Bogaerts, Joost Vennekens:
Explaining Actual Causation in Terms of Possible Causal Processes. JELIA 2019: 214-230 - [c48]Emily C. LeBlanc, Marcello Balduccini, Joost Vennekens:
Explaining Actual Causation via Reasoning About Actions and Change. JELIA 2019: 231-246 - [c47]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: 52-66 - [c46]Marjolein Deryck, Bram Aerts, Joost Vennekens:
Adding Constraint Tables to the DMN Standard: Preliminary Results. RuleML+RR 2019: 171-179 - [c45]Marjolein Deryck, Joost Vennekens:
Knowledge Elicitation within the Knowledge Base Paradigm: Disentangling Domain Knowledge from Decision Making in Industrial Applications. RuleML+RR (Supplement) 2019 - [c44]Marjolein Deryck, Joost Vennekens, Jo Devriendt, Simon Marynissen:
Legislation in the Knowledge Base Paradigm: Interactive Decision Enactment for Registration Duties. ICSC 2019: 174-177 - [i18]Marc Denecker, Yuliya Lierler, Miroslaw Truszczynski, Joost Vennekens:
The informal semantics of Answer Set Programming: A Tarskian perspective. CoRR abs/1901.09125 (2019) - [i17]Wouter Groeneveld, Hans Jacobs, Joost Vennekens, Kris Aerts:
Non-cognitive abilities of exceptional software engineers: a Delphi study. CoRR abs/1910.09861 (2019) - [i16]Wouter Groeneveld, Joost Vennekens, Kris Aerts:
Software Engineering Education Beyond the Technical: A Systematic Literature Review. CoRR abs/1910.09865 (2019) - 2018
- [j19]Bart Bogaerts, Joost Vennekens, Marc Denecker:
Safe inductions and their applications in knowledge representation. Artif. Intell. 259: 167-185 (2018) - [j18]Sander Beckers, Joost Vennekens:
A principled approach to defining actual causation. Synth. 195(2): 835-862 (2018) - [c43]Bram Aerts, Joost Vennekens:
Application of Logic-Based Methods to Machine Component Design. ICLP (Technical Communications) 2018: 13:1-13:15 - [c42]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: 518-530 - [c41]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: 248-263 - 2017
- [c40]Kristof Van Beeck, Kristof Van Engeland, Joost Vennekens, Toon Goedemé:
Abnormal behavior detection in LWIR surveillance of railway platforms. AVSS 2017: 1-6 - [c39]Bart Bogaerts, Joost Vennekens, Marc Denecker:
Safe Inductions: An Algebraic Study. IJCAI 2017: 859-865 - [c38]Bram Aerts, Kylian Van Dessel, Joost Vennekens:
Alarm Management on a Liquid Bulk Terminal. KI 2017: 279-285 - [c37]Joost Vennekens:
Lowering the Learning Curve for Declarative Programming: A Python API for the IDP System. PADL 2017: 86-102 - [c36]Bram Aerts, Toon Goedemé, Joost Vennekens:
A Probabilistic Logic Programming Approach to Automatic Video Montage. WICED@Eurographics 2017: 47 - [i15]Marc Denecker, Bart Bogaerts, Joost Vennekens:
A Logical Study of Some Common Principles of Inductive Definition and its Implications for Knowledge Representation. CoRR abs/1702.04551 (2017) - 2016
- [j17]Sander Beckers, Joost Vennekens:
A general framework for defining and extending actual causation using CP-logic. Int. J. Approx. Reason. 77: 105-126 (2016) - [j16]Bart Bogaerts, Joost Vennekens, Marc Denecker:
On Well-Founded Set-Inductions and Locally Monotone Operators. ACM Trans. Comput. Log. 17(4): 27 (2016) - [c35]Joost Vennekens:
Solving the Travelling Umpire Problem with Answer Set Programming. BNCAI 2016: 106-118 - [c34]Bram Aerts, Toon Goedemé, Joost Vennekens:
A Probabilistic Logic Programming Approach to Automatic Video Montage. ECAI 2016: 234-242 - 2015
- [j15]Bart Bogaerts, Joost Vennekens, Marc Denecker:
Grounded fixpoints and their applications in knowledge representation. Artif. Intell. 224: 51-71 (2015) - [j14]Wiebe Van Ranst, Joost Vennekens:
An OpenCL implementation of a forward sampling algorithm for CP-logic. Int. J. Approx. Reason. 67: 60-72 (2015) - [c33]Bart Bogaerts, Joost Vennekens, Marc Denecker:
Grounded Fixpoints. AAAI 2015: 1453-1459 - [c32]Sander Beckers, Joost Vennekens:
Combining Probabilistic, Causal, and Normative Reasoning in CP-Logic. AAAI Spring Symposia 2015 - [c31]Sander Beckers, Joost Vennekens:
Towards a General Framework for Actual Causation Using CP-logic. PLP@ICLP 2015: 19-38 - [c30]Bart Bogaerts, Joost Vennekens, Marc Denecker:
Partial Grounded Fixpoints. IJCAI 2015: 2784-2790 - [e1]Fabrizio Riguzzi, Joost Vennekens:
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. CEUR Workshop Proceedings 1413, CEUR-WS.org 2015 [contents] - [i14]Sander Beckers, Joost Vennekens:
Combining Probabilistic, Causal, and Normative Reasoning in CP-logic. CoRR abs/1503.01051 (2015) - [i13]Joost Vennekens:
Lowering the learning curve for declarative programming: a Python API for the IDP system. CoRR abs/1511.00916 (2015) - 2014
- [j13]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): 635-643 (2014) - [j12]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): 477-492 (2014) - [c29]Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche:
Inference in the FO(C) Modelling Language. ECAI 2014: 111-116 - [c28]Marc Denecker, Joost Vennekens:
The Well-Founded Semantics Is the Principle of Inductive Definition, Revisited. KR 2014 - [c27]Wannes Meert, Joost Vennekens:
Inhibited Effects in CP-Logic. Probabilistic Graphical Models 2014: 350-365 - [i12]Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche:
Inference in the FO(C) Modelling Language. CoRR abs/1404.6368 (2014) - [i11]Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche:
FO(C) and Related Modelling Paradigms. CoRR abs/1404.6394 (2014) - [i10]Bart Bogaerts, Joachim Jansen, Maurice Bruynooghe, Broes De Cat, Joost Vennekens, Marc Denecker:
Simulating dynamic systems using Linear Time Calculus theories. CoRR abs/1405.1523 (2014) - [i9]Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche:
FO(C): A Knowledge Representation Language of Causality. CoRR abs/1405.1833 (2014) - [i8]Sander Beckers, Joost Vennekens:
Probabilistic Definitions of Actual Causation Using CP-logic. CoRR abs/1410.7063 (2014) - 2013
- [j11]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) - [i7]Joost Vennekens, Marc Denecker:
Extending FO(ID) with Knowledge Producing Definitions: Preliminary Results. CoRR abs/1301.1395 (2013) - [i6]Joost Vennekens:
Negation in the Head of CP-logic Rules. CoRR abs/1312.6156 (2013) - 2012
- [j10]Hanne Vlaeminck, Joost Vennekens, Marc Denecker, Maurice Bruynooghe:
An approximative inference method for solving ∃∀SO satisfiability problems. J. Artif. Intell. Res. 45: 79-124 (2012) - [c26]Hanne Vlaeminck, Joost Vennekens, Marc Denecker:
A General Representation and Approximate Inference Algorithm for Sensing Actions. Australasian Conference on Artificial Intelligence 2012: 543-554 - [c25]Marc Denecker, Maurice Bruynooghe, Joost Vennekens:
Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs. Correct Reasoning 2012: 178-194 - [c24]Marc Denecker, Yuliya Lierler, Miroslaw Truszczynski, Joost Vennekens:
A Tarskian Informal Semantics for Answer Set Programming. ICLP (Technical Communications) 2012: 277-289 - [c23]Hanne Vlaeminck, Joost Vennekens, Maurice Bruynooghe, Marc Denecker:
Ordered Epistemic Logic: Semantics, Complexity and Applications. KR 2012 - [c22]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 - [c21]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 - [c20]Sander Beckers, Joost Vennekens:
Counterfactual dependency and actual causation in CP-logic and structural models: a comparison. STAIRS 2012: 35-46 - 2011
- [j9]Joost Vennekens:
Actual causation in CP-logic. Theory Pract. Log. Program. 11(4-5): 647-662 (2011) - [c19]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 - [i5]Joost Vennekens:
Actual Causation in CP-logic. CoRR abs/1107.4865 (2011) - 2010
- [j8]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) - [j7]Jon Sneyers, Wannes Meert, Joost Vennekens, Yoshitaka Kameya, Taisuke Sato:
CHR(PRISM)-based probabilistic logic learning. Theory Pract. Log. Program. 10(4-6): 433-447 (2010) - [c18]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 - [c17]Joost Vennekens, Maurice Bruynooghe, Marc Denecker:
Embracing Events in Causal Modelling: Interventions and Counterfactuals in CP-Logic. JELIA 2010: 313-325 - [c16]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 - [i4]Jon Sneyers, Wannes Meert, Joost Vennekens, Yoshitaka Kameya, Taisuke Sato:
CHR(PRISM)-based Probabilistic Logic Learning. CoRR abs/1007.3858 (2010)
2000 – 2009
- 2009
- [j6]Joost Vennekens, Marc Denecker, Maurice Bruynooghe:
CP-logic: A language of causal probabilistic events and its relation to logic programming. Theory Pract. Log. Program. 9(3): 245-308 (2009) - [c15]Joost Vennekens, Marc Denecker:
FO(ID) as an Extension of DL with Rules. ESWC 2009: 384-398 - [c14]Marc Denecker, Joost Vennekens:
Using Lightweight Inference to Solve Lightweight Problems. LPNMR 2009: 619-621 - [c13]Marc Denecker, Joost Vennekens, Stephen Bond, Martin Gebser, Miroslaw Truszczynski:
The Second Answer Set Programming Competition. LPNMR 2009: 637-654 - [c12]Hanne Vlaeminck, Joost Vennekens, Marc Denecker:
A logical framework for configuration software. PPDP 2009: 141-148 - [i3]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) - 2008
- [j5]Joost Vennekens:
Algebraic and logical study of constructive processes in knowledge representation. AI Commun. 21(1): 89-90 (2008) - [c11]Marc Denecker, Joost Vennekens:
Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic. ICLP 2008: 71-76 - 2007
- [b1]Joost Vennekens:
Algebraic and logical study of constructive processes in knowledge representation ; Algebraïsche en logische studie van constructieve processen in kennisrepresentatie. Katholieke Universiteit Leuven, Belgium, 2007 - [j4]Joost Vennekens, Johan Wittocx, Maarten Mariën, Marc Denecker:
Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming. Fundam. Informaticae 79(1-2): 187-208 (2007) - [j3]Joost Vennekens, Johan Wittocx, Maarten Mariën, Marc Denecker:
Predicate Introduction for Logics with Fixpoint Semantics. Part II: Autoepistemic Logic. Fundam. Informaticae 79(1-2): 209-227 (2007) - [j2]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): 7 (2007) - [c10]Marc Denecker, Joost Vennekens:
Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions. LPNMR 2007: 84-96 - 2006
- [j1]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) - [c9]Johan Wittocx, Joost Vennekens, Maarten Mariën, Marc Denecker, Maurice Bruynooghe:
Predicate Introduction Under Stable and Well-Founded Semantics. ICLP 2006: 242-256 - [c8]Joost Vennekens, Marc Denecker, Maurice Bruynooghe:
Representing Causal Information About a Probabilistic Process. JELIA 2006: 452-464 - [c7]Jon Sneyers, Joost Vennekens, Danny De Schreye:
Probabilistic-Logical Modeling of Music. PADL 2006: 60-72 - 2005
- [c6]Joost Vennekens, Marc Denecker:
An Algebraic Account of Modularity in ID-logic. Answer Set Programming 2005 - [c5]Joost Vennekens, Marc Denecker:
An Algebraic Account of Modularity in ID-Logic. LPNMR 2005: 291-303 - [i2]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 - 2004
- [c4]Joost Vennekens, David Gilis, Marc Denecker:
Splitting an Operator. ICLP 2004: 195-209 - [c3]Joost Vennekens, Sofie Verbaeten, Maurice Bruynooghe:
Logic Programs with Annotated Disjunctions. ICLP 2004: 431-445 - [c2]Joost Vennekens, David Gilis, Marc Denecker:
Splitting an operator: an algebraic modularity result and its application to auto-epistemic logic. NMR 2004: 400-408 - [c1]Joost Vennekens, Sofie Verbaeten, Maurice Bruynooghe:
Logic programs with annotated disjunctions. NMR 2004: 409-415 - [i1]Joost Vennekens, David Gilis, Marc Denecker:
Splitting an operator: Algebraic modularity results for logics with fixpoint semantics. CoRR cs.AI/0405002 (2004)
Coauthor Index
[c71] [j25] [i32] [i30] [c61] [i26] [c50] [c49] [i18] [j19] [c39] [i15] [j16] [j15] [c33] [c30] [j12] [c29] [c28] [i12] [i11] [i10] [i9] [j11] [i7] [j10] [c26] [c25] [c24] [c23] [c19] [j8] [c17] [c16] [j6] [c15] [c14] [c13] [c12] [i3] [c11] [j4] [j3] [j2] [c10] [j1] [c9] [c8] [c6] [c5] [c4] [c2] [i1]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-26 01:53 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
