sitcalc_async_knowledge. Experimental engine for asynchronous multi-agent epistemic reasoning in the situation calculus

github.com/rfk/sitcalc_async_knowledge

Problem

Audience

Updates

No founder updates yet. Check back soon.