1223 search results - page 6 / 245 » A Logic for Reasoning about Evidence |
ATAL
2007
Springer
14 years 5 months ago
2007
Springer
We propose an extension of alternating-time temporal logic, that can be used for reasoning about the behavior and abilities of agents under various rationality assumptions. Catego...
JELIA
2004
Springer
14 years 4 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...
SEBD
2003
14 years 7 days ago
2003
The Ambient Logic is a modal logic proposed to describe the structural and computational properties of distributed and mobile computations. The static part of the Ambient Logic is,...
TARK
2009
Springer
14 years 5 months ago
2009
Springer
ISMIS
1994
Springer
14 years 3 months 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...