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.