Papers in proceedings

• Marco Correia, Jorge Cruz and João Alexandre Leite, On the Efficient Implementation of Social Abstract Argumentation, in: Torsten Schaub, Gerhard Friedrich and Barry O'Sullivan (eds), ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014), Frontiers in Artificial Intelligence and Applications, IOS Press, Vol. 263, ISBN 978-1-61499-418-3, Pag. 225-230, August 2014.
• R. Gonçalves, Matthias Knorr and João Alexandre Leite, Evolving Multi-Context Systems, in: Torsten Schaub, Gerhard Friedrich and Barry O'Sullivan (eds), ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems ({PAIS} 2014), Frontiers in Artificial Intelligence and Applications, IOS Press, Vol. 263, ISBN 978-1-61499-418-3, Pag. 375-380, 2014.
• R. Gonçalves, Matthias Knorr and João Alexandre Leite, Evolving Bridge Rules in Evolving Multi-Context Systems, in: Nils Bulling, Leendert W. N. van der Torre, Serena Villata, Wojtek Jamroga and Wamberto Vasconcelos (eds), Computational Logic in Multi-Agent Systems - 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings, Lecture Notes in Computer Science, Springer, Vol. 8624, ISBN 978-3-319-09763-3, Pag. 52-69, (url), 2014.
• Sinan Egilmez, João Martins and João Alexandre Leite, Extending Social Abstract Argumentation with Votes on Attacks, in: Elizabeth Black, Sanjay Modgil and Nir Oren (eds), Theory and Applications of Formal Argumentation - Second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013, Revised Selected papers, Lecture Notes in Computer Science, Springer, Vol. 8306, ISBN 978-3-642-54372-2, Pag. 16-31, 2014.
• Martin Slota, Martin Balaz and João Alexandre Leite, On Supporting Strong and Default Negation in Answer-Set Program Updates, in: Ana Bazzan and Karim Pichara (eds), Advances in Artificial Intelligence - IBERAMIA 2014 - 14th Ibero-American Conference on AI, Santiago de Chile, Chile, November 24-27, 2014. Proceedings, Lecture Notes in Computer Science, Springer, Vol. 8864, ISBN 978-3-319-12026-3, 2014.
• R. Gonçalves, Matthias Knorr and João Alexandre Leite, On Minimal Change in Evolving Multi-Context Systems (Preliminary Report), in: S. Ellmauthaler and J. Pührer (eds), Proceedings of the First International Workshop on Reactive Concepts in Knowledge Representation, ReactKnow’14, Prague, Czech Republic, August 2014, Universitat Leipzig, ISSN 1430-3701, 2014.
• Matthias Knorr, R. Gonçalves and João Alexandre Leite, On Efficient Evolving Multi-Context Systems, in: D.-N. Pham and S.-B. Park (eds), PRICAI 2014: Trends in Artificial Intelligence - 13th Pacific Rim International Conference on Artificial Intelligence, Gold Coast, Australia, December 1-5, 2014. Proceedings, Lecture Notes in Computer Science, Springer, Vol. 8862, Pag. 284-296, 2014.
• Martin Slota, Martin Balaz and João Alexandre Leite, On Strong and Default Negation in Logic Program Updates, Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014), INFSYS Research Report, 2014.
• R. Gonçalves, Matthias Knorr and João Alexandre Leite, Towards Efficient Evolving Multi-Context Systems (Preliminary Report), in: S. Ellmauthaler and J. Pührer (eds), Proceedings of the First International Workshop on Reactive Concepts in Knowledge Representation, ReactKnow’14, Prague, Czech Republic, August 2014, Universitat Leipzig, ISSN 1430-3701, 2014.