5198 search results - page 53 / 1040 » A Logic of Agent Programs |
107
click to vote
AGENTCL
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. An agent communication protocol specifies the rules of interaction governing a dialogue between agents in a multiagent system. In non-cooperative interactions (such as n...
100
click to vote
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
The `Cooperation Logic of Propositional Control', cl-pc, of van der Hoek and Wooldridge is a logic for reasoning about the ability of agents and groups of agents to obtain a ...
ATAL
2010
Springer
15 years 8 days ago
2010
Springer
In many applications, tasks can be delegated to intelligent agents. In order to carry out a task, an agent should reason about what types of resources the task requires. However, ...
CAISE
1999
Springer
15 years 3 months ago
1999
Springer
In this paper, we describe the process specification language ConGolog and show how it can be used to model business processes for requirements analysis. In ConGolog, the effects...
ATAL
2010
Springer
15 years 8 days ago
2010
Springer