FRDCSA
Minor
Internal
External
Git
Packages
mindigolog2-0.9.9
Jump To:
Parent Description
This is a MIndiGolog interpreter implemented using Mozart/Oz.
It was developed as part of Ryan Kelly's PhD thesis "Asynchronous Multi-
agent
Reasoning in the Situation Calculus".
Further details are available at: