Omar
Adalat
  • Home
  • Publications
  • Resources
    • Bookshelf
    • Conferences list
    • Videos list
    • Journals list
    • Events list
    • Situation Calculus
    • Terminal
  • Software
  • Service
Page Title
Omar
Adalat
Branching situation calculus tree with labelled states
01 SEPT 2024

Situation Calculus for the rest of us

Knowledge Representation
ExpositoryLogic

A modern introduction of the Situation Calculus that is not from the 20th century or a research paper.


Paper of the day

Networks of Influence Diagrams: A Formalism for Representing Agents' Beliefs and Decision-Making Processes

JAIR 2008 / Y. Gal, A. Pfeffer