Books

Written Books

• Francisco Rocha, Salvador Abreu and Miguel Correia, The Next Frontier: Managing Confidentiality and Integrity of Data in the Cloud of IEEE ReadyNotes, ISBN: 0769549780, IEEE Computer Society Press, (url), March 2013.

Book editions

• Eduardo Fermé, D. Gabbay and Guillermo R. Simari (eds), Trends in Belief Revision and Argumentation Dynamics, Vol. 48 of Logic and cognitive systems, ISBN: 978-1848900653, College Publications, (url), December 2013.
• Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel and Masanobu Umeda (eds), Applications of Declarative Programming and Knowledge Management - 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers, Vol. 7773 of Lecture Notes in Computer Science, ISBN: 978-3-642-41523-4, Springer Verlag, (url), 2013.
• Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings, in: João Alexandre Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre and Stefan Woltran (eds), CLIMA, Lecture Notes in Computer Science, Springer, Vol. 8143, ISBN 978-3-642-40623-2, 2013.