2649 search results - page 92 / 530 » Temporal Theories of Reasoning |
CLIMA
2007
15 years 1 months ago
2007
We propose a new version of ATLP (“ATL with plausibility”), a logic for reasoning about the outcome of rational play in game-like scenarios. Unlike in [8], where two different ...
100
click to vote
AAAI
1990
15 years 1 months ago
1990
There are many planning applications that require an agent to coordinate its activities with processes that change continuously over time. Several proposals have been made for com...
CORR
2007
Springer
14 years 12 months ago
2007
Springer
We discuss the use of model building for temporal representations. We chose Polish to illustrate our discussion because it has an interesting aspectual system, but the points we w...
IEAAIE
2009
Springer
15 years 6 months ago
2009
Springer
A decision support system model is described to advise nature park managers. It applies dynamic modelling techniques to relate abiotic characteristics of a site over time to specie...
AAAI
2007
15 years 2 months ago
2007
The reliable authentication of user attributes is an important prerequisite for the security of web based applications. Digital certificates are widely used for that purpose. How...