FRDCSA
Minor
Internal
External
Git
Packages
sitcalc_async_knowledge
Jump To:
Parent Description
This is a reasoning engine for multi-
agent
epistemic queries in the situation calculus.
It was developed as part of the PhD thesis (and subsequent journal paper submission) for: