Annals of Mathematics and Artificial Intelligence

Annals of Mathematics and Artificial Intelligence is a scholarly journal focusing on the application of mathematical methods to diverse areas of.

works as
journal containing
Publication_icon.svg Model Checking Multi-agent systems with Logic Based Petri Nets (2007) — Tristan M. Behrens, Jurgen Dix
Publication_icon.svg Cooperation and Competition in ALIAS: A Logic Framework for Agents that Negotiate (2003) — Anna Ciampolini, Evelina Lamma, Paola Mello, Francesca Toni, Paolo Torroni