3891 search results - page 18 / 779 » A logic for strategic reasoning |
CADE
2004
Springer
14 years 8 months ago
2004
Springer
CADE
2005
Springer
14 years 1 months ago
2005
Springer
CORR
2008
Springer
13 years 7 months ago
2008
Springer
Many real-world data are maintained in relational format, with different tables storing information about entities and their links or relationships. The structure (schema) of the ...
ICAISC
2004
Springer
14 years 29 days ago
2004
Springer
Model checking of temporal logic has already been proposed for automatic planning. In this paper, we introduce a simple adaptation of the ATL model checking algorithm that returns ...
TIME
2007
IEEE
14 years 1 months ago
2007
IEEE