Raymond Reiter
article-link
What links here
Situation calculus
Calculus (disambiguation)
article-link
John McCarthy (computer scientist)
article-link
Logic programming
article-link
Knowledge representation and reasoning
article-link
Frame problem
article-link
Artificial intelligence
article-link