Ricardo Gonçalves

According to our database, Ricardo Gonçalves authored at least 45 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Forgetting in Answer Set Programming - A Survey.

Ricardo Gonçalves, Matthias Knorr, João Leite

Theory Pract. Log. Program., 2023

2022

Towards Provenance in Heterogeneous Knowledge Bases.

Matthias Knorr, Carlos Viegas Damásio, Ricardo Gonçalves, João Leite

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

Looking Inside the Black-Box: Logic-based Explanations for Neural Networks.

João Ferreira, Manuel de Sousa Ribeiro, Ricardo Gonçalves, João Leite

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

2021

Tractable Reasoning Using Logic Programs with Intensional Concepts.

Jesse Heyninck, Ricardo Gonçalves, Matthias Knorr, João Leite

Proceedings of the Logics in Artificial Intelligence - 17th European Conference, 2021

On Syntactic Forgetting Under Uniform Equivalence.

Ricardo Gonçalves, Tomi Janhunen, Matthias Knorr, João Leite

Proceedings of the Logics in Artificial Intelligence - 17th European Conference, 2021

Faster Than LASER - Towards Stream Reasoning with Deep Neural Networks.

João Ferreira, Diogo Lavado, Ricardo Gonçalves, Matthias Knorr, Ludwig Krippahl, João Leite

Proceedings of the Progress in Artificial Intelligence, 2021

Deep Neural Networks for Approximating Stream Reasoning with C-SPARQL.

Ricardo Ferreira, Carolina Lopes, Ricardo Gonçalves, Matthias Knorr, Ludwig Krippahl, João Leite

Proceedings of the Progress in Artificial Intelligence, 2021

2020

On the limits of forgetting in Answer Set Programming.

Ricardo Gonçalves, Matthias Knorr, João Leite, Stefan Woltran

Artif. Intell., 2020

2019

A Syntactic Operator for Forgetting that Satisfies Strong Persistence.

Matti Berthold, Ricardo Gonçalves, Matthias Knorr, João Leite

Theory Pract. Log. Program., 2019

Forgetting in Answer Set Programming with Anonymous Cycles.

Matti Berthold, Ricardo Gonçalves, Matthias Knorr, João Leite

Proceedings of the Progress in Artificial Intelligence, 2019

Forgetting in Modular Answer Set Programming.

Ricardo Gonçalves, Tomi Janhunen, Matthias Knorr, João Leite, Stefan Woltran

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Reactive multi-context systems: Heterogeneous reasoning in dynamic environments.

Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer

Artif. Intell., 2018

Variable Elimination for DLP-Functions.

Ricardo Gonçalves, Tomi Janhunen, Matthias Knorr, João Leite, Stefan Woltran

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

2017

When you must forget: Beyond strong persistence when forgetting in answer set programming.

Ricardo Gonçalves, Matthias Knorr, João Leite, Stefan Woltran

Theory Pract. Log. Program., 2017

Iterative Variable Elimination in ASP.

Ricardo Gonçalves, Matthias Knorr, João Leite

Proceedings of the Progress in Artificial Intelligence, 2017

2016

The Ultimate Guide to Forgetting in Answer Set Programming.

Ricardo Gonçalves, Matthias Knorr, João Leite

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Inconsistency Management in Reactive Multi-context Systems.

Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer

Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

Forgetting in ASP: The Forgotten Properties.

Ricardo Gonçalves, Matthias Knorr, João Leite

Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

Towards Inconsistency Management in Reactive Multi-Context Systems.

Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer

Proceedings of the International Workshop on Defeasible and Ampliative Reasoning (DARe-16) co-located with the 22th European Conference on Artificial Intelligence (ECAI 2016), 2016

On Some Properties of Forgetting in ASP.

Ricardo Gonçalves, Matthias Knorr, João Leite

Proceedings of the International Workshop on Defeasible and Ampliative Reasoning (DARe-16) co-located with the 22th European Conference on Artificial Intelligence (ECAI 2016), 2016

You Can't Always Forget What You Want: On the Limits of Forgetting in Answer Set Programming.

Ricardo Gonçalves, Matthias Knorr, João Leite

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

2015

Towards Efficient Evolving Multi-Context Systems (Preliminary Report).

Ricardo Gonçalves, Matthias Knorr, João Leite

CoRR, 2015

On Minimal Change in Evolving Multi-Context Systems (Preliminary Report).

Ricardo Gonçalves, Matthias Knorr, João Leite

CoRR, 2015

Combining Rules and Ontologies via Parametrized Logic Programs.

Ricardo Gonçalves

Proceedings of the Joint Ontology Workshops 2015 Episode 1: The Argentine Winter of Ontology co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), 2015

Minimal Change in Evolving Multi-Context Systems.

Ricardo Gonçalves, Matthias Knorr, João Leite

Proceedings of the Progress in Artificial Intelligence, 2015

2014

On Efficient Evolving Multi-Context Systems.

Matthias Knorr, Ricardo Gonçalves, João Leite

Proceedings of the PRICAI 2014: Trends in Artificial Intelligence, 2014

Evolving Multi-Context Systems.

Ricardo Gonçalves, Matthias Knorr, João Leite

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Evolving Bridge Rules in Evolving Multi-Context Systems.

Ricardo Gonçalves, Matthias Knorr, João Leite

Proceedings of the Computational Logic in Multi-Agent Systems, 2014

2013

Abstract Valuation Semantics.

Carlos Caleiro, Ricardo Gonçalves

Stud Logica, 2013

Equivalence of defeasible normative systems.

José Júlio Alferes, Ricardo Gonçalves, João Leite

J. Appl. Non Class. Logics, 2013

Non-monotonic Temporal Goals.

Ricardo Gonçalves, Matthias Knorr, João Leite, Martin Slota

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Decidability and Implementation of Parametrized Logic Programs.

Ricardo Gonçalves, José Júlio Alferes

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Time Is Up! - Norms with Deadlines in Action Languages.

Matthias Knorr, Alfredo Gabaldon, Ricardo Gonçalves, João Leite, Martin Slota

Proceedings of the Computational Logic in Multi-Agent Systems, 2013

Deontic logic programs.

Ricardo Gonçalves, José Júlio Alferes

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

2012

An Embedding of Input-Output Logic in Deontic Logic Programs.

Ricardo Gonçalves, José Júlio Alferes

Proceedings of the Deontic Logic in Computer Science - 11th International Conference, 2012

Specifying and reasoning about normative systems in deontic logic programming.

Ricardo Gonçalves, José Júlio Alferes

Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

Normative systems require hybrid knowledge bases.

Marco Alberti, Matthias Knorr, Ana Sofia Gomes, João Leite, Ricardo Gonçalves, Martin Slota

Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

2011

Towards a Behavioral Algebraic Theory of Logical Valuations.

Carlos Caleiro, Ricardo Gonçalves

Fundam. Informaticae, 2011

Parametrized Equilibrium Logic.

Ricardo Gonçalves, José Júlio Alferes

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Normative Systems Represented as Hybrid Knowledge Bases.

Marco Alberti, Ana Sofia Gomes, Ricardo Gonçalves, João Leite, Martin Slota

Proceedings of the Computational Logic in Multi-Agent Systems, 2011

2010

Parametrized Logic Programming.

Ricardo Gonçalves, José Júlio Alferes

Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

2009

Behavioral Algebraization of Logics.

Carlos Caleiro, Ricardo Gonçalves, Manuel A. Martins

Stud Logica, 2009

Behavioral algebraization of da Costa's C-systems.

Carlos Caleiro, Ricardo Gonçalves

J. Appl. Non Class. Logics, 2009

Algebraic Valuations as Behavioral Logical Matrices.

Carlos Caleiro, Ricardo Gonçalves

Proceedings of the Logic, 2009

2006

On the Algebraization of Many-Sorted Logics.

Carlos Caleiro, Ricardo Gonçalves

Proceedings of the Recent Trends in Algebraic Development Techniques, 2006