Ricardo Gonçalves

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 27

Top Topics

Answer Set Programming

Causal Theories

Top Venues

Theory Pract. Log. Program.

Publications

Ricardo Gonçalves, Matthias Knorr, João Leite
Forgetting in Answer Set Programming - A Survey. Theory Pract. Log. Program. 23 (1) (2023)
Matthias Knorr, Carlos Viegas Damásio, Ricardo Gonçalves, João Leite
Towards Provenance in Heterogeneous Knowledge Bases. LPNMR (2022)
João Ferreira, Manuel de Sousa Ribeiro, Ricardo Gonçalves, João Leite
Looking Inside the Black-Box: Logic-based Explanations for Neural Networks. KR (2022)
Ricardo Gonçalves, Matthias Knorr, João Leite
Forgetting in Answer Set Programming - A Survey. CoRR (2021)
Ricardo Ferreira, Carolina Lopes, Ricardo Gonçalves, Matthias Knorr, Ludwig Krippahl, João Leite
Deep Neural Networks for Approximating Stream Reasoning with C-SPARQL. EPIA (2021)
Ricardo Ferreira, Carolina Lopes, Ricardo Gonçalves, Matthias Knorr, Ludwig Krippahl, João Leite
Deep Neural Networks for Approximating Stream Reasoning with C-SPARQL. CoRR (2021)
João Ferreira, Diogo Lavado, Ricardo Gonçalves, Matthias Knorr, Ludwig Krippahl, João Leite
Faster Than LASER - Towards Stream Reasoning with Deep Neural Networks. EPIA (2021)
João Ferreira, Diogo Lavado, Ricardo Gonçalves, Matthias Knorr, Ludwig Krippahl, João Leite
Faster than LASER - Towards Stream Reasoning with Deep Neural Networks. CoRR (2021)
Jesse Heyninck, Ricardo Gonçalves, Matthias Knorr, João Leite
Tractable Reasoning Using Logic Programs with Intensional Concepts. JELIA (2021)
Ricardo Gonçalves, Tomi Janhunen, Matthias Knorr, João Leite
On Syntactic Forgetting Under Uniform Equivalence. JELIA (2021)
Ricardo Gonçalves, Matthias Knorr, João Leite, Stefan Woltran
On the limits of forgetting in Answer Set Programming. Artif. Intell. 286 (2020)
Matti Berthold, Ricardo Gonçalves, Matthias Knorr, João Leite
Forgetting in Answer Set Programming with Anonymous Cycles. EPIA (2) (2019)
Ricardo Gonçalves, Tomi Janhunen, Matthias Knorr, João Leite, Stefan Woltran
Forgetting in Modular Answer Set Programming. AAAI (2019)
Matti Berthold, Ricardo Gonçalves, Matthias Knorr, João Leite
A Syntactic Operator for Forgetting that Satisfies Strong Persistence. CoRR (2019)
Matti Berthold, Ricardo Gonçalves, Matthias Knorr, João Leite
A Syntactic Operator for Forgetting that Satisfies Strong Persistence. Theory Pract. Log. Program. 19 (5-6) (2019)
Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer
Reactive multi-context systems: Heterogeneous reasoning in dynamic environments. Artif. Intell. 256 (2018)
Ricardo Gonçalves, Tomi Janhunen, Matthias Knorr, João Leite, Stefan Woltran
Variable Elimination for DLP-Functions. KR (2018)
Ricardo Gonçalves, Matthias Knorr, João Leite, Stefan Woltran
When you must forget: Beyond strong persistence when forgetting in answer set programming. Theory Pract. Log. Program. 17 (5-6) (2017)
Ricardo Gonçalves, Matthias Knorr, João Leite
Iterative Variable Elimination in ASP. EPIA (2017)
Ricardo Gonçalves, Matthias Knorr, João Leite, Stefan Woltran
When You Must Forget: beyond strong persistence when forgetting in answer set programming. CoRR (2017)
Ricardo Gonçalves, Matthias Knorr, João Leite
The Ultimate Guide to Forgetting in Answer Set Programming. KR (2016)
Ricardo Gonçalves, Matthias Knorr, João Leite
You Can't Always Forget What You Want: On the Limits of Forgetting in Answer Set Programming. ECAI (2016)
Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer
Towards Inconsistency Management in Reactive Multi-Context Systems. DARe@ECAI (2016)
Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer
Reactive Multi-Context Systems: Heterogeneous Reasoning in Dynamic Environments. CoRR (2016)
Ricardo Gonçalves, Matthias Knorr, João Leite
On Some Properties of Forgetting in ASP. DARe@ECAI (2016)
Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer
Inconsistency Management in Reactive Multi-context Systems. JELIA (2016)
Ricardo Gonçalves, Matthias Knorr, João Leite
Forgetting in ASP: The Forgotten Properties. JELIA (2016)
Ricardo Gonçalves, Matthias Knorr, João Leite
On Minimal Change in Evolving Multi-Context Systems (Preliminary Report). CoRR (2015)
Ricardo Gonçalves, Matthias Knorr, João Leite
Towards Efficient Evolving Multi-Context Systems (Preliminary Report). CoRR (2015)
Ricardo Gonçalves
Combining Rules and Ontologies via Parametrized Logic Programs. JOWO@IJCAI (2015)
Ricardo Gonçalves, Matthias Knorr, João Leite
Minimal Change in Evolving Multi-Context Systems. EPIA (2015)
Matthias Knorr, Ricardo Gonçalves, João Leite
On Efficient Evolving Multi-Context Systems. PRICAI (2014)
Ricardo Gonçalves, Matthias Knorr, João Leite
Evolving Multi-Context Systems. ECAI (2014)
Ricardo Gonçalves, Matthias Knorr, João Leite
Evolving Bridge Rules in Evolving Multi-Context Systems. CLIMA (2014)
Ricardo Gonçalves, Matthias Knorr, João Leite, Martin Slota
Non-monotonic Temporal Goals. LPNMR (2013)
Ricardo Gonçalves, José Júlio Alferes
Deontic logic programs. AAMAS (2013)
Carlos Caleiro, Ricardo Gonçalves
Abstract Valuation Semantics. Stud Logica 101 (4) (2013)
Matthias Knorr, Alfredo Gabaldon, Ricardo Gonçalves, João Leite, Martin Slota
Time Is Up! - Norms with Deadlines in Action Languages. CLIMA (2013)
Ricardo Gonçalves, José Júlio Alferes
Decidability and Implementation of Parametrized Logic Programs. LPNMR (2013)
José Júlio Alferes, Ricardo Gonçalves, João Leite
Equivalence of defeasible normative systems. J. Appl. Non Class. Logics 23 (1-2) (2013)
Marco Alberti, Matthias Knorr, Ana Sofia Gomes, João Leite, Ricardo Gonçalves, Martin Slota
Normative systems require hybrid knowledge bases. AAMAS (2012)
Ricardo Gonçalves, José Júlio Alferes
An Embedding of Input-Output Logic in Deontic Logic Programs. DEON (2012)
Ricardo Gonçalves, José Júlio Alferes
Specifying and reasoning about normative systems in deontic logic programming. AAMAS (2012)
Ricardo Gonçalves, José Júlio Alferes
Parametrized Equilibrium Logic. LPNMR (2011)
Carlos Caleiro, Ricardo Gonçalves
Towards a Behavioral Algebraic Theory of Logical Valuations. Fundam. Informaticae 106 (2-4) (2011)
Marco Alberti, Ana Sofia Gomes, Ricardo Gonçalves, João Leite, Martin Slota
Normative Systems Represented as Hybrid Knowledge Bases. CLIMA (2011)
Ricardo Gonçalves, José Júlio Alferes
Parametrized Logic Programming. JELIA (2010)
Carlos Caleiro, Ricardo Gonçalves
Behavioral algebraization of da Costa's C-systems. J. Appl. Non Class. Logics 19 (2) (2009)
Carlos Caleiro, Ricardo Gonçalves
Algebraic Valuations as Behavioral Logical Matrices. WoLLIC (2009)
Carlos Caleiro, Ricardo Gonçalves, Manuel A. Martins
Behavioral Algebraization of Logics. Stud Logica 91 (1) (2009)
Carlos Caleiro, Ricardo Gonçalves
On the Algebraization of Many-Sorted Logics. WADT (2006)