Journal of Logic Programming, Volume 31

Volume 31, Number 1-3, April-June 1997

Reasoning about Action and Change
a service of Schloss Dagstuhl - Leibniz Center for Informatics