Mathijs de Boer, Andreas Herzig, Tiago De Lima, Emiliano Lorini. Tableaux for Acceptance Logic. In Matteo Baldoni, Jamal Bentahar, M. Birna van Riemsdijk, John Lloyd, editors, Declarative Agent Languages and Technologies VII, 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers. Volume 5948 of Lecture Notes in Computer Science, pages 85-100, Springer, 2009. [doi]
Abstract is missing.