On the Algebraization of Many-Sorted Logics. - Carlos Caleiro; Ricardo Gonçalves 001 (WADT, 2006)

Algebraic Valuations as Behavioral Logical Matrices. - Carlos Caleiro; Ricardo Gonçalves 001 (WoLLIC, 2009)

Behavioral algebraization of da Costa's C-systems. - Carlos Caleiro; Ricardo Gonçalves 001 (J. Appl. Non Class. Logics, 2009)

Behavioral Algebraization of Logics. - Carlos Caleiro; Ricardo Gonçalves 001; Manuel A. Martins 001 (Stud Logica, 2009)

Parametrized Logic Programming. - Ricardo Gonçalves 001; José Júlio Alferes (JELIA, 2010)

Normative Systems Represented as Hybrid Knowledge Bases. - Marco Alberti 001; Ana Sofia Gomes; Ricardo Gonçalves 001; João Leite 001; Martin Slota (CLIMA, 2011)

Parametrized Equilibrium Logic. - Ricardo Gonçalves 001; José Júlio Alferes (LPNMR, 2011)

Towards a Behavioral Algebraic Theory of Logical Valuations. - Carlos Caleiro; Ricardo Gonçalves 001 (Fundam. Informaticae, 2011)

Normative systems require hybrid knowledge bases. - Marco Alberti 001; Matthias Knorr 001; Ana Sofia Gomes; João Leite 001; Ricardo Gonçalves 001; Martin Slota (AAMAS, 2012)

Specifying and reasoning about normative systems in deontic logic programming. - Ricardo Gonçalves 001; José Júlio Alferes (AAMAS, 2012)

An Embedding of Input-Output Logic in Deontic Logic Programs. - Ricardo Gonçalves 001; José Júlio Alferes (DEON, 2012)

Deontic logic programs. - Ricardo Gonçalves 001; José Júlio Alferes (AAMAS, 2013)

Time Is Up! - Norms with Deadlines in Action Languages. - Matthias Knorr 001; Alfredo Gabaldon; Ricardo Gonçalves 001; João Leite 001; Martin Slota (CLIMA, 2013)

Decidability and Implementation of Parametrized Logic Programs. - Ricardo Gonçalves 001; José Júlio Alferes (LPNMR, 2013)

Non-monotonic Temporal Goals. - Ricardo Gonçalves 001; Matthias Knorr 001; João Leite 001; Martin Slota (LPNMR, 2013)

Equivalence of defeasible normative systems. - José Júlio Alferes; Ricardo Gonçalves 001; João Leite 001 (J. Appl. Non Class. Logics, 2013)

Abstract Valuation Semantics. - Carlos Caleiro; Ricardo Gonçalves 001 (Stud Logica, 2013)

Evolving Bridge Rules in Evolving Multi-Context Systems. - Ricardo Gonçalves 001; Matthias Knorr 001; João Leite 001 (CLIMA, 2014)

Evolving Multi-Context Systems. - Ricardo Gonçalves 001; Matthias Knorr 001; João Leite 001 (ECAI, 2014)

On Efficient Evolving Multi-Context Systems. - Matthias Knorr 001; Ricardo Gonçalves 001; João Leite 001 (PRICAI, 2014)

Minimal Change in Evolving Multi-Context Systems. - Ricardo Gonçalves 001; Matthias Knorr 001; João Leite 001 (EPIA, 2015)

Combining Rules and Ontologies via Parametrized Logic Programs. - Ricardo Gonçalves 001 (JOWO@IJCAI, 2015)

On Minimal Change in Evolving Multi-Context Systems (Preliminary Report). - Ricardo Gonçalves 001; Matthias Knorr 001; João Leite 001 (CoRR, 2015)

Towards Efficient Evolving Multi-Context Systems (Preliminary Report). - Ricardo Gonçalves 001; Matthias Knorr 001; João Leite 001 (CoRR, 2015)

You Can't Always Forget What You Want: On the Limits of Forgetting in Answer Set Programming. - Ricardo Gonçalves 001; Matthias Knorr 001; João Leite 001 (ECAI, 2016)

On Some Properties of Forgetting in ASP. - Ricardo Gonçalves 001; Matthias Knorr 001; João Leite 001 (DARe@ECAI, 2016)

Towards Inconsistency Management in Reactive Multi-Context Systems. - Gerhard Brewka; Stefan Ellmauthaler; Ricardo Gonçalves 001; Matthias Knorr 001; João Leite 001; Jörg Pührer (DARe@ECAI, 2016)

Forgetting in ASP: The Forgotten Properties. - Ricardo Gonçalves 001; Matthias Knorr 001; João Leite 001 (JELIA, 2016)

Inconsistency Management in Reactive Multi-context Systems. - Gerhard Brewka; Stefan Ellmauthaler; Ricardo Gonçalves 001; Matthias Knorr 001; João Leite 001; Jörg Pührer (JELIA, 2016)

The Ultimate Guide to Forgetting in Answer Set Programming. - Ricardo Gonçalves 001; Matthias Knorr 001; João Leite 001 (KR, 2016)

Iterative Variable Elimination in ASP. - Ricardo Gonçalves 001; Matthias Knorr 001; João Leite 001 (EPIA, 2017)

When you must forget: Beyond strong persistence when forgetting in answer set programming. - Ricardo Gonçalves 001; Matthias Knorr 001; João Leite 001; Stefan Woltran (Theory Pract. Log. Program., 2017)

Variable Elimination for DLP-Functions. - Ricardo Gonçalves 001; Tomi Janhunen; Matthias Knorr 001; João Leite 001; Stefan Woltran (KR, 2018)

Reactive multi-context systems: Heterogeneous reasoning in dynamic environments. - Gerhard Brewka; Stefan Ellmauthaler; Ricardo Gonçalves 001; Matthias Knorr 001; João Leite 001; Jörg Pührer (Artif. Intell., 2018)

Forgetting in Modular Answer Set Programming. - Ricardo Gonçalves 001; Tomi Janhunen; Matthias Knorr 001; João Leite 001; Stefan Woltran (AAAI, 2019)

Forgetting in Answer Set Programming with Anonymous Cycles. - Matti Berthold; Ricardo Gonçalves 001; Matthias Knorr 001; João Leite 001 (EPIA (2), 2019)

A Syntactic Operator for Forgetting that Satisfies Strong Persistence. - Matti Berthold; Ricardo Gonçalves 001; Matthias Knorr 001; João Leite 001 (Theory Pract. Log. Program., 2019)

On the limits of forgetting in Answer Set Programming. - Ricardo Gonçalves 001; Matthias Knorr 001; João Leite 001; Stefan Woltran (Artif. Intell., 2020)

Deep Neural Networks for Approximating Stream Reasoning with C-SPARQL. - Ricardo Ferreira; Carolina Lopes; Ricardo Gonçalves 001; Matthias Knorr 001; Ludwig Krippahl; João Leite 001 (EPIA, 2021)

Faster Than LASER - Towards Stream Reasoning with Deep Neural Networks. - João Ferreira; Diogo Lavado; Ricardo Gonçalves 001; Matthias Knorr 001; Ludwig Krippahl; João Leite 001 (EPIA, 2021)

On Syntactic Forgetting Under Uniform Equivalence. - Ricardo Gonçalves 001; Tomi Janhunen; Matthias Knorr 001; João Leite 001 (JELIA, 2021)

Tractable Reasoning Using Logic Programs with Intensional Concepts. - Jesse Heyninck; Ricardo Gonçalves 001; Matthias Knorr 001; João Leite 001 (JELIA, 2021)

Looking Inside the Black-Box: Logic-based Explanations for Neural Networks. - João Ferreira; Manuel de Sousa Ribeiro; Ricardo Gonçalves 001; João Leite 001 (KR, 2022)

Towards Provenance in Heterogeneous Knowledge Bases. - Matthias Knorr 001; Carlos Viegas Damásio; Ricardo Gonçalves 001; João Leite 001 (LPNMR, 2022)

Forgetting in Answer Set Programming - A Survey. - Ricardo Gonçalves 001; Matthias Knorr 001; João Leite 001 (Theory Pract. Log. Program., 2023)

On Abstracting over the Irrelevant in Answer Set Programming. - Zeynep G. Saribatur; Matthias Knorr 001; Ricardo Gonçalves 001; João Leite 001 (KR, 2024)