718 search results - page 107 / 144 » On Defaults in Action Theories |
ACOM
2004
Springer
14 years 8 days ago
2004
Springer
The Cognitive Agent Specification Language (CASL) is a framework for specifying and verifying complex communicating multiagent systems. In this paper, we develop an extended versi...
DIAGRAMS
2006
Springer
14 years 5 days ago
2006
Springer
In a study of crew interaction with the automatic flight control system of the Boeing 757/767 aircraft, we observed 60 flights and recorded every change in the aircraft control mo...
EKAW
2006
Springer
14 years 5 days ago
2006
Springer
Abstract. The call for a "focus on content" in ontology research by Nicola Guarino and Mark Musen in their launching statement of the journal Applied Ontology has quite s...
AAAI
2007
13 years 10 months ago
2007
This paper describes recent results from the robotics community that develop a theory, similar in spirit to the theory of computation, for analyzing sensor-based agent systems. Th...
ARGMAS
2006
Springer
13 years 10 months ago
2006
Springer
Social influences play an important part in the actions that an individual agent may perform within a multi-agent society. However, the incomplete knowledge and the diverse and co...