G. Leavens, and D. Pigozzi. US-Brazil Joint Workshops on the Formal Foundations of Software Systems, volume 14 of Electronic Notes in Theoretical Computer Science, page 214-244. Elsevier, (1997)
V. de Araujo. Universidade Federal do Rio Grande do Sul, Porto Alegre, Brazil, (2013)ndltd.org (oai:agregador.ibict.br.BDTD_UFRGS:oai:www.lume.ufrgs.br:10183/81379).
J. Hansen, G. Pigozzi, and L. van der Torre. Normative Multi-agent Systems, volume 07122 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)
G. Boella, P. Noriega, and G. Pigozzi. Normative Multi-Agent Systems, volume 09121 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2009)
G. Boella, G. Pigozzi, and L. van der Torre. Normative Multi-Agent Systems, volume 09121 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2009)
D. Eckert, and G. Pigozzi. Belief Change in Rational Agents, volume 05321 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2005)
G. Pigozzi, and L. van der Torre. Formal Models of Belief Change in Rational Agents, volume 07351 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)
D. Gabbay, G. Pigozzi, and O. Rodrigues. Formal Models of Belief Change in Rational Agents, volume 07351 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)