Papers in proceedings

• 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.