120 search results - page 7 / 24 » Reasoning about temporal properties of rational play |
108
click to vote
KR
1998
Springer
15 years 2 months ago
1998
Springer
This paper presents a formal theory for reasoning about motion of spatial entities, in a qualitative framework. Taking over a theory intended forspatial entities, we enrich ittoac...
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
Reasoning about others, as performed by agents in order to coordinate their behaviours with those of others, commonly involves forming and updating beliefs about hidden system pro...
SIAMCO
2000
14 years 9 months ago
2000
Positive real rational functions play a central role in both deterministic and stochastic linear systems theory, as well as in circuit synthesis, spectral analysis, and speech proc...
AUSAI
2010
Springer
14 years 9 months ago
2010
Springer
A general game player is a system that can play previously unknown games given nothing but their rules. A key to success in this endeavour is the ability to automatically gain know...
101
click to vote
UML
2004
Springer
15 years 3 months ago
2004
Springer
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...