#
action-language
Here are 5 public repositories matching this topic...
Plan recognition system based on the situation calculus and action language Golog, written in Haskell
haskell functional-programming logic-programming golog plan-recognition action-language situation-calculus
-
Updated
Jun 22, 2021 - Haskell
Scrall Pseudo-Action Language for Executable UML
-
Updated
Nov 10, 2023 - Python
Plan recognition system based on the situation calculus and Golog written in Mercury.
-
Updated
Apr 11, 2013 - MATLAB
Logic programming reborn for the web.
-
Updated
Apr 21, 2023 - Coq
Improve this page
Add a description, image, and links to the action-language topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the action-language topic, visit your repo's landing page and select "manage topics."