1143 search results - page 32 / 229 » Prospective Logic Agents |
114
click to vote
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
We present an axiomatisation for an extension of a temporal epistemic logic with an epistemic “reset” operator defined on the intersection between epistemic and temporal rela...
128
click to vote
CORR
2002
Springer
15 years 1 months ago
2002
Springer
Sound and complete axiomatizations are provided for a number of different logics involving modalities for knowledge and time. These logics arise from different choices for various ...
209
click to vote
ICLP
2009
Springer
16 years 2 months ago
2009
Springer
Multiagent planning deals with the problem of generating plans for multiple agents. It requires formalizing ways for the agents to interact and cooperate, in order to achieve their...
130
Voted
DALT
2004
Springer
15 years 7 months ago
2004
Springer
Ad hoc networks may be viewed as computational systems whose members may fail to, or choose not to, comply with the rules governing their behaviour. We are investigating to what ex...
117
click to vote
JELIA
2004
Springer
15 years 7 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...