In Memoriam: Raymond Reiter.

Published in: Comput. Intell. (2003)

Keyphrases

situation calculus
default logic
nonmonotonic reasoning
modal logic
action theories
model theoretic
default rules
default theories
autoepistemic logic
knowledge base
cooperative
active learning
dynamic programming
description logics
logic programming
decision procedures