Ricardo Gonalves
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
34
Venues
14
Active years
2009–2026
Best venue rank
A*
Where they publish
Papers
34 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | KR | Beyond Uniform: To Boldly Abstract What Has Not Been Abstracted Before. | Matthias Knorr, Zeynep G. Saribatur, Ricardo Gonalves |
| 2024 | KR | On Abstracting over the Irrelevant in Answer Set Programming. | Zeynep G. Saribatur, Matthias Knorr, Ricardo Gonalves, Joo Leite |
| 2022 | KR | Looking Inside the Black-Box: Logic-based Explanations for Neural Networks. | Joo Ferreira, Manuel de Sousa Ribeiro, Ricardo Gonalves, Joo Leite |
| 2022 | LPNMR | Towards Provenance in Heterogeneous Knowledge Bases. | Matthias Knorr, Carlos Viegas Damsio, Ricardo Gonalves, Joo Leite |
| 2021 | EPIA | Deep Neural Networks for Approximating Stream Reasoning with C-SPARQL. | Ricardo Ferreira, Carolina Lopes, Ricardo Gonalves, Matthias Knorr, Ludwig Krippahl, Joo Leite |
| 2021 | EPIA | Faster Than LASER - Towards Stream Reasoning with Deep Neural Networks. | Joo Ferreira, Diogo Lavado, Ricardo Gonalves, Matthias Knorr, Ludwig Krippahl, Joo Leite |
| 2021 | JELIA | On Syntactic Forgetting Under Uniform Equivalence. | Ricardo Gonalves, Tomi Janhunen, Matthias Knorr, Joo Leite |
| 2021 | JELIA | Tractable Reasoning Using Logic Programs with Intensional Concepts. | Jesse Heyninck, Ricardo Gonalves, Matthias Knorr, Joo Leite |
| 2019 | AAAI | Forgetting in Modular Answer Set Programming. | Ricardo Gonalves, Tomi Janhunen, Matthias Knorr, Joo Leite, Stefan Woltran |
| 2019 | EPIA | Forgetting in Answer Set Programming with Anonymous Cycles. | Matti Berthold, Ricardo Gonalves, Matthias Knorr, Joo Leite |
| 2018 | KR | Variable Elimination for DLP-Functions. | Ricardo Gonalves, Tomi Janhunen, Matthias Knorr, Joo Leite, Stefan Woltran |
| 2017 | EPIA | Iterative Variable Elimination in ASP. | Ricardo Gonalves, Matthias Knorr, Joo Leite |
| 2016 | ECAI | You Can't Always Forget What You Want: On the Limits of Forgetting in Answer Set Programming. | Ricardo Gonalves, Matthias Knorr, Joo Leite |
| 2016 | ECAI | On Some Properties of Forgetting in ASP. | Ricardo Gonalves, Matthias Knorr, Joo Leite |
| 2016 | ECAI | Towards Inconsistency Management in Reactive Multi-Context Systems. | Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonalves, Matthias Knorr, Joo Leite, Jrg Phrer |
| 2016 | JELIA | Forgetting in ASP: The Forgotten Properties. | Ricardo Gonalves, Matthias Knorr, Joo Leite |
| 2016 | JELIA | Inconsistency Management in Reactive Multi-context Systems. | Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonalves, Matthias Knorr, Joo Leite, Jrg Phrer |
| 2016 | KR | The Ultimate Guide to Forgetting in Answer Set Programming. | Ricardo Gonalves, Matthias Knorr, Joo Leite |
| 2015 | DAIS | Concise Server-Wide Causality Management for Eventually Consistent Data Stores. | Ricardo Gonalves, Paulo Srgio Almeida, Carlos Baquero, Victor Fonte |
| 2015 | EPIA | Minimal Change in Evolving Multi-Context Systems. | Ricardo Gonalves, Matthias Knorr, Joo Leite |
| 2015 | IJCAI | Combining Rules and Ontologies via Parametrized Logic Programs. | Ricardo Gonalves |
| 2014 | DAIS | Scalable and Accurate Causality Tracking for Eventually Consistent Stores. | Paulo Srgio Almeida, Carlos Baquero, Ricardo Gonalves, Nuno M. Preguia, Victor Fonte |
| 2014 | ECAI | Evolving Multi-Context Systems. | Ricardo Gonalves, Matthias Knorr, Joo Leite |
| 2014 | PRICAI | On Efficient Evolving Multi-Context Systems. | Matthias Knorr, Ricardo Gonalves, Joo Leite |
| 2014 | VTC | Experimental Characterization of Wearable Antennas and Circuits for RF Energy Harvesting in WBANs. | Henrique M. Saraiva, Lus M. Borges, Pedro Pinho, Ricardo Gonalves, Ral Chvez-Santiago, Norberto Barroca, Jorge Tavares, Paulo T. Gouveia, Nuno Borges Carvalho, Ilangko Balasingham, Fernando J. Velez, Caroline Loss, Rita Salvado |
| 2013 | LPNMR | Decidability and Implementation of Parametrized Logic Programs. | Ricardo Gonalves, Jos Jlio Alferes |
| 2013 | LPNMR | Non-monotonic Temporal Goals. | Ricardo Gonalves, Matthias Knorr, Joo Leite, Martin Slota |
| 2013 | PIMRC | Antennas and circuits for ambient RF energy harvesting in wireless body area networks. | Norberto Barroca, Henrique M. Saraiva, Paulo T. Gouveia, Jorge Tavares, Lus M. Borges, Fernando J. Velez, Caroline Loss, Rita Salvado, Pedro Pinho, Ricardo Gonalves, Nuno Borges Carvalho, Ral Chvez-Santiago, Ilangko Balasingham |
| 2012 | AAMAS | Normative systems require hybrid knowledge bases. | Marco Alberti, Matthias Knorr, Ana Sofia Gomes, Joo Leite, Ricardo Gonalves, Martin Slota |
| 2012 | AAMAS | Specifying and reasoning about normative systems in deontic logic programming. | Ricardo Gonalves, Jos Jlio Alferes |
| 2012 | PODC | Brief announcement: efficient causality tracking in distributed storage systems with dotted version vectors. | Nuno M. Preguia, Carlos Baquero, Paulo Srgio Almeida, Victor Fonte, Ricardo Gonalves |
| 2011 | LPNMR | Parametrized Equilibrium Logic. | Ricardo Gonalves, Jos Jlio Alferes |
| 2010 | JELIA | Parametrized Logic Programming. | Ricardo Gonalves, Jos Jlio Alferes |
| 2009 | WoLLIC | Algebraic Valuations as Behavioral Logical Matrices. | Carlos Caleiro, Ricardo Gonalves |