Here are
7 public repositories
matching this topic...
Plan recognition system based on the situation calculus and action language Golog, written in Haskell
Updated
Jun 22, 2021
Haskell
A generic framework for passing round "state" in Logtalk applications based on Situation Calculus
Updated
Oct 26, 2021
Logtalk
Vergo: A Verification System for GOLOG Programs
Updated
Nov 4, 2024
Prolog
A Bedrock foundation for building Logtalk apps using Situational-state
Updated
Oct 26, 2021
Logtalk
Controller synthesis using Situation Calculus & ConGolog
Projection of belief in the presence of nondeterministic actions and fallible sensing
Updated
Nov 3, 2022
Prolog
Plan recognition system based on the situation calculus and Golog written in Mercury.
Updated
Apr 11, 2013
MATLAB
Improve this page
Add a description, image, and links to the
situation-calculus
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
situation-calculus
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.