240 search results - page 34 / 48 » A Logic for Reasoning about Rational Agents |
111
click to vote
CCIA
2007
Springer
15 years 8 months ago
2007
Springer
We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics for Multi-...
113
click to vote
KR
2004
Springer
15 years 7 months ago
2004
Springer
Motivational attitudes play an important role in investigations into intelligent agents. One of the key problems of representing and reasoning about motivational attitudes is whic...
115
click to vote
ENTCS
2006
15 years 1 months ago
2006
Temporal logics are well suited for the specification and verification of systems of communicating agents. In this paper we adopt a social approach to agent communication, where c...
121
Voted
ARGMAS
2005
Springer
15 years 3 months ago
2005
Springer
of Abstract Argumentation Guido Boella1 , Joris Hulstijn2 , and Leendert van der Torre3 1 Universit´a di Torino 2 Vrije Universiteit, Amsterdam 3 CWI Amsterdam and Delft Universit...
118
click to vote
QEST
2007
IEEE
15 years 8 months ago
2007
IEEE
Stochastic game logic (SGL) is a new temporal logic that combines features of alternating temporal logic (to formalize the individual views and cooperation and reaction facilities...