Proving Properties of States in the Situation Calculus (1993)

Cached

Download Links

by Raymond Reiter
Venue:Artificial Intelligence
Citations:107 - 14 self