Papers in proceedings

• Ana Sofia Gomes and José Júlio Alferes, Transaction Logic with (Complex) Events, in: Michael Leuschel and Tom Schrijvers (eds), Technical Communications of the 30th International Con- ference on Logic Programming (ICLP’14), July 2014.
• Matthias Knorr and José Júlio Alferes, Preserving Strong Equivalence while Forgetting, in: Eduardo Fermé and João Alexandre Leite (eds), Logics in Artificial Intelligence - 14th European Conference, {JELIA} 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, Lecture Notes in Computer Science, Springer, Vol. 8761, Pag. 412-425, (url), 2014.