Annals of Mathematics and Artificial Intelligence, Volume 42

Volume 42, Number 1-3, September 2004

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

Volume 42, Number 4, December 2004

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