Papers in proceedings

• Ari Saptawijaya and Luís Moniz Pereira, Towards Modeling Morality Computationally with Logic Programming, in: Matthew Flatt and Hai-Feng Guo (eds), Proceedings of 16th International Symposium on Practical Aspects of Declarative Languages (PADL 2014), LNCS, Springer, http://link.springer.com/book/10.1007/978-3-319-04132-2, Vol. 8324, ISBN 978-3-319-04131-5, Pag. 104-119, (url), http://centria.di.fct.unl.pt/~lmp/publications/online-papers/padl-14.pdf, January 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• Nuno Pinho Silva, Jorge Casaca, Luís Campos Pinto, Francisco Azevedo and João Gomes-Mota, Predictive Modelling of Overhead Lines Reliability and Lifetime, Proceedings of the 45th biennal CIGRÉ Session (CIGRÉ 2014), 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.

This year's information may not be complete.