Sciweavers

2651 search results - page 45 / 531
» Beliefs in Agent Implementation
Sort
View
INFORMATICALT
2007
111views more  INFORMATICALT 2007»
15 years 4 months ago
Sequent Calculi for Branching Time Temporal Logics of Knowledge and Belief
In this paper we consider branching time temporal logics of knowledge and belief. These logics involve the discrete time linear temporal logic operators “next” and “until” ...
Jurate Sakalauskaite
SYNASC
2007
IEEE
134views Algorithms» more  SYNASC 2007»
15 years 10 months ago
Building Agent-Based Simulations Using Structural and Process Mental Models
This paper provides a design rationale for a mechanism that enforces a correct mapping between a model of a nested agent organization and a model of a composite interaction-based ...
Marco Stuit, Nick B. Szirbik, Hans Wortmann
ISN
1994
Springer
136views Communications» more  ISN 1994»
15 years 8 months ago
High-Level Access APIs in the OSIMIS TMN Platform: Harnessing and Hiding
There is a common unjustified belief that OSI management technology, despite being very powerful, is difficult to implement because of the complexity of the underlying service/prot...
George Pavlou, Thurain Tin, Andy Carr
IJCAI
2001
15 years 5 months ago
Weakening Conflicting Information for Iterated Revision and Knowledge Integration
The ability to handle exceptions, to perform iterated belief revision and to integrate information from multiple sources are essential skills for an intelligent agent. These impor...
Salem Benferhat, Souhila Kaci, Daniel Le Berre, Ma...
AAAI
2006
15 years 5 months ago
On the Difficulty of Achieving Equilibrium in Interactive POMDPs
We analyze the asymptotic behavior of agents engaged in an infinite horizon partially observable stochastic game as formalized by the interactive POMDP framework. We show that whe...
Prashant Doshi, Piotr J. Gmytrasiewicz