Journal of Logic Programming, Volume 31

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

Reasoning about Action and Change
maintained by Schloss Dagstuhl LZI at University of Trier