1 | -- | 3 | Jürgen Dix, João Alexandre Leite, Ken Satoh. Introduction |
5 | -- | 36 | Renate A. Schmidt, Dmitry Tishkovsky. Multi-Agent Dynamic Logics with Informational Test |
37 | -- | 71 | Jérôme Lang. Logical Preference Representation and Combinatorial Vote |
73 | -- | 101 | Oliver Schulte, James P. Delgrande. Representing von Neumann-Morgenstern Games in the Situation Calculus |
103 | -- | 139 | Marina De Vos, Dirk Vermeir. Extending Answer Sets for Logic Programming Agents |
141 | -- | 166 | Jan Odelstad, Magnus Boman. Algebras for Agent Norm-Regulation |
167 | -- | 196 | James Harland, Michael Winikoff. Agents via Mixed-Mode Computation in Linear Logic |
197 | -- | 226 | Rafael H. Bordini, Álvaro F. Moreira. Proving BDI Properties of Agent-Oriented Programming Languages |
227 | -- | 253 | Pinar Yolum, Munindar P. Singh. Reasoning about Commitments in the Event Calculus: An Approach for Specifying and Executing Protocols |
255 | -- | 291 | Katsumi Inoue, Koji Iwanuma. Speculative Computation Through Consequence-Finding in Multi-Agent Environments |
293 | -- | 305 | Paolo Torroni. Computational Logic in Multi-Agent Systems: Recent Advances and Future Directions |