160 search results - page 5 / 32 » Applying the Mu-Calculus in Planning and Reasoning about Act... |
AAAI
2012
13 years 2 months ago
2012
We describe a new sound and complete method for compiling contingent planning problems with sensing actions into classical planning. Our method encodes conditional plans within a ...
104
click to vote
IEAAIE
2009
Springer
15 years 6 months ago
2009
Springer
This paper presents an agent-based model for decision making, which integrates personal biological and psychological aspects with rational utility-based reasoning. The model takes ...
102
click to vote
FOIKS
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Argumentation-based formalisms provide a way of considering the defeasible nature of reasoning with partial and often erroneous knowledge in a given environment. This pro...
108
click to vote
CSFW
2005
IEEE
15 years 5 months ago
2005
IEEE
Authentication and secrecy properties are proved by very different methods: the former by local reasoning, leading to matching knowledge of all principals about the order of their...
107
click to vote
ATAL
2010
Springer
14 years 11 months ago
2010
Springer
One of the most challenging aspects of reasoning, planning, and acting in a multi-agent domain is reasoning about what the agents know about the knowledge of their fellows, and to...