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) |