2651 search results - page 25 / 531 » Beliefs in Agent Implementation |
ISMIS
1994
Springer
14 years 23 days ago
1994
Springer
We assume that safety of information stored in a database depends on the reliability of the agents who have performed the insertions in the database. We present a logic S to repres...
JELIA
2004
Springer
14 years 2 months ago
2004
Springer
Logical formalisation of agent behaviour is desirable, not only in order to provide a clear semantics of agent-based systems, but also to provide the foundation for sophisticated r...
DALT
2008
Springer
13 years 10 months ago
2008
Springer
This paper provides a logical framework of negotiating agents who have capabilities of evaluating and building proposals. Given a proposal, an agent decides whether it is acceptabl...
ATAL
2007
Springer
14 years 2 months ago
2007
Springer
ICMAS
2000
13 years 10 months ago
2000
In this paper we focus on the problem of how infinite belief hierarchies can be represented and reasoned with in a computationally tractable way. When modeling nested beliefs one ...