| The ultimate guide to forgetting in answer set programming R Gonçalves, M Knorr, J Leite Fifteenth International Conference on the Principles of Knowledge …, 2016 | 48 | 2016 |
| Normative systems represented as hybrid knowledge bases M Alberti, AS Gomes, R Gonçalves, J Leite, M Slota Computational Logic in Multi-Agent Systems: 12th International Workshop …, 2011 | 44 | 2011 |
| Equipollent logical systems C Caleiro, R Gonçalves Logica Universalis: Towards a general theory of logic, 97-109, 2007 | 42 | 2007 |
| You can't always forget what you want: on the limits of forgetting in answer set programming R Gonçalves, M Knorr, J Leite ECAI 2016, 957-965, 2016 | 40 | 2016 |
| Evolving multi-context systems R Gonçalves, M Knorr, J Leite ECAI 2014, 375-380, 2014 | 40 | 2014 |
| Looking inside the black-box: Logic-based explanations for neural networks J Ferreira, M de Sousa Ribeiro, R Gonçalves, J Leite Proceedings of the international conference on principles of knowledge …, 2022 | 34 | 2022 |
| Reactive multi-context systems: Heterogeneous reasoning in dynamic environments G Brewka, S Ellmauthaler, R Gonçalves, M Knorr, J Leite, J Pührer Artificial Intelligence 256, 68-104, 2018 | 29 | 2018 |
| Parametrized logic programming R Gonçalves, JJ Alferes European Workshop on Logics in Artificial Intelligence, 182-194, 2010 | 26 | 2010 |
| When you must forget: Beyond strong persistence when forgetting in answer set programming R Gonçalves, M Knorr, J Leite, S Woltran Theory and Practice of Logic Programming 17 (5-6), 837-854, 2017 | 22 | 2017 |
| A syntactic operator for forgetting that satisfies strong persistence M Berthold, R Gonçalves, M Knorr, J Leite Theory and Practice of Logic Programming 19 (5-6), 1038-1055, 2019 | 21 | 2019 |
| Normative systems require hybrid knowledge bases M Alberti, M Knorr, AS Gomes, J Leite, R Gonçalves, M Slota Proceedings of the 11th International Conference on Autonomous Agents and …, 2012 | 19 | 2012 |
| An embedding of input-output logic in deontic logic programs R Gonçalves, JJ Alferes Deontic Logic in Computer Science: 11th International Conference, DEON 2012 …, 2012 | 17 | 2012 |
| Behavioral algebraization of logics C Caleiro, R Gonçalves, M Martins Studia Logica 91, 63-111, 2009 | 17 | 2009 |
| Defining energy consumption plans for data querying processes R Gonçalves, J Saraiva, O Belo 2014 IEEE Fourth International Conference on Big Data and Cloud Computing …, 2014 | 16 | 2014 |
| Evolving bridge rules in evolving multi-context systems R Gonçalves, M Knorr, J Leite Computational Logic in Multi-Agent Systems: 15th International Workshop …, 2014 | 15 | 2014 |
| Forgetting in modular answer set programming R Gonçalves, T Janhunen, M Knorr, J Leite, S Woltran Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 2843-2850, 2019 | 14 | 2019 |
| On the algebraization of many-sorted logics C Caleiro, R Gonçalves International Workshop on Algebraic Development Techniques, 21-36, 2006 | 13 | 2006 |
| Forgetting in answer set programming–a survey R Gonçalves, M Knorr, J Leite Theory and Practice of Logic Programming 23 (1), 111-156, 2023 | 12 | 2023 |
| DottedDB: Anti-entropy without merkle trees, deletes without tombstones RJT Goncalves, PS Almeida, C Baquero, V Fonte 2017 IEEE 36th Symposium on Reliable Distributed Systems (SRDS), 194-203, 2017 | 10 | 2017 |
| Behavioral algebraization of da Costa's C-systems C Caleiro, R Gonçalves Journal of Applied Non-Classical Logics 19 (2), 127-148, 2009 | 10 | 2009 |
Joao LeiteProfessor of Computer Science, Universidade Nova de LisboaEmail confirmado em fct.unl.pt
