Papers in proceedings

• José Júlio Alferes, Matthias Knorr and Kewen Wang, Forgetting under the well-founded semantics, in: Pedro Cabalar and Tran Cao Son (eds), Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings, Lecture Notes in Computer Science, Springer, Vol. 8148, ISBN 978-3-642-40563-1, 9, Pag. 36-41, 2013.
• Vadim Ivanov, Matthias Knorr and João Alexandre Leite, NoHR: Querying EL with Non-monotonic Rules, in: Eva Blomqvist and Tudor Groza (eds), Proceedings of the ISWC 2013 Posters {&} Demonstrations Track, Sydney, Australia, October 23, 2013, CEUR Workshop Proceedings, CEUR-WS.org, Vol. 1035, Pag. 17-20, 2013.
• R. Gonçalves, Matthias Knorr, João Alexandre Leite and Martin Slota, Non-monotonic Temporal Goals, in: Pedro Cabalar and Tran Cao Son (eds), Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings, Lecture Notes in Computer Science, Springer, Vol. 8148, ISBN 978-3-642-40563-1, 9, Pag. 374-386, 2013.
• Martin Slota and João Alexandre Leite, On Condensing a Sequence of Updates in Answer-Set Programming, in: Francesca Rossi (eds), IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013, IJCAI/AAAI, ISBN 978-1-57735-633-2, Pag. 1094-1103, 2013.
• Rui Machado, Vasco Pedro and Salvador Abreu, On the Scalability of Constraint Programming on Hierarchical Multiprocessor Systems, 42nd International Conference on Parallel Processing, ICPP 2013, IEEE Computer Society Press, Pag. 530-536, (url), 2013.
• Rui Machado, Salvador Abreu and Daniel Diaz, Parallel Local Search: Experiments with a PGAS-based programming model, CoRR Proceedings of CICLOPS 2012, 2013.
• Rui Machado, Salvador Abreu and Daniel Diaz, Parallel Performance of Declarative Programming Using a PGAS Model, in: Kostis Sagonas (eds), Practical Aspects of Declarative Languages - 15th International Symposium, PADL 2013, LNCS, Springer Verlag, Vol. 7752, ISBN 978-3-642-45283-3, Pag. 244-260, (url), 2013.
• Matthias Knorr, Alfredo Gabaldon, R. Gonçalves, João Alexandre Leite and Martin Slota, Time Is Up! - Norms with Deadlines in Action Languages, in: João Alexandre Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre and Stefan Woltran (eds), Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings, Lecture Notes in Computer Science, Springer, Vol. 8143, ISBN 978-3-642-40623-2, Pag. 223-238, 2013.
• Matthias Knorr, Alfredo Gabaldon, R. Gonçalves, João Alexandre Leite and Martin Slota, Towards Action Languages with Norms and Deadlines, in: J. Ji, H. Strass and X. Wang (eds), Proceedings of the The Tenth International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC’13), Beijing, China, August 2013., 2013.
• Irene Rodrigues, Nuno Matos, Salvador Abreu, Rébecca Deneckère and Daniel Diaz, Towards constraint-informed information systems, IEEE 7th International Conference on Research Challenges in Information Science, RCIS 2013, IEEE Computer Society Press, ISBN 978-1-4673-2912-5, Pag. 1-10, (url), 2013.