Stop the war!Остановите войну!
for scientists:
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
- 2023
[c67]Simon Vandevelde, Joost Vennekens:
FOLL-E: Teaching First Order Logic to Children. AAAI 2023: 15869-15876- [c66]Alexandre Goossens, Simon Vandevelde, Jan Vanthienen, Joost Vennekens:
GPT-3 for Decision Logic Modeling. RuleML+RR (Companion) 2023 - [i29]Pierre Carbonnelle, Joost Vennekens, Bart Bogaerts, Marc Denecker:
Interactive Model Expansion in an Observable Environment. CoRR abs/2305.17140 (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]Ðorde 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]