erohkohl/mlsolver

Readme
Issues
Stargazers
Watchers

Modelling example with three wise men.

erohkohl opened this issue 7 years ago · 0 comments

erohkohl commented 7 years ago

Modelling example with three wise men.

Topics

artificial-intelligence multi-agent-systems kripke-structure modal-logic knowledge-based-systems multi-modal-logic tableau-calculus

Share to

Contact site admin: Geeks.