Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
KR
2010
Springer
12 years 1 months ago
Interactions between Time and Knowledge in a First-order Logic for Multi-Agent Systems
We investigate a class of first-order temporal epistemic logics for the specification of multi-agent systems. We consider well-known properties of multi-agent systems including ...
Francesco Belardinelli, Alessio Lomuscio
books