319 search results - page 22 / 64 » atal 2008 |
ATAL
2008
Springer
13 years 10 months ago
2008
Springer
We present a logic for reasoning about properties of agent programs under different agent execution strategies. Using the agent programming language SimpleAPL as an example, we sh...
ATAL
2008
Springer
13 years 10 months ago
2008
Springer
Agents programmed in BDI-inspired languages have goals to achieve and a library of plans that can be used to achieve them, typically requiring further goals to be adopted. This is...
ATAL
2008
Springer
13 years 10 months ago
2008
Springer
We introduce eCAT, a tool that supports deriving test cases semi-automatically from goal-based analysis diagrams, generates meaningful test inputs based on agent interaction ontol...
ATAL
2008
Springer
13 years 10 months ago
2008
Springer
In open markets and within business and government organizations, selfish agents often face the question of what tasks to work on, and what partners to work with. Optimal solutions...
ATAL
2008
Springer
13 years 10 months ago
2008
Springer
Embodied Conversational Agents (ECAs) are life-like computer generated characters that interact with human users in face-to-face multi-modal conversations. ECA systems are general...