Seguir
Ricardo Gonçalves
Ricardo Gonçalves
Department of Computer Science - NOVA School of Science and Technology
Dirección de correo verificada de fct.unl.pt - Página principal
Título
Citado por
Citado por
Año
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
482016
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
442011
Equipollent logical systems
C Caleiro, R Gonçalves
Logica Universalis: Towards a general theory of logic, 97-109, 2007
412007
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
392016
Evolving multi-context systems
R Gonçalves, M Knorr, J Leite
ECAI 2014, 375-380, 2014
392014
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
312022
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
272018
Parametrized logic programming
R Gonçalves, JJ Alferes
European Workshop on Logics in Artificial Intelligence, 182-194, 2010
262010
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
212019
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
212017
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
192012
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
172012
Behavioral algebraization of logics
C Caleiro, R Gonçalves, M Martins
Studia Logica 91, 63-111, 2009
172009
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
162014
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
152014
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
142019
On the algebraization of many-sorted logics
C Caleiro, R Gonçalves
International Workshop on Algebraic Development Techniques, 21-36, 2006
132006
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
102023
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
102017
Behavioral algebraization of da Costa's C-systems
C Caleiro, R Gonçalves
Journal of Applied Non-Classical Logics 19 (2), 127-148, 2009
102009
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20