Joost Vennekens

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

Coauthor Index

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