Annals of Mathematics and Artificial Intelligence

Introduction

Jürgen Dix, Michael Fisher, Hector Levesque, Leon Sterling

Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming

W. Vasconcelos, D. Robertson, C. Sierra, M. Esteva, J. Sabater, M. Wooldridge

Go! — A Multi-Paradigm Programming Language for Implementing Multi-Threaded Agents

K.L. Clark, F.G. McCabe

Programming Rational Agents in a Modal Action Logic

Matteo Baldoni, Alberto Martelli, Viviana Patti, Laura Giordano

On the Semantics of Deliberation in IndiGolog — from Theory to Implementation

Sebastian Sardina, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque

Multi-Agent Systems Specification and Certification: A Situation and State Calculus Approach

Paula Gouveia, Jaime Ramos

Improving Performance of Heterogeneous Agents

Fatma Özcan, V.S. Subrahmanian, Jürgen Dix

Volume Contents