| Semi-equilibrium models for paracoherent answer set programs G Amendola, T Eiter, M Fink, N Leone, J Moura Artificial Intelligence 234 (May 2016), 219–271, 2016 | 36 | 2016 |
| Paracoherent answer set programming T Eiter, M Fink, J Moura KR 2010 - International Conference on the Principles of Knowledge …, 2010 | 30 | 2010 |
| CONDENSER: A Graph-Based Approach for Detecting Botnets P Camelo, J Moura, L Krippahl Botconf14 - The botnet fighting conference - Second edition, 2014 | 10* | 2014 |
| Modularity of P-log programs CV Damásio, J Moura LPNMR 2011 - Logic Programming and Nonmonotonic Reasoning, 13-25, 2011 | 8* | 2011 |
| Unifying Justifications and Debugging for Answer-Set Programs CV Damásio, J Moura, A Analyti 31st International Conference on Logic Programming (ICLP 2015) 1433 (ICLP …, 2015 | 7 | 2015 |
| Semantically Enabled Framework for User Centric Profile Description, Search and Match J Moura, P Chainho, C Damásio ICSOC 2007 - International Conference on Service-Oriented Computing …, 2007 | 6 | 2007 |
| Characterising Access Control Conflicts J Moura NMR 2012 - 14th International Workshop on Non-Monotonic Reasoning, 2012 | 5 | 2012 |
| Allowing Cyclic Dependencies in Modular Logic Programming J Moura, CV Damásio Lecture Notes in Computer Science (ISSN 0302-9743) 9273 (EPIA 2015 …, 2015 | 2 | 2015 |
| Generalising Modular Logic Programs J Moura, C Viegas Damásio NMR 2014 - 15th International Workshop on Non-Monotonic Reasoning, 2014 | 2 | 2014 |
| Modular Logic Programming DT Janhunen Universidade Nova de Lisboa, 2016 | | 2016 |
| Towards a characterization of semi-stable models in the logic of here-and-there JMG Moura | | 2009 |
Carlos Viegas DamásioProfessor of Computer Science, NOVALINCS e Fac. de Ciências e Tecnologia da Univ. Nova de LisboaVerified email at fct.unl.pt
