1063 search results - page 4 / 213 » Order and Negation as Failure |
ATAL
2010
Springer
13 years 8 months ago
2010
Springer
We consider (prediction) markets where myopic agents sequentially interact with an automated market maker. We show a broad negative result: by varying the order of participation, ...
ESWS
2006
Springer
13 years 11 months ago
2006
Springer
Knowledge representation formalisms used on the Semantic Web adhere to a strict open world assumption. Therefore, nonmonotonic reasoning techniques are often viewed with scepticism...
ATVA
2004
Springer
14 years 25 days ago
2004
Springer
This paper proposes a partial order reduction algorithm for timed trace theoretic verification in order to detect both safety failures and timing failures of timed circuits effic...
ATAL
2004
Springer
14 years 25 days ago
2004
Springer
In this paper we will examine two main aspects of trust dynamics: a) How direct experiences involving trust, with their successes or failures, influence the future trust of an age...
ATAL
2006
Springer
13 years 11 months ago
2006
Springer
A major challenge in efficiently solving distributed resource allocation problems is to cope with the dynamic state changes that characterise such systems. An effective solution t...