Sciweavers

666 search results - page 57 / 134
» Modeling Agents with a Theory of Mind
Sort
View
TSMC
2008
125views more  TSMC 2008»
13 years 8 months ago
A Satisficing Approach to Aircraft Conflict Resolution
Future generations of air traffic management systems may give appropriately equipped aircraft the freedom to change flight paths in real time. This would require a conflict avoidan...
James K. Archibald, Jared C. Hill, N. A. Jepsen, W...
IJCAI
1997
13 years 10 months ago
Implementing BDI-like Systems by Direct Execution
While the Belief, Desire, Intention (BDI) framework is one of the most influential and appealing approaches to rational agent architectures, a gulf often exists between the high-l...
Michael Fisher
INFSOF
2006
61views more  INFSOF 2006»
13 years 8 months ago
MAPIS, a multi-agent system for information personalization
In the domain of multi-user and agent-oriented information systems, personalized information systems aim to give specific and customized responses to individual user requests. In ...
Christelle Petit-Rozé, Emmanuelle Grislin-L...
ENTCS
2002
112views more  ENTCS 2002»
13 years 8 months ago
Ambient Calculus and its Logic in the Calculus of Inductive Constructions
The Ambient Calculus has been recently proposed as a model of mobility of agents in a dynamically changing hierarchy of domains. In this paper, we describe the implementation of t...
Ivan Scagnetto, Marino Miculan
BRAIN
2010
Springer
13 years 10 months ago
Cognitive Informatics and Denotational Mathematical Means for Brain Informatics
Cognitive informatics studies the natural intelligence and the brain from a theoretical and a computational approach, which rigorously explains the ms of the brain by a fundamental...
Yingxu Wang