https://omaradalat.com/blog Omar Adalat is a PhD student at Imperial College London researching safe multi-agent reinforcement learning, formal methods, knowledge representation, and neurosymbolic AI. blog posts en-gb Sun, 01 Sep 2024 00:00:00 GMT https://omaradalat.com/blog/situation-calculus-for-the-rest-of-us https://omaradalat.com/blog/situation-calculus-for-the-rest-of-us Sun, 01 Sep 2024 00:00:00 GMT A modern introduction of the Situation Calculus that is not from the 20th century or a research paper. Knowledge Representation Expository Logic