The Frame Problem in the Situation Calculus¶

Reiter, R. (1991). The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression. Artificial Intelligence and Mathematical Theory of Computation.

Type: Book chapter
Intellectual base: Review or monograph
Year: 1991
Pages cited: 359-380
DOI: 10.1016/b978-0-12-450010-5.50026-8
ISBN: 9780124500105
DOI registrant: Elsevier
Link: https://doi.org/10.1016/B978-0-12-450010-5.50026-8
Cited from: computer_science

Cited by¶

1 citation across 1 artifact.

Each citation links to the sentence it supports in the citing article.

Primes¶

Frame Problem
- Frame axioms, the closed-world assumption, successor-state axioms, and non-monotonic default logics are the answers.
  This sourceDevelops successor-state axioms as a compact closure rule for the frame problem.

Verification¶

Does it exist? Confirmed. This work's DOI resolves to a registered record, which fixes its identity. That is all it fixes.

Does it back the claim? Not recorded. The single citation of this work carries no recorded support check.

Support is checked per citation rather than per work — the same source can be cited soundly in one article and wrongly in another. Per-citation recording began recently, so a citation with no recorded check is a gap in the record rather than evidence it went unchecked.

See how references were verified.

Registry ID ref:27f9e06b70e7 · see in the full table