878 search results - page 33 / 176 » Modelling Communicating Agents in Timed Reasoning Logics |
AI
2005
Springer
14 years 11 months ago
2005
Springer
Cooperation logics have recently begun to attract attention within the multi-agent systems community. Using a cooperation logic, it is possible to represent and reason about the s...
119
click to vote
JELIA
1994
Springer
15 years 3 months ago
1994
Springer
: In this paper we describe a general way of formalizing reasoning behaviour. Such a behaviour may be described by all the patterns which are valid for the behaviour. A pattern can...
108
click to vote
IFIP
2004
Springer
15 years 5 months ago
2004
Springer
We propose a language that allows agents to distribute data with usage policies in a decentralized architecture. In our framework, the compliance with usage policies is not enforce...
107
click to vote
JUCS
2008
14 years 11 months ago
2008
: Multi-Agent Systems (MAS) constitute a well known approach in modelling dynamical real world systems. Recently, this technology has been applied to Wireless Communication Systems...
108
click to vote
ICAS
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract—A growing number of applications start using Semantic Web technologies. The base concept in this technology is the use of ontologies, allowing first-order logic reasoni...