![]() ![]() ![]() | ![]() |
![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Note: Links lead to the DBLP on the Web. Bert Van Nuffelen 5 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 4 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 3 Antonis C. Kakas , Bert Van Nuffelen, Marc Denecker : A-System: Problem Solving through Abduction. IJCAI 2001 : 591-596 2 Ofer Arieli , Bert Van Nuffelen, Marc Denecker , Maurice Bruynooghe : Coherent Composition of Distributed Knowledge-Bases Through Abduction. LPAR 2001 : 624-638 1 Bert Van Nuffelen, Antonis C. Kakas : A-system: Declarative Programming with Abduction. LPNMR 2001 : 393-396 ![]() DiSC'03 © 2003 Association for Computing Machinery |