Bert Van Nuffelen

Dep. of Computer Science K.U.Leuven Celestijnenlaan 200A B-3000 Leuven , Belgium

1 paper in the IJCAI proceedings

IJCAI 2001

A-System: Problem Solving through Abduction

with Antonis C. Kakas, Marc Denecker

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings