Ricardo Gonçalves

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