982 search results - page 149 / 197 » Reduction Relations for Agent Models |
FOSSACS
2007
Springer
15 years 7 months ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
99
Voted
ICAIL
2005
ACM
15 years 6 months ago
2005
ACM
In this paper we apply a general account of practical reasoning to arguing about legal cases. In particular, we describe how the reasoning in one very well known property law case...
116
Voted
DALT
2007
Springer
15 years 4 months ago
2007
Springer
We present a novel approach to knowledge-based automated one-shot multi-issue bilateral negotiation handling, in a homogeneous setting, both numerical features and non-numerical on...
106
click to vote
ATAL
2006
Springer
15 years 4 months ago
2006
Springer
This paper studies scalable data delivery algorithms in mobile ad hoc sensor networks with node and link failures. Many algorithms have been developed for data delivery and fusion...
114
Voted
IAT
2009
IEEE
15 years 4 months ago
2009
IEEE
—Information can change rapidly on the web. For example, news may hint some new story starts to develop. Many more news related to the original event begin to pour in the web. Im...