Bert Van Nuffelen Papers on DiSC'04 On the Transformation of Object Oriented Conceptual Models to Logical Theories: From EROOS to ID-Logic On the Transformation of Object-Oriented Conceptual Models to Logical Theories Publications Note: Links lead to the DBLP on the Web. Bert Van Nuffelen Ofer Arieli , Marc Denecker , Bert Van Nuffelen, Maurice Bruynooghe : Database Repair by Signed Formulae. FoIKS 2004 : 14-30 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 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 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 Antonis C. Kakas , Bert Van Nuffelen, Marc Denecker : A-System: Problem Solving through Abduction. IJCAI 2001 : 591-596 Ofer Arieli , Bert Van Nuffelen, Marc Denecker , Maurice Bruynooghe : Coherent Composition of Distributed Knowledge-Bases Through Abduction. LPAR 2001 : 624-638 Bert Van Nuffelen, Antonis C. Kakas : A-system: Declarative Programming with Abduction. LPNMR 2001 : 393-396 1 [ 2 ] [ 4 ] [ 7 ] 2 [ 5 ] [ 6 ] 3 [ 2 ] [ 4 ] [ 6 ] [ 7 ] 4 [ 2 ] [ 3 ] [ 4 ] [ 6 ] [ 7 ] 5 [ 6 ] 6 [ 1 ] [ 3 ] ©2004 Association for Computing Machinery