2273 search results - page 162 / 455 » On the Expressiveness and Complexity of ATL |
171
click to vote
UAI
2003
15 years 7 months ago
2003
We introduce a logic for reasoning about evidence that essentially views evidence as a function from prior beliefs (before making an observation) to posterior beliefs (after makin...
162
click to vote
IJCAI
1993
15 years 7 months ago
1993
Many problems can be expressed in terms of a numeric constraint satisfaction problem over finite or continuous domains (numeric CSP). The purpose of this paper is to show that the...
168
click to vote
COLING
1992
15 years 7 months ago
1992
This paper presents a plan-based model of dialogue that combines world, linguistic, and contextual knowledge in order to recognize complex communicative actions such as expressing...
166
click to vote
GG
2008
Springer
15 years 7 months ago
2008
Springer
In this paper we present meta-rules to express an infinite class of semantically related graph transformation rules in the context of pure topological modelling with G-maps. Our p...
138
click to vote
FSS
2008
15 years 6 months ago
2008
In this paper we propose computationally simple, pointwise formulas for extended t-norms and t-conorms on fuzzy truth values. The complex convolutions of the extended operations a...