Steffen Hölldobler;Hans-Peter Störr
-;-
A New Equational Foundation for the Fluent Calculus
CL '00 Proceedings of the First International Conference on Computational Logic
Challenges for action theories