Plan recognition system based on the situation calculus and action language Golog, written in Haskell
A generic framework for passing round "state" in Logtalk applications based on Situation Calculus
Vergo: A Verification System for GOLOG Programs
A Bedrock foundation for building Logtalk apps using Situational-state
Controller synthesis using Situation Calculus & ConGolog
Projection of belief in the presence of nondeterministic actions and fallible sensing
Plan recognition system based on the situation calculus and Golog written in Mercury.
Thesis Project for the Master Degree in Engineering In Computer Science
Add a description, image, and links to the situation-calculus topic page so that developers can more easily learn about it.
To associate your repository with the situation-calculus topic, visit your repo's landing page and select "manage topics."