Journal: Annals of Mathematics and Artificial Intelligence

Volume 42, Issue 4

313 -- 343Dino Pedreschi, Salvatore Ruggieri. Bounded Nondeterminism of Logic Programs
345 -- 367Carlos Bousoño-Calzón, Sancho Salcedo-Sanz. A Discrete-Time Quantized-State Hopfield Neural Network
369 -- 398Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Inmaculada Perez de Guzmán. A New Algebraic Tool for Automatic Theorem Provers
399 -- 442Sylvie Coste-Marquis, Pierre Marquis. On Stratified Belief Base Compilation
443 -- 444Jose Maria Turull Torres. Erratum for: A Study of Homogeneity in Relational Databases [Annals of Mathematics and Artificial Intelligence 33(2) (2001) 379-414]

Volume 42, Issue 1-3

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