Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences

Baral, C. and Gelfond, M. and Provetti, Alessandro (1997) Representing actions: laws, observations and hypotheses. The Journal of Logic Programming 31 (1/3), pp. 201-243. ISSN 0743-1066.