Publications de
Mathijs De Boer, Andreas Herzig, Tiago de Lima, Emiliano Lorini
Tableaux for Acceptance Logic (regular paper)
Dans : International Workshop on Declarative Agent Languages and Technologies (DALT 2009), Budapest, Hungary, 11/05/09-12/05/09, M. Baldoni, J. Bentahar, J. Lloyd, M. B. van Riemsdijk (Eds.), Springer-Verlag, LNAI 5948, p. 85-100, avril 2010.