The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression

Feb-1-1991–Classics

In Lifschitz, V. (Ed.), Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pp. 359–380. Academic Press.

artificial intelligence, logic & formal reasoning, reiter, (20 more...)

Classics

Feb-1-1991

Classics PDF

Add feedback

Country:
- North America
  - Canada > Ontario (0.16)
  - United States
    - California (0.14)
    - Massachusetts > Middlesex County
      - Cambridge (0.14)
- Europe > United Kingdom
  - Scotland (0.14)

Technology:
- Information Technology > Artificial Intelligence
  - Systems & Languages > Programming Languages (0.40)
  - Representation & Reasoning > Logic & Formal Reasoning (0.40)
  - Cognitive Science > Problem Solving (0.40)

Duplicate Docs Excel Report

Title
None found

Similar Docs Excel Report more

Title	Similarity	Source
None found