Moreira, Álvaro F.

2 publications

AAAI 2019 Iterated Belief Base Revision: A Dynamic Epistemic Logic Approach Marlo Souza, Álvaro F. Moreira, Renata Vieira

JAIR 2007 On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language Renata Vieira, Álvaro F. Moreira, Michael J. Wooldridge, Rafael H. Bordini