mindigolog-2.0.9


  • 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: