Explore relationships

Situation calculus

The situation calculus is a logic formalism designed for representing and reasoning about dynamical domains. It was first introduced by John McCarthy in 1963.

Use + to expand a branch. Click a topic name to open its summary.