Sciweavers

DALT
2003
Springer
14 years 5 months ago
A logic for ignorance
We introduce and motivate a non-standard multi-modal logic to represent and reason about ignorance in Multi-Agent Systems. We argue that in Multi-agent systems being able to reaso...
Wiebe van der Hoek, Alessio Lomuscio