Annals of Mathematics and Artificial Intelligence

Logical aspects of multi-agent systems

Bastien Maubert, Aniello Murano, Sasha Rubin

The logic of secrets and the interpolation rule

Zuojun Xiong, Thomas Ågotnes

On the complexity of rational verification

• Open Access

Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael Wooldridge

Raising awareness without disclosing truth

• Original Article

Line van den Berg, Manuel Atencia, Jérôme Euzenat

On the finite representation of linear group equivariant operators via permutant measures

• Open Access

Giovanni Bocchi, Stefano Botteghi, Martina Brasini, Patrizio Frosini, Nicola Quercioli

Deductive belief change

Theofanis Aravanis

Probabilistic causal bipolar abstract argumentation: an approach based on credal networks

• Open Access

Mariela Morveli-Espinoza, Juan Carlos Nieves, Cesar Augusto Tacla

Design and implementation of symbolic algorithms for the computation of generalized asymptotes

• Open Access

Marián Fernández de Sevilla, Rafael Magdalena Benedicto, Sonia Pérez-Díaz