Monotonic Solution of The Frame Problem in The Situation Calculus

Publisher Website

1 January 1990

book chapter
Published by Springer Nature

p. 23-67
https://doi.org/10.1007/978-94-009-0553-5_2

Abstract

No abstract available

Keywords

This publication has 1 reference indexed in Scilit:

A logic-based calculus of events
New Generation Computing, 1986