The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression
Year: 1991
Type: book-chapter
Source: Elsevier eBooks
Parent work: Artificial and Mathematical Theory of Computation
Author: Raymond Reiter
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W81942528