22 search results - page 1 / 5 » aiia 2005 |
AIIA
2005
Springer
13 years 10 months ago
2005
Springer
AIIA
2005
Springer
13 years 10 months ago
2005
Springer
AIIA
2005
Springer
13 years 6 months ago
2005
Springer
AIIA
2005
Springer
13 years 6 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
13 years 10 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...