Ricardo João Rodrigues Gonçalves
AuthID: R-000-FBQ
1
TÃTULO: Wave Propagation-Based Assessment of Damage in Laboratory Samples of a Cable
AUTORES: Rodrigues, Joao; Elsa Caetano ; Moutinho, Carlos; Mendonca, Raphael;
PUBLICAÇÃO: 2024, FONTE: 3rd International Symposium on Dynamics and Aerodynamics of Cables (ISDAC) in DYNAMICS AND AERODYNAMICS OF CABLES, ISDAC 2023, VOLUME: 399
AUTORES: Rodrigues, Joao; Elsa Caetano ; Moutinho, Carlos; Mendonca, Raphael;
PUBLICAÇÃO: 2024, FONTE: 3rd International Symposium on Dynamics and Aerodynamics of Cables (ISDAC) in DYNAMICS AND AERODYNAMICS OF CABLES, ISDAC 2023, VOLUME: 399
INDEXADO EM: 
WOS 
CrossRef
WOS CrossRef2
TÃTULO: On Abstracting over the Irrelevant in Answer Set Programming
AUTORES: Zeynep Saribatur; Matthias Knorr; Ricardo Gonçalves; João Leite;
PUBLICAÇÃO: 2024, FONTE: 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024 in Proceedings of the International Conference on Knowledge Representation and Reasoning
AUTORES: Zeynep Saribatur; Matthias Knorr; Ricardo Gonçalves; João Leite;
PUBLICAÇÃO: 2024, FONTE: 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024 in Proceedings of the International Conference on Knowledge Representation and Reasoning
3
TÃTULO: A Smart Contract Architecture to Enhance the Industrial Symbiosis Process Between the Pulp and Paper Companies - A Case Study
AUTORES: Goncalves, Ricardo; Ferreira, Ines; Godina, Radu; Pinto, Pedro ; Pinto, Antonio ;
PUBLICAÇÃO: 2022, FONTE: 3rd International Congress on Blockchain and Applications (BLOCKCHAIN) in BLOCKCHAIN AND APPLICATIONS, VOLUME: 320
AUTORES: Goncalves, Ricardo; Ferreira, Ines; Godina, Radu; Pinto, Pedro ; Pinto, Antonio ;
PUBLICAÇÃO: 2022, FONTE: 3rd International Congress on Blockchain and Applications (BLOCKCHAIN) in BLOCKCHAIN AND APPLICATIONS, VOLUME: 320
4
TÃTULO: Towards Provenance in Heterogeneous Knowledge Bases
AUTORES: Knorr, Matthias; Damasio, Carlos Viegas; Goncalves, Ricardo; Leite, Joao;
PUBLICAÇÃO: 2022, FONTE: 16th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2022, VOLUME: 13416
AUTORES: Knorr, Matthias; Damasio, Carlos Viegas; Goncalves, Ricardo; Leite, Joao;
PUBLICAÇÃO: 2022, FONTE: 16th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2022, VOLUME: 13416
5
TÃTULO: Looking Inside the Black-Box: Logic-based Explanations for Neural Networks
AUTORES: Ferreira, J; de Sousa Ribeiro, M; Gonçalves, R; Leite, J;
PUBLICAÇÃO: 2022, FONTE: 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022 in 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022
AUTORES: Ferreira, J; de Sousa Ribeiro, M; Gonçalves, R; Leite, J;
PUBLICAÇÃO: 2022, FONTE: 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022 in 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022
6
TÃTULO: Tractable Reasoning using Logic Programs with Intensional Concepts
AUTORES: Jesse Heyninck; Ricardo Gonçalves; Matthias Knorr; João Leite;
PUBLICAÇÃO: 2022, FONTE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 364
AUTORES: Jesse Heyninck; Ricardo Gonçalves; Matthias Knorr; João Leite;
PUBLICAÇÃO: 2022, FONTE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 364
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID
ORCID7
TÃTULO: On Syntactic Forgetting under Uniform Equivalence
AUTORES: Ricardo Gonçalves; Tomi Janhunen; Matthias Knorr; João Leite;
PUBLICAÇÃO: 2022, FONTE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 364
AUTORES: Ricardo Gonçalves; Tomi Janhunen; Matthias Knorr; João Leite;
PUBLICAÇÃO: 2022, FONTE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 364
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID8
TÃTULO: Proceedings 38th International Conference on Logic Programming. Tractable Reasoning using Logic Programs with Intensional Concepts (Report) Full Text
AUTORES: Jesse Heyninck; Ricardo Gonçalves; Matthias Knorr; João Leite;
PUBLICAÇÃO: 2022, FONTE: Electronic Proceedings in Theoretical Computer Science, VOLUME: 364
AUTORES: Jesse Heyninck; Ricardo Gonçalves; Matthias Knorr; João Leite;
PUBLICAÇÃO: 2022, FONTE: Electronic Proceedings in Theoretical Computer Science, VOLUME: 364
9
TÃTULO: Proceedings 38th International Conference on Logic Programming. On Syntactic Forgetting under Uniform Equivalence (Report) Full Text
AUTORES: Ricardo Gonçalves; Tomi Janhunen; Matthias Knorr; João Leite;
PUBLICAÇÃO: 2022, FONTE: Electronic Proceedings in Theoretical Computer Science, VOLUME: 364
AUTORES: Ricardo Gonçalves; Tomi Janhunen; Matthias Knorr; João Leite;
PUBLICAÇÃO: 2022, FONTE: Electronic Proceedings in Theoretical Computer Science, VOLUME: 364
10
TÃTULO: Faster Than LASER - Towards Stream Reasoning with Deep Neural Networks
AUTORES: Ferreira, Joao; Lavado, Diogo; Goncalves, Ricardo; Knorr, Matthias; Krippahl, Ludwig; Leite, Joao;
PUBLICAÇÃO: 2021, FONTE: 20th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2021), VOLUME: 12981
AUTORES: Ferreira, Joao; Lavado, Diogo; Goncalves, Ricardo; Knorr, Matthias; Krippahl, Ludwig; Leite, Joao;
PUBLICAÇÃO: 2021, FONTE: 20th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2021), VOLUME: 12981
