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
INDEXED IN: WOS CrossRef
2
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
INDEXED IN: Scopus WOS CrossRef: 2
3
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
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
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
INDEXED IN: Scopus CrossRef: 8
IN MY: ORCID
6
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
INDEXED IN: Scopus WOS CrossRef: 2
IN MY: ORCID
7
TITLE: Deep Neural Networks for Approximating Stream Reasoning with C-SPARQL
AUTHORS: Ferreira, Ricardo; Lopes, Carolina; 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
INDEXED IN: Scopus WOS CrossRef: 2
IN MY: ORCID
8
TITLE: Forgetting in Answer Set Programming - A Survey
AUTHORS: Goncalves, R; Knorr, M; Leite, J;
PUBLISHED: 2021, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 23, ISSUE: 1
INDEXED IN: WOS CrossRef: 5
IN MY: ORCID
9
TITLE: Tractable Reasoning Using Logic Programs with Intensional Concepts
AUTHORS: Jesse Heyninck; Ricardo Gonçalves; Matthias Knorr; João Leite;
PUBLISHED: 2021, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12678 LNAI
INDEXED IN: Scopus CrossRef: 1
IN MY: ORCID
10
TITLE: On Syntactic Forgetting Under Uniform Equivalence
AUTHORS: Ricardo Gonçalves; Tomi Janhunen; Matthias Knorr; João Leite;
PUBLISHED: 2021, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12678 LNAI
INDEXED IN: Scopus CrossRef: 4
IN MY: ORCID
Page 1 of 6. Total results: 60.