Ricardo João Rodrigues Gonçalves
AuthID: R-000-FBQ
1
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 CrossRef2
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
3
TITLE: A Smart Contract Architecture to Enhance the Industrial Symbiosis Process Between the Pulp and Paper Companies - A Case Study
AUTHORS: Goncalves, Ricardo; Ferreira, Ines; Godina, Radu; Pinto, Pedro ; Pinto, Antonio ;
PUBLISHED: 2022, SOURCE: 3rd International Congress on Blockchain and Applications (BLOCKCHAIN) in BLOCKCHAIN AND APPLICATIONS, VOLUME: 320
AUTHORS: Goncalves, Ricardo; Ferreira, Ines; Godina, Radu; Pinto, Pedro ; Pinto, Antonio ;
PUBLISHED: 2022, SOURCE: 3rd International Congress on Blockchain and Applications (BLOCKCHAIN) in BLOCKCHAIN AND APPLICATIONS, VOLUME: 320
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
