Proving Properties of States in the Situation Calculus (1993)

Cached

Download Links

by Raymond Reiter
Venue:Artificial Intelligence
Citations:116 - 15 self