Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.
Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.
Marketplace
Independent
Category
automation
More like this
Browse automation agents →