108 search results - page 3 / 22 » ecai 2010 |
ECAI
2010
Springer
13 years 6 months ago
2010
Springer
-Order Abstractions for the Pancake Problem Malte Helmert and Gabriele R
ECAI
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. We investigate the problem of the verification of multiagent systems by means of parallel algorithms. We present algorithms for CTLK, a logic combining branching time tem...
ECAI
2010
Springer
13 years 6 months ago
2010
Springer
In the clock semantics for epistemic logic, two situations are indistinguishable for an agent when it makes the same observation and the time in the situations is the same. The pa...
ECAI
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Irony is an effective but challenging mode of communication that allows a speaker to express sentiment-rich viewpoints with concision, sharpness and humour. Irony is espe...
ECAI
2010
Springer
13 years 6 months ago
2010
Springer
The analysis of social networks often assumes the time invariant scenario while in practice node attributes and links in such networks often evolve over time. In this paper, we pro...