38 search results - page 8 / 8 » Executing Specifications of Social Reasoning Agents |
ATAL
2006
Springer
13 years 9 months ago
2006
Springer
There are many methodological approaches for Agent-Oriented Software Engineering, each one focusing on some features of multi-agent systems, but leaving others underdefined. For t...
ATAL
2010
Springer
13 years 6 months ago
2010
Springer
We propose Alternating-time Dynamic Logic (ADL) as a multi-agent variant of Dynamic Logic in which atomic programs are replaced by coalitions. In ADL, the Dynamic Logic operators ...
ESWS
2006
Springer
13 years 9 months ago
2006
Springer
The aim of this paper is to provide a general ontology that allows the specification of trust requirements in the Semantic Web Services environment. Both client and Web Service can...