Joost Vennekens Vis

*	2009
23	EE	Joost Vennekens, Marc Denecker: FO(ID) as an Extension of DL with Rules. ESWC 2009: 384-398
22	EE	Marc Denecker, Joost Vennekens: Using Lightweight Inference to Solve Lightweight Problems. LPNMR 2009: 619-621
21	EE	Marc Denecker, Joost Vennekens, Stephen Bond, Martin Gebser, Miroslaw Truszczynski: The Second Answer Set Programming Competition. LPNMR 2009: 637-654
20	EE	Hanne Vlaeminck, Joost Vennekens, Marc Denecker: A logical framework for configuration software. PPDP 2009: 141-148
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	Stephen Bond	[21]
2	Gerhard Brewka	[6]
3	Maurice Bruynooghe	[2] [4] [11] [12] [19]
4	Marc Denecker	[1] [3] [5] [7] [8] [9] [11] [12] [13] [14] [15] [16] [18] [19] [20] [21] [22] [23]
5	Martin Gebser	[21]
6	David Gilis	[1] [3] [5] [9] [15]
7	Maarten Mariën	[12] [13] [14]
8	Ilkka Niemelä	[6]
9	Torsten Schaub	[6]
10	Danny De Schreye	[10]
11	Jon Sneyers	[10]
12	Miroslaw Truszczynski	[6] [21]
13	Sofie Verbaeten	[2] [4]
14	Hanne Vlaeminck	[20]
15	Johan Wittocx	[12] [13] [14]