Papers in proceedings

• Ricardo Oliveira, Maribel Yasmina Santos and João Moura Pires, 4D-SNN: A Spatio-temporal Density-based Clustering Approach with 4D Similarity, International Workshop on Spatial and Spatiotemporal Data Mining, The IEEE International Conference on Data Mining (ICDM’2013), December 2013.
• Fernando Mendes, Maribel Yasmina Santos and João Moura Pires, Dynamic Analytics for Spatial Data with an Incremental Clustering Approach, Incremental clustering, concept drift and novelty detection workshop, The IEEE International Conference on Data Mining (ICDM’2013), December 2013.
• Ari Saptawijaya and Luís Moniz Pereira, Incremental Tabling for Query-Driven Propagation of Logic Program Updates, in: Ken McMillan, Aart Middeldorp and Andrei Voronkov (eds), Proceedings of 19th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-19), LNCS, Springer, http://link.springer.com/book/10.1007%2F978-3-642-45221-5, Vol. 8312, ISBN 978-3-642-45220-8, Pag. 694-709, (url), http://centria.di.fct.unl.pt/~lmp/publications/online-papers/tabl-incr-lp-updates.pdf, December 2013.
• Guilherme Moreira, Maribel Yasmina Santos and João Moura Pires, SNN Input Parameters: how are they related?, Crowd and Cloud Computing Workshop, 19th IEEE International Conference on Parallel and Distributed Systems, December 2013.
• Hau Nguyen Van, Miroslav N. Velev and Pedro Barahona, Application of Hierarchical Hybrid Encodings to Efficient Translation of CSPs to SAT, in: Alexander Brodsky (eds), Proc. 2013 IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI2013), IEEE Computer Society Press, Washington DC, USA, ISBN 978-1-4799-2971-9, ISSN 1082-3409, Pag. 1028-1035, (url), November 2013.
• Han The Anh, Luís Moniz Pereira, Francisco C. Santos and Tom Lenaerts, Why so Hard to Say Sorry?, in: Koen Hindriks, Mathijs de Weerdt, Birna van Riemsdijk and Martijn Warnier (eds), Procs. The 25th Benelux Conference on Artificial Intelligence (BNAIC 2013), BNAIC, TU Delft, Delft, Netherlands, Vol. Conference Proceedings Repository TU Delft, (url), November 2013.
• Ari Saptawijaya, Davide D'Alimonte and Tamito Kajiyama, Seawater-type Based Neural Networks for Ocean Color Data Inversion, Proceedings 34th Asian Conference on Remote Sensing (ACRS 2013), Asian Association on Remote Sensing, http://www.acrs2013.com/proceedings.html, ISBN 978-602-9439-33-5, Pag. 235-242, (url), October 2013.
• Mário Abrantes and Luís Moniz Pereira, An Abductive Paraconsistent Semantics – MHp, in: Ricardo Rocha (eds), Local Procs. 20th Intl. Conf. on Applications of Declarative Programming and Knowledge Management (INAP'13), The Kiel Declarative Programming Days 2013, Christian-Albrechts-University of Kiel, Kiel, Germany, (url), http://centria.di.fct.unl.pt/~lmp/publications/online-papers/MHp.pdf, September 2013.
• R. Gonçalves and José Júlio Alferes, Decidability and implementation of parametrized logic programs, in: Tran Cao Son and Pedro Cabalar (eds), Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2013, Corunna, Spain, September 15-19, 2013, LNCS, Springer, Vol. 8148, Pag. 361-373, September 2013.
• Ari Saptawijaya and Luís Moniz Pereira, Exploiting Logic Programming as a Computational Tool to Model Morality, Workshop on "A Construction Manual for Robot's Ethical Systems: Requirements, Methods, Implementation, Tests, The Austrian Research Institute for Artificial Intelligence (OFAI), http://centria.di.fct.unl.pt/~lmp/publications/online-papers/ofai.pdf, September 2013.
• Ari Saptawijaya and Luís Moniz Pereira, Implementing Tabled Abduction in Logic Programs, in: Luís Correia, Luís Paulo Reis, José Cascalho, Luís Mendes Gomes, Hélia Guerra and Pedro Cardoso (eds), Advances in Artificial Intelligence, 16th Portuguese Conference on Artificial Intelligence, Local Proceedings, CMATI, Universidade dos Acores, Portugal, https://docs.google.com/file/d/0BxpR56bd9PfJZEI4NWVoZFpVVGs/edit, ISBN 978-989-95489-1-6, Pag. 548-559, (url), http://centria.di.fct.unl.pt/~lmp/publications/online-papers/implementing_tabdual.pdf, September 2013.
• Han The Anh and Luís Moniz Pereira, Intention-based Decision Making for Strategic Scenarios Dynamics via Computational Logic, in: L. Correia et al. (eds), Local Procs. 16th Portuguese Intl. Conf. on Artificial Intelligence (EPIA 2013), Advances in Artificial Intelligence, CMATI - Universidade dos Açores, Portugal, Angra do Heroísmo, Terceira, Azores, Portugal, ISBN 978-989-95489-1-6, Pag. 142-153, (url), Proceedings: https://docs.google.com/file/d/0BxpR56bd9PfJZEI4NWVoZFpVVGs/edit?pli=1, September 2013.
• Carlos Viegas Damásio, Anastasia Analyti and Grigoris Antoniou, Justifications for Logic Programming, Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, September 15-19, 2013. Proceedings, Lecture Notes in Computer Science, Springer, Corunna, Spain, Vol. 8148, ISBN 978-3-642-40563-1, 9, Pag. 530-542, September 2013.
• Ari Saptawijaya and Luís Moniz Pereira, Program Updating by Incremental and Answer Subsumption Tabling, in: Pedro Cabalar and Tran Cao Son (eds), Proceedings 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), LNAI, Springer, http://www.springer.com/computer/ai/book/978-3-642-40563-1, Vol. 8148, ISBN 978-3-642-40563-1, Pag. 479-484, (url), http://centria.di.fct.unl.pt/~lmp/publications/online-papers/evolpR.pdf, September 2013.
• Ari Saptawijaya and Luís Moniz Pereira, Towards Practical Tabled Abduction in Logic Programs, in: Luís Correia, Luís Paulo Reis and José Cascalho (eds), Progress in Artificial Intelligence, Proceedings 16th Portuguese Conference on Artificial Intelligence, LNAI, Springer, http://www.springer.com/computer/ai/book/978-3-642-40668-3, Vol. 8154, ISBN 978-3-642-40668-3, Pag. 223-234, (url), http://centria.di.fct.unl.pt/~lmp/publications/online-papers/abduction_tabling.pdf, September 2013.
• Han The Anh, Luís Moniz Pereira, Francisco C. Santos and Tom Lenaerts, Why Is It So Hard to Say Sorry? Evolution of Apology with Commitments in the Iterated Prisoner's Dilemma, in: Francesca Rossi (eds), Proceedings of IJCAI 2013, IJCAI, AAAI Press, 2275 East Bayshore Road, Suite 160, Palo Alto CA 94303 USA, Vol. 1, ISBN 978-1-57735-633-2, Pag. 177-183, (url), August 2013.
• Ari Saptawijaya and Luís Moniz Pereira, Towards Practical Tabled Abduction Usable in Decision Making, in: Rui Neves-Silva, Junzo Watada, Gloria Phillips-Wren, Lakhmi C. Jain and Robert J. Howlett (eds), Intelligent Decision Technologies, Procs. 5th KES International Conference on Intelligent Decision Technologies, Frontiers of Artificial Intelligence and Applications (FAIA), IOS Press, http://ebooks.iospress.nl/volume/intelligent-decision-technologies, Vol. 255, ISBN 978-1-61499-263-9, Pag. 429-438, (url), http://centria.di.fct.unl.pt/~lmp/publications/online-papers/tabdual_decision_making.pdf, June 2013.
• Ludwig Krippahl, Fábio Madeira and Pedro Barahona, Constraining Protein Docking with Coevolution Data for Medical Research, Artificial Intelligence in Medicine (Procs. AIME'13), Lecture Notes in Computer Science, Springer Berlin / Heidelberg, Vol. 7885, ISBN 978-3-642-38325-0, ISSN 0302-9743, Pag. 110-114, (url), May 2013.
• Miguel Bento Alves, Carlos Viegas Damásio and Nuno Correia, Improving Tag-based Image Search by Using Linked Open Data, Proceedings of the 10th Conference on Open Research Areas in Information Retrieval, OAIR '13, LE CENTRE DE HAUTES ETUDES INTERNATIONALES D'INFORMATIQUE DOCUMENTAIRE, Paris, France, France, ISBN 978-2-905450-09-8, Pag. 21-24, (url), May 2013.
• Vadim Ivanov, Matthias Knorr and João Alexandre Leite, A Query Tool for EL with Non-monotonic Rules, The Semantic Web - ISWC 2013 - 12th International Semantic Web Conference, Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part I, Lecture Notes in Computer Science, Springer, Vol. 8218, ISBN 978-3-642-41334-6, Pag. 216-231, 2013.
• João Gomes-Mota, Francisco Azevedo, Jorge Casaca, Vítor Almeida, Nuno Pinho Silva and Luís Campos Pinto, Advances in Vegetation Management to improve Reliability, Proceedings of the 2nd (CIGRÉ Romania) International Conference on Condition Monitoring, Diagnosis and Maintenance (CMDM 2013), 2013.
• João Fernandes, Maria Paula Queluz, Tomás Brandão, Francisco Azevedo and João Gomes-Mota, Automatic detection of stork nests on VHV towers, Proceedings of the 9th Conference on Telecommunications (ConfTele 2013), Instituto de Telecomunicações - Coimbra, ISBN 978-989-8109-08-8, Pag. 345-348, 2013.
• Jesse Alama and and Reinhard Kahle, Computing with mathematical arguments, in: Hanne Andersen, Dennis Dieks, Wenceslao Gonzalez, Thomas Uebel and Gregory Wheeler (eds), New Challenges to Philosophy of Science, The Philosophy of Science in a European Perspective, Springer, Vol. 4, Pag. 9-22, (url), 2013.
• Jesse Alama and Reinhard Kahle, Computing with Mathematical Arguments, in: Hanne Andersen, Dennis Dieks, Wenceslao J. Gonzalez, Thomas Uebel, and Gregory Wheeler (eds), New Challenges to Philosophy of Science. Philosophy of Science in a European Perspective, Springer, Pag. 9-22, 2013.
• R. Gonçalves and José Júlio Alferes, Deontic logic programs, in: M. Gini, Onn Shehory, Takayuki Ito and Catholijn M. Jonker (eds), International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '13, Saint Paul, MN, USA, May 6-10, 2013, IFAAMAS, ISBN 978-1-4503-1993-5, Pag. 1333-1334, 2013.
• David Mendes, and Irene Rodrigues and Carlos Baeta, Development and Population of an Elaborate Formal Ontology for Clinical Practice Knowledge Representation, Proceedings of the International Conference on Knowledge Engineering and Ontology Development (KEOD 2013), SciTePress - Science and Technology Publications, Pag. 286 - 292, 2013.
• Martin Slota, Martin Balaz and João Alexandre Leite, Early Recovery in Logic Program Updates, 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. 512-517, 2013.
• Jesse Alama, Escape to Mizar from ATPs, in: Pascal Fontaine, Renate Schmidt and Stephan Schulz and (eds), PAAR 2012: Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning, Easychair Proceedings in Computing, Easychair, Vol. 21, Pag. 3-11, (url), 2013.
• Danny Munera, Daniel Diaz and Salvador Abreu, Experimenting with X10 for Parallel Constraint-Based Local Search, Proceedings of CICLOPS 2013, 2013.
• João Gomes-Mota, Francisco Azevedo, Luís Campos Pinto and Jorge Casaca, Fatores Sócio-ambientais Críticos afetando a Fiabilidade das Redes de Transporte, Proceedings of Décimo Quinto Encontro Regional Ibero-americano do Cigré (XV ERIAC), CIGRÉ, 2013.
• 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.
• Danny Munera, Daniel Diaz and Salvador Abreu, Towards Parallel Constraint-Based Local Search with the X10 Language, Kiel Declarative Programming Days 2013-20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013)-22nd International Workshop on Functional and (Constraint) Logic Programming (WFLP 2013)-27th Workshop on , Pag. 168-182, (url), 2013.