Sciweavers

2655 search results - page 249 / 531
» An agent model for fault-tolerant systems
Sort
View
WSC
2001
15 years 8 months ago
An agent architecture for implementing command and control in military simulations
In models of military operations it is important to include the Command and Control (C2) process in order to achieve a realistic simulation of a military force's behaviour an...
Colin R. Mason, James Moffat
ATAL
2010
Springer
15 years 6 months ago
Verifying agents with memory is harder than it seemed
ATL+ is a variant of alternating-time temporal logic that does not have the expressive power of full ATL , but still allows for expressing some natural properties of agents. It ha...
Nils Bulling, Wojciech Jamroga
AI
2008
Springer
15 years 6 months ago
Managing parallel inquiries in agents' two-sided search
In this paper we address the problem of agents engaged in a distributed costly two-sided search for pairwise partnerships in Multi-Agent Systems (MAS). While traditional two-sided...
David Sarne, Sarit Kraus
ATAL
2009
Springer
16 years 1 months ago
ORIENT: interactive agents for stage-based role-play
We present a demonstration of the intelligent agent-based system ORIENT (Overcoming Refugee Integration with Empathic Novel Technology). We summarise the application domain: educa...
Ruth Aylett, Michael Kriegel, Mei Yii Lim, Jo&atil...
CORR
2004
Springer
111views Education» more  CORR 2004»
15 years 6 months ago
FLUX: A Logic Programming Method for Reasoning Agents
FLUX is a programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledge. The core of FLUX is...
Michael Thielscher