247 search results - page 44 / 50 » Logical Implementation of Uncertain Agents |
IFIP
2003
Springer
14 years 22 days ago
2003
Springer
A framework is described that can be used to build and test application-level software for wireless mobile computing. It emulates the physical mobility of wireless devices by usin...
CSFW
2004
IEEE
13 years 11 months ago
2004
IEEE
This paper describes how symbolic techniques (in particular, OBDD's) may be used to to implement an algorithm for model checking specifications in the logic of knowledge for ...
WSC
2008
13 years 9 months ago
2008
An integrated Belief-Desire-Intention (BDI) modeling framework is proposed for human decision making and planning, whose sub-modules are based on Bayesian belief network (BBN), De...
CLIMA
2006
13 years 9 months ago
2006
In this paper, we introduce the notion of communication channel into a multiagent system. We formalize the system in term of logic with Belief modality, where each possible world i...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
We present an integrated approach for reasoning about and learning conversation patterns in multiagent communication. The approach is based on the assumption that information abou...