Temporal Reasoning in Logic Programming: A Case for the Situation Calculus (1993)

Cached

Download Links

by Javier Pinto , Raymond Reiter
Venue:IN PROCEEDINGS OF 10TH INTERNATIONAL CONFERENCE IN LOGIC PROGRAMMING, HUNGARY
Citations:87 - 5 self