3729 search results - page 279 / 746 » On Formal Modeling of Agent Computations |
224
click to vote
ACOM
2006
Springer
16 years 19 days ago
2006
Springer
Abstract. This paper explores the use of temporal logics in the context of communication protocols for multiagent systems. We concentrate on frameworks where protocols are used to ...
211
click to vote
AI
2010
Springer
15 years 6 months ago
2010
Springer
How can an intelligent agent update her knowledge base about an action domain, relative to some conditions (possibly obtained from earlier observations)? We study this question in...
196
click to vote
FLAIRS
2003
15 years 8 months ago
2003
This paper presents a way of improving computerbased with lifelike presence in learning environment. The approach combines Intelligent Tutoring Systems with research on human emot...
175
click to vote
WOB
2004
15 years 8 months ago
2004
Genome annotation projects may produce wrong results since they may be based on obsolete data or wrong models. This work aims to develop an automatic re-annotation system that use ...
232
click to vote
SOCASE
2009
Springer
16 years 1 months ago
2009
Springer
Context-aware systems in a smart space environment must be aware of the surrounding contexts and adapt to changing contexts in highly dynamic environments. Data managements of con...