dblp.uni-trier.dewww.uni-trier.de

Joost Vennekens

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
19EEJoost 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
18EEMarc Denecker, Joost Vennekens: Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic. ICLP 2008: 71-76
17EEJoost Vennekens: Algebraic and logical study of constructive processes in knowledge representation. AI Commun. 21(1): 89-90 (2008)
2007
16EEMarc Denecker, Joost Vennekens: Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions. LPNMR 2007: 84-96
15EEJoost 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)
14EEJoost 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)
13EEJoost 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)
2006
12EEJohan Wittocx, Joost Vennekens, Maarten Mariën, Marc Denecker, Maurice Bruynooghe: Predicate Introduction Under Stable and Well-Founded Semantics. ICLP 2006: 242-256
11EEJoost Vennekens, Marc Denecker, Maurice Bruynooghe: Representing Causal Information About a Probabilistic Process. JELIA 2006: 452-464
10EEJon Sneyers, Joost Vennekens, Danny De Schreye: Probabilistic-Logical Modeling of Music. PADL 2006: 60-72
9EEJoost 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)
2005
8EEJoost Vennekens, Marc Denecker: An Algebraic Account of Modularity in ID-logic. Answer Set Programming 2005
7EEJoost Vennekens, Marc Denecker: An Algebraic Account of Modularity in ID-Logic. LPNMR 2005: 291-303
6EEGerhard 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
5EEJoost Vennekens, David Gilis, Marc Denecker: Splitting an Operator. ICLP 2004: 195-209
4EEJoost Vennekens, Sofie Verbaeten, Maurice Bruynooghe: Logic Programs with Annotated Disjunctions. ICLP 2004: 431-445
3EEJoost Vennekens, David Gilis, Marc Denecker: Splitting an operator: an algebraic modularity result and its application to auto-epistemic logic. NMR 2004: 400-408
2EEJoost Vennekens, Sofie Verbaeten, Maurice Bruynooghe: Logic programs with annotated disjunctions. NMR 2004: 409-415
1EEJoost Vennekens, David Gilis, Marc Denecker: Splitting an operator: Algebraic modularity results for logics with fixpoint semantics CoRR cs.AI/0405002: (2004)

Coauthor Index

1Gerhard Brewka [6]
2Maurice Bruynooghe [2] [4] [11] [12] [19]
3Marc Denecker [1] [3] [5] [7] [8] [9] [11] [12] [13] [14] [15] [16] [18] [19]
4David Gilis [1] [3] [5] [9] [15]
5Maarten Mariën [12] [13] [14]
6Ilkka Niemelä [6]
7Torsten Schaub [6]
8Danny De Schreye [10]
9Jon Sneyers [10]
10Miroslaw Truszczynski [6]
11Sofie Verbaeten [2] [4]
12Johan Wittocx [12] [13] [14]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)