The Situation Calculus: A Case for Modal Logic

By Gerhard Lakemeyer. 2010

12 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Knowledge Graphs & Representation

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Bo Wu
2. Shoubin Yu

In Knowledge Graphs & Representation

1. Bo Wu
2. Shoubin Yu

Citations in the corpus

• STAR: A Benchmark for Situated Reasoning in Real-World Videos (2024, background): “Situation Formalism Early-stage work [27, 32, 21] establish formalisms for reasoning about action and change.”