278 search results - page 20 / 56 » Reasoning About General Games Described in GDL-II |
100
click to vote
GIS
2002
ACM
14 years 11 months ago
2002
ACM
This paper contributes a general approach to characterizing patterns of change in a spatio-temporal database. While there is a particular interest in modelling and querying how sp...
108
click to vote
DEXA
2006
Springer
15 years 3 months ago
2006
Springer
In this paper we describe an application based on a general approach towards modelling practical reasoning through defeasible argumentation. The purpose of the paper is to show how...
117
click to vote
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
In repeated games with incomplete information, rational agents must carefully weigh the tradeoffs of advantageously exploiting their information to achieve a short-term gain versu...
WWW
2009
ACM
16 years 12 days ago
2009
ACM
We consider the problem of identifying the consensus ranking for the results of a query, given preferences among those results from a set of individual users. Once consensus ranki...
129
click to vote
FTRTFT
1992
Springer
15 years 3 months ago
1992
Springer
Real-Time Logic is a formal notation for reasoning about temporal behaviour. Z is a general purpose specification language, but lacks explicit features for expressing real-time co...