Research output per year
Research output per year
Personal profile
Education/Academic qualification
Mathematics, Doctorate, Behavioral algebraization of logics, Instituto Superior Técnico
Award Date: 26 Sept 2008
Fingerprint
Dive into the research topics where Ricardo Gonçalves is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Forgetting in Answer Set Programming - A Survey
Gonçalves, R., Knorr, M. & Leite, J., Jan 2023, In: Theory and Practice of Logic Programming. 23, 1, p. 111-156Research output: Contribution to journal › Article › peer-review
Open AccessFile5 Citations (Scopus)7 Downloads (Pure) -
Looking Inside the Black-Box: Logic-based Explanations for Neural Networks
Ferreira, J., de Sousa Ribeiro, M., Gonçalves, R. & Leite, J., 2022, 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022. Kern-Isberner, G., Lakemeyer, G. & Meyer, T. (eds.). International Joint Conferences on Artificial Intelligence, p. 432-442 11 p. (19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
16 Citations (Scopus) -
On Syntactic Forgetting under Uniform Equivalence
Gonçalves, R., Janhunen, T., Knorr, M. & Leite, J., 4 Aug 2022, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 364, p. 191-193 3 p.Research output: Contribution to journal › Conference article › peer-review
Open Access -
Towards Provenance in Heterogeneous Knowledge Bases
Knorr, M., Damásio, C. V., Gonçalves, R. & Leite, J., 2022, Logic Programming and Nonmonotonic Reasoning: 16th International Conference, LPNMR 2022, Genova, Italy, September 5–9, 2022, Proceedings. Gottlob, G., Inclezan, D. & Maratea, M. (eds.). Cham: Springer, p. 287-300 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13416).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
1 Citation (Scopus) -
Deep Neural Networks for Approximating Stream Reasoning with C-SPARQL
Ferreira, R., Lopes, C., Gonçalves, R., Knorr, M., Krippahl, L. & Leite, J., 2021, Progress in Artificial Intelligence - 20th EPIA Conference on Artificial Intelligence, EPIA 2021, Proceedings. Marreiros, G., Melo, F. S., Lau, N., Lopes Cardoso, H. & Reis, L. P. (eds.). Cham: Springer, p. 338-350 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12981 LNAI).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review