Towards the integration of inductive and nonmonotonic logic programming

2002

Chiaki Sakama

in: Progress in discovery science, Berlin,