Get started
Author

Ricardo Gonçalves

Observed names: Gonçalves, Ricardo, RICARDO GONÇALVES, Ricardo R. Jardim Gonçalves
Observed institutions: Instituto de Telecomunicações, Uninova, Instituto Superior Técnico, Laboratório para a Ciência da Computação e Informática, Fundação para a Ciência e Tecnologia, Universidade Nova de Lisboa
ORCID: 0000-0003-4289-7197
Observed ORCID: 0000-0003-4289-7197
OpenAlex ID: A5065367921
The ultimate guide to forgetting in answer set programming
2016 · Ricardo Gonçalves, Matthias Knorr, et al. · Principles of Knowledge Representation and Reasoning · 33
Normative Systems Represented as Hybrid Knowledge Bases
2011 · Marco Alberti, Ana Sofia Gomes, et al. · Lecture notes in computer science · 33
Looking Inside the Black-Box: Logic-based Explanations for Neural Networks
2022 · João Ferreira, Manuel de Sousa Ribeiro, et al. · Principles of Knowledge Representation and Reasoning · 25
PDF
Reactive multi-context systems: Heterogeneous reasoning in dynamic environments
2017 · Gerhard Brewka, Stefan Ellmauthaler, et al. · Artificial Intelligence · 23
Parametrized Logic Programming
2010 · Ricardo Gonçalves, José Júlio Alferes · Lecture notes in computer science · 21
Equipollent Logical Systems
2005 · Carlos Caleiro, Ricardo Gonçalves · Birkhäuser-Verlag eBooks · 21
A Syntactic Operator for Forgetting that Satisfies Strong Persistence
2019 · MATTI BERTHOLD, RICARDO GONÇALVES, et al. · Theory and Practice of Logic Programming · 19
PDF
When you must forget: Beyond strong persistence when forgetting in answer set programming
2017 · RICARDO GONÇALVES, MATTHIAS KNORR, et al. · Theory and Practice of Logic Programming · 18
PDF
Forgetting in Answer Set Programming – A Survey
2021 · RICARDO GONÇALVES, MATTHIAS KNORR, et al. · Theory and Practice of Logic Programming · 17
PDF
Forgetting in Modular Answer Set Programming
2019 · Ricardo Gonçalves, Tomi Janhunen, et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 14
An Embedding of Input-Output Logic in Deontic Logic Programs
2012 · Ricardo Gonçalves, José Júlio Alferes · Lecture notes in computer science · 14
Behavioral Algebraization of Logics
2009 · Carlos Caleiro, Ricardo Gonçalves, et al. · Studia Logica · 14
Evolving Bridge Rules in Evolving Multi-Context Systems
2014 · Ricardo Gonçalves, Matthias Knorr, et al. · Lecture notes in computer science · 11
Equipollent Logical Systems
2007 · Carlos Caleiro, Ricardo Gonçalves · Birkhäuser Basel eBooks · 11
On the limits of forgetting in Answer Set Programming
2020 · Ricardo Gonçalves, Matthias Knorr, et al. · Artificial Intelligence · 10
PDF
On Syntactic Forgetting Under Uniform Equivalence
2021 · Ricardo Gonçalves, Tomi Janhunen, et al. · Lecture notes in computer science · 9
On the Algebraization of Many-Sorted Logics
2007 · Carlos Caleiro, Ricardo Gonçalves · Springer eBooks · 7
Forgetting in ASP: The Forgotten Properties
2016 · Ricardo Gonçalves, Matthias Knorr, et al. · Lecture notes in computer science · 6
Specifying and reasoning about normative systems in deontic logic programming
2012 · Ricardo Gonçalves, José Júlio Alferes · Adaptive Agents and Multi-Agents Systems · 6
Behavioral algebraization of da Costa's C-systems
2009 · Carlos Caleiro, Ricardo Gonçalves · Journal of Applied Non-Classical Logics · 6
On Abstracting over the Irrelevant in Answer Set Programming
2024 · Zeynep G. Saribatur, Matthias Knorr, et al. · Principles of Knowledge Representation and Reasoning · 5
PDF
Iterative Variable Elimination in ASP
2017 · Ricardo Gonçalves, Matthias Knorr, et al. · Lecture notes in computer science · 5
Equivalence of defeasible normative systems
2013 · José Júlio Alferes, Ricardo Gonçalves, et al. · Journal of Applied Non-Classical Logics · 5
Forgetting in Answer Set Programming with Anonymous Cycles
2019 · Matti Berthold, Ricardo Gonçalves, et al. · Lecture notes in computer science · 4
PDF
Inconsistency Management in Reactive Multi-context Systems
2016 · Gerhard Brewka, Stefan Ellmauthaler, et al. · Lecture notes in computer science · 4
PDF
Works count: 56
Citation count: 378
H-index: 12
I10-index: 15
Year
Topic
Type