22 search results - page 1 / 5 » aiia 2005 |
AIIA
2005
Springer
14 years 3 months ago
2005
Springer
AIIA
2005
Springer
14 years 3 months ago
2005
Springer
AIIA
2005
Springer
13 years 11 months ago
2005
Springer
AIIA
2005
Springer
13 years 11 months ago
2005
Springer
We propose a framework for performing extensional and intensional temporal reasoning about qualitative and quantitative “periodicity-dependent” temporal constraints between rep...
AIIA
2005
Springer
14 years 3 months ago
2005
Springer
We look at extensions of modal logic for representation and reasoning in the area of multi-agent systems. Building on dynamic logic and Henkin quantifiers, we study an unusual typ...