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

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

Last update Wed May 22 16:59:16 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page