Papers in proceedings

• David Mendes, Irene Rodrigues, Carlos Rodriguez-Solano and Carlos Baeta, Ontology Driven Controlled Natural Language Clinical Decision Support System for the Cardiovascular Specialty, in: João Varajão, Manuela Cunha, Niels Bjørn-Andersen, Rodney Turner,, Duminda Wijesekera and Ricardo Martinho (eds), CENTERIS 2014 - Conference on ENTERprise Information Systems / ProjMAN 2014 - International Conference on Project MANagement / HCIST 2014 - International Conference on Health and Social Care Information Systems and Technologies, Procedia Technology Volume 16, Elsevier, (url), October 2014.
• Han The Anh, Luís Moniz Pereira, Francisco C. Santos and Tom Lenaerts, Evolution of Pairwise Commitment and Cooperation, in: Stefano Battiston (eds), Procs. European Conference on Complex Systems 2014 (ECSS'14), European Conference on Complex Systems, Complex Systems Society, http://www.eccs14.eu/index.php?option=com_k2&view=item&layout=item&id=343&menuid=392&lang=en, (url), September 2014.
• Elsa Carvalho, Jorge Cruz and Pedro Barahona, Probabilistic constraints for nonlinear inverse problems, Proceedings of CP 2014 - 20th International Conference on Principles and Practice of Constraint Programming, Lyon, France, September 8-12, Lecture Notes in Computer Science, Springer, Vol. 8656, ISBN 978-3-319-10428-7, Pag. 913-917, September 2014.
• Elsa Carvalho, Jorge Cruz and Pedro Barahona, Safe Reliability Assessment through Probabilistic Constraint Reasoning, Proceedings of ESREL 2014 - XXIV European Safety and Reliability Conference, Wroclaw, Poland, September 14 - 18, Safety and Reliability: Methodology and Applications, CRC Press, ISBN 978-1-138-02681-0, Pag. 2269-2277, September 2014.
• Richard Booth, Eduardo Fermé, Sébastien Konieczny and Ramón Pino Perez, Credibility-Limited Improvement Operators, in: Torsten Schaub, Gerhard Friedrich and Barry O'Sullivan (eds), ECAI 2014 - 21st European Conference on Artificial Intelligence, Frontiers in Artificial Intelligence and Applications, IOS Press, Vol. 263, ISBN 978-1-61499-418-3, Pag. 123-128, (url), August 2014.
• 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.
• Luís Moniz Pereira, Emmanuelle-Anna Dietz and Steffen Hölldobler, An Abductive Reasoning Approach to the Belief Bias Effect, in: Thomas Eiter (eds), Procs. 14th Intl. Conf. on Principles of Knowledge Representation (KR'14), International Conferences on Principles of Knowledge Representation, AAAI Press, http://www.kr.tuwien.ac.at/events/kr2014/, Pag. 653-656, (url), July 2014.
• Luís Moniz Pereira, Emmanuelle-Anna Dietz and Steffen Hölldobler, Contextual Abductive Reasoning with Side-Effects, in: Manuel Carro (eds), 30th Intl. Conf. Logic Programming (ICLP'14), International Conferences on Logic Programming, Cambridge University Press, Cambridge, UK, (url), July 2014.
• Vincent Bloemen, Daniel Diaz, Machiel van der Bijl and Salvador Abreu, Extending the Finite Domain Solver of GNU Prolog, Proc. Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2014), (url), July 2014.
• João Moura and Carlos Viegas Damásio, Generalizing Modular Logic Programs, Proceedings of the 15th International Workshop on Non-Monotonic Reasoning, CoRR, Vol. 1404.7205, (url), July 2014.
• Bruno Faustino, João Moura Pires, Maribel Yasmina Santos and Guilherme Moreira, kd-SNN: A Metric Data Structure Seconding the Clustering of Spatial Data, Computational Science and Its Applications – ICCSA 2014, Lecture Notes in Computer Science, Springer International Publishing, Vol. 8579, Pag. 312-327, (url), July 2014.
• Mário Abrantes and Luís Moniz Pereira, Properties of Stable Model Semantics Extensions, in: Manuel Carro (eds), 30th Intl. Conf. Logic Programming (ICLP'14), International Conferences on Logic Programming, Cambridge University Press, Cambridge, UK, (url), http://arxiv.org/abs/1405.3896, July 2014.
• João Moura Pires, Ricardo Filipe Silva and Maribel Yasmina Santos, Reasoning about space and time: moving towards a Theory of Granularities, Computational Science and Its Applications – ICCSA 2014, Lecture Notes in Computer Science, Springer International Publishing, Vol. 8579, Pag. 328-343, (url), July 2014.
• Salvador Abreu, Danny Munera and Daniel Diaz, Towards a Parallel Hierarchical Adaptive Solver Tool, Proc. Parallel Methods for Combinatorial Search & Optimization, an ICLP 2014 workshop, (url), July 2014.
• 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.
• Han The Anh, Luís Moniz Pereira, Tom Lenaerts and Francisco C. Santos, Learning to Recognize Intentions Resolves Cooperation Dilemmas, in: Benoit Frénay, Michel Verleysen, Pierre Dupont (eds), 23rd annual Belgian-Dutch Conference on Machine Learning (BENELEARN 2014), Belgian-Dutch Conference on Machine Learning, BENELEARN, http://sites.uclouvain.be/benelearn2014/http://sites.uclouvain.be/benelearn2014/, Vol. http://sites.uclouvain.be/benelearn2014/wp-content/uploads/2014/, (url), June 2014.
• Pedro Barahona, Steffen Hölldobler and Nguyen Van Hau, Representative Encodings to Translate Finite CSPs into SAT, in: Helmut Simonis (eds), Integration of AI and OR Techniques in Constraint Programming, Lecture Notes in Computer Science, Springer, Vol. 8451, ISBN 978-3-319-07045-2, Pag. 251-267, DOI: 10.1007/978-3-319-07046-9_18, May 2014.
• Danny Munera, Daniel Diaz, Philippe Codognet and Salvador Abreu, A Parametric Framework for Cooperative Parallel Local Search, Evolutionary Computation in Combinatorial Optimisation - 14th European Conference, EvoCOP 2014, LNCS, Springer, Vol. 8600, Pag. 13-24, (url), April 2014.
• Danny Munera, Daniel Diaz, Salvador Abreu and Philippe Codognet, Flexible cooperation in parallel local search, Symposium on Applied Computing, {SAC} 2014, ACM, Pag. 1360-1361, (url), March 2014.
• N. Datia, João Moura Pires and Nuno Correia, Summarised presentation of personal photo sets, MultiMedia Modelling 2014, January 2014.
• 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.
• Nuno Pinho Silva, Jorge Casaca, Francisco Azevedo, João Gomes-Mota and Luís Campos Pinto, Risk Based Maintenance and Lifetime Management of Overhead Lines, Proceedings of the CIGRÉ Belgian Conference on innovation for secure and efficient transmission grids, 2014.
• João Gomes-Mota, Francisco Azevedo, Luís Campos Pinto, Nuno Pinho Silva and Jorge Casaca, Sharing the transmission grid with storks and other birds, Proceedings of the 45th biennal CIGRÉ Session (CIGRÉ 2014), 2014.
• Reinhard Kahle, The logical cone, in: G. Mints and O. Prosorov (eds), Philosophy, Mathematics, Linguistics: Aspects of Interaction 2014, The Euler International Mathematical Institute, St. Petersburg, Pag. 102-110, 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.
• Reinhard Kahle, Towards the Structure of Mathematical Proof, in: Matthew England and et al. (eds), Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM, CEUR Workshop Proceedings, Vol. 1186, (url), 2014.
• Dora Melo, Irene Rodrigues and Vitor Nogueira, Using a dialogue manager to improve search in the semantic web, in: Salvador Abreu and João Pascoal Faria (eds), INForum 2014 - Atas do 6o Simpósio de Informática., FEUP Edições, (url), 2014.

This year's information may not be complete.