Ricardo João Rodrigues Gonçalves
AuthID: R-000-FBQ
1
TITLE: On the Optimum Detection of MIMO-SVD Signals With Strong Nonlinear Distortion Effects at the Transmitter
AUTHORS: Goncalves, Joao; Teresa Nogueira, M.; Dinis, Daniel; Guerreiro, Joao; Dinis, Rui;
PUBLISHED: 2025, SOURCE: IEEE ACCESS, VOLUME: 13
AUTHORS: Goncalves, Joao; Teresa Nogueira, M.; Dinis, Daniel; Guerreiro, Joao; Dinis, Rui;
PUBLISHED: 2025, SOURCE: IEEE ACCESS, VOLUME: 13
2
TITLE: Wave Propagation-Based Assessment of Damage in Laboratory Samples of a Cable
AUTHORS: Rodrigues, Joao; Elsa Caetano ; Moutinho, Carlos ; Mendonca, Raphael;
PUBLISHED: 2024, SOURCE: 3rd International Symposium on Dynamics and Aerodynamics of Cables (ISDAC) in DYNAMICS AND AERODYNAMICS OF CABLES, ISDAC 2023, VOLUME: 399
AUTHORS: Rodrigues, Joao; Elsa Caetano ; Moutinho, Carlos ; Mendonca, Raphael;
PUBLISHED: 2024, SOURCE: 3rd International Symposium on Dynamics and Aerodynamics of Cables (ISDAC) in DYNAMICS AND AERODYNAMICS OF CABLES, ISDAC 2023, VOLUME: 399
INDEXED IN: 
WOS 
CrossRef
WOS CrossRef3
TITLE: On Abstracting over the Irrelevant in Answer Set Programming
AUTHORS: Zeynep Saribatur; Matthias Knorr; Ricardo Gonçalves; João Leite;
PUBLISHED: 2024, SOURCE: 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024 in Proceedings of the International Conference on Knowledge Representation and Reasoning
AUTHORS: Zeynep Saribatur; Matthias Knorr; Ricardo Gonçalves; João Leite;
PUBLISHED: 2024, SOURCE: 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024 in Proceedings of the International Conference on Knowledge Representation and Reasoning
4
TITLE: Towards Provenance in Heterogeneous Knowledge Bases
AUTHORS: Knorr, Matthias; Damasio, Carlos Viegas; Goncalves, Ricardo; Leite, Joao;
PUBLISHED: 2022, SOURCE: 16th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2022, VOLUME: 13416
AUTHORS: Knorr, Matthias; Damasio, Carlos Viegas; Goncalves, Ricardo; Leite, Joao;
PUBLISHED: 2022, SOURCE: 16th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2022, VOLUME: 13416
5
TITLE: Looking Inside the Black-Box: Logic-based Explanations for Neural Networks
AUTHORS: Ferreira, J; de Sousa Ribeiro, M; Gonçalves, R; Leite, J;
PUBLISHED: 2022, SOURCE: 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
AUTHORS: Ferreira, J; de Sousa Ribeiro, M; Gonçalves, R; Leite, J;
PUBLISHED: 2022, SOURCE: 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
TITLE: Tractable Reasoning using Logic Programs with Intensional Concepts
AUTHORS: Jesse Heyninck; Ricardo Gonçalves; Matthias Knorr; João Leite;
PUBLISHED: 2022, SOURCE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 364
AUTHORS: Jesse Heyninck; Ricardo Gonçalves; Matthias Knorr; João Leite;
PUBLISHED: 2022, SOURCE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 364
INDEXED IN: 
Scopus
Scopus IN MY: 
ORCID
ORCID7
TITLE: On Syntactic Forgetting under Uniform Equivalence
AUTHORS: Ricardo Gonçalves; Tomi Janhunen; Matthias Knorr; João Leite;
PUBLISHED: 2022, SOURCE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 364
AUTHORS: Ricardo Gonçalves; Tomi Janhunen; Matthias Knorr; João Leite;
PUBLISHED: 2022, SOURCE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 364
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID8
TITLE: Proceedings 38th International Conference on Logic Programming. Tractable Reasoning using Logic Programs with Intensional Concepts (Report) Full Text
AUTHORS: Jesse Heyninck; Ricardo Gonçalves; Matthias Knorr; João Leite;
PUBLISHED: 2022, SOURCE: Electronic Proceedings in Theoretical Computer Science, VOLUME: 364
AUTHORS: Jesse Heyninck; Ricardo Gonçalves; Matthias Knorr; João Leite;
PUBLISHED: 2022, SOURCE: Electronic Proceedings in Theoretical Computer Science, VOLUME: 364
9
TITLE: Proceedings 38th International Conference on Logic Programming. On Syntactic Forgetting under Uniform Equivalence (Report) Full Text
AUTHORS: Ricardo Gonçalves; Tomi Janhunen; Matthias Knorr; João Leite;
PUBLISHED: 2022, SOURCE: Electronic Proceedings in Theoretical Computer Science, VOLUME: 364
AUTHORS: Ricardo Gonçalves; Tomi Janhunen; Matthias Knorr; João Leite;
PUBLISHED: 2022, SOURCE: Electronic Proceedings in Theoretical Computer Science, VOLUME: 364
10
TITLE: Faster Than LASER - Towards Stream Reasoning with Deep Neural Networks
AUTHORS: Ferreira, Joao; Lavado, Diogo; Goncalves, Ricardo; Knorr, Matthias; Krippahl, Ludwig; Leite, Joao;
PUBLISHED: 2021, SOURCE: 20th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2021), VOLUME: 12981
AUTHORS: Ferreira, Joao; Lavado, Diogo; Goncalves, Ricardo; Knorr, Matthias; Krippahl, Ludwig; Leite, Joao;
PUBLISHED: 2021, SOURCE: 20th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2021), VOLUME: 12981
