Sciweavers

CORR
2010
Springer
158views Education» more  CORR 2010»
13 years 4 months ago
Epistemic Model Checking for Knowledge-Based Program Implementation: an Application to Anonymous Broadcast
Knowledge-based programs provide an abstract level of description of protocols in which agent actions are related to their states of knowledge. The paper describes how epistemic mo...
Omar I. Al-Bataineh, Ron van der Meyden
AOIS
2006
13 years 6 months ago
Providing Contextual Norm Information in Open Multi-Agent Systems
Agents can freely migrate among open MASs in order to obtain resources or services not found locally. In this scenario, agent actions should be guided for avoiding unexpected behav...
Carolina Howard Felicíssimo, Ricardo Choren...
AGENTS
2000
Springer
13 years 9 months ago
Air traffic control and alert agent
This paper presents an agent program that monitors and interacts with the dynamic situation of flights around an airport tower as well as interacts with a human operator that can ...
Henry Hexmoor, Tim Heng