857 search results - page 50 / 172 » A Logic of Emotions for Intelligent Agents |
102
click to vote
AAAI
2004
15 years 3 months ago
2004
Model checking is a promising approach to automatic verification, which has concentrated on specification expressed in temporal logic. Comparatively little attention has been give...
105
click to vote
CIA
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. W3C's OWL has gained wide acceptance in the agent community and it has already been used in many agent applications which we think syntactically. By taking advantage...
118
click to vote
FAABS
2000
Springer
15 years 5 months ago
2000
Springer
This paper discusses automated reasoning in the KARO framework. The KARO framework accommodates a range of expressive modal logics for describing the behaviour of intelligent agent...
113
click to vote
AAAI
2006
15 years 3 months ago
2006
Intelligent agents must be able to handle the complexity and uncertainty of the real world. Logical AI has focused mainly on the former, and statistical AI on the latter. Markov l...
121
click to vote
DALT
2004
Springer
15 years 7 months ago
2004
Springer
In 1992, Moss and Parikh studied a bimodal logic of knowledge and effort called Topologic. In this current paper, Topologic is extended to the case of many agents who are assumed...