Bert Van Nuffelen

2006
15	EE	Ofer Arieli, Marc Denecker, Bert Van Nuffelen, Maurice Bruynooghe: Computational methods for database repair by signed formulae. Ann. Math. Artif. Intell. 46(1-2): 4-37 (2006)
2005
14		Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Bert Van Nuffelen, Maurice Bruynooghe: On the Local Closed-World Assumption of Data-Sources. BNAIC 2005: 333-334
13	EE	Bert Van Nuffelen, Ofer Arieli, Alvaro Cortés-Calabuig, Maurice Bruynooghe: An ID-Logic Formalization of the Composition of Autonomous Databases. LPNMR 2005: 132-144
12	EE	Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Bert Van Nuffelen, Maurice Bruynooghe: On the Local Closed-World Assumption of Data-Sources. LPNMR 2005: 145-157
2004
11	EE	Bert Van Nuffelen, Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe: Data Integration Using ID-Logic. CAiSE 2004: 67-81
10	EE	Ofer Arieli, Marc Denecker, Bert Van Nuffelen, Maurice Bruynooghe: Database Repair by Signed Formulae. FoIKS 2004: 14-30
9	EE	Ofer Arieli, Marc Denecker, Bert Van Nuffelen, Maurice Bruynooghe: Coherent Integration of Databases by Abductive Logic Programming. J. Artif. Intell. Res. (JAIR) 21: 245-286 (2004)
2002
8	EE	Pieter Bekaert, Bert Van Nuffelen, Maurice Bruynooghe, David Gilis, Marc Denecker: On the Transformation of Object-Oriented Conceptual Models to Logical Theories. ER 2002: 152-166
7	EE	Pieter Bekaert, Bert Van Nuffelen: On the Transformation of Object Oriented Conceptual Models to Logical Theories: From EROOS to ID-Logic. ER 2002: 18-19
6	EE	Ofer Arieli, Marc Denecker, Bert Van Nuffelen, Maurice Bruynooghe: Repairing Inconsistent Databases: A Model-Theoretic Approach and Abductive Reasoning. Paraconsistent Computational Logic 2002: 51-65
2001
5		Antonis C. Kakas, Bert Van Nuffelen, Marc Denecker: A-System: Problem Solving through Abduction. IJCAI 2001: 591-596
4	EE	Ofer Arieli, Bert Van Nuffelen, Marc Denecker, Maurice Bruynooghe: Coherent Composition of Distributed Knowledge-Bases Through Abduction. LPAR 2001: 624-638
3	EE	Bert Van Nuffelen, Antonis C. Kakas: A-system: Declarative Programming with Abduction. LPNMR 2001: 393-396
2000
2	EE	Bert Van Nuffelen: SLDNFA-system CoRR cs.AI/0003027: (2000)
1	EE	Bert Van Nuffelen, Marc Denecker: Problem solving in ID-logic with aggregates: some experiments CoRR cs.AI/0003030: (2000)

Coauthor Index

1	Ofer Arieli	[4] [6] [9] [10] [11] [12] [13] [14] [15]
2	Pieter Bekaert	[7] [8]
3	Maurice Bruynooghe	[4] [6] [8] [9] [10] [11] [12] [13] [14] [15]
4	Alvaro Cortés-Calabuig	[11] [12] [13] [14]
5	Marc Denecker	[1] [4] [5] [6] [8] [9] [10] [11] [12] [14] [15]
6	David Gilis	[8]
7	Antonis C. Kakas	[3] [5]