Ricardo João Rodrigues Gonçalves
AuthID: R-000-FBQ
11
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
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
12
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
AUTHORS: Goncalves, R; Knorr, M; Leite, J;
PUBLISHED: 2021, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 23, ISSUE: 1
13
TITLE: Forgetting in Answer Set Programming - A Survey
AUTHORS: Gonçalves, R; Knorr, M; Leite, J;
PUBLISHED: 2021, SOURCE: Theory and Practice of Logic Programming
AUTHORS: Gonçalves, R; Knorr, M; Leite, J;
PUBLISHED: 2021, SOURCE: Theory and Practice of Logic Programming
INDEXED IN: 
Scopus
Scopus IN MY: 
ORCID
ORCID14
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
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
15
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
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
16
TITLE: On the limits of forgetting in Answer Set Programming Full Text
AUTHORS: Gonçalves, R; Knorr, M; Leite, J; Woltran, S;
PUBLISHED: 2020, SOURCE: Artificial Intelligence, VOLUME: 286
AUTHORS: Gonçalves, R; Knorr, M; Leite, J; Woltran, S;
PUBLISHED: 2020, SOURCE: Artificial Intelligence, VOLUME: 286
17
TITLE: Forgetting in Modular Answer Set Programming
AUTHORS: Ricardo Goncalves; Tomi Janhunen; Matthias Knorr; Joao Leite; Stefan Woltran;
PUBLISHED: 2019, SOURCE: 33rd AAAI Conference on Artificial Intelligence / 31st Innovative Applications of Artificial Intelligence Conference / 9th AAAI Symposium on Educational Advances in Artificial Intelligence in THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE
AUTHORS: Ricardo Goncalves; Tomi Janhunen; Matthias Knorr; Joao Leite; Stefan Woltran;
PUBLISHED: 2019, SOURCE: 33rd AAAI Conference on Artificial Intelligence / 31st Innovative Applications of Artificial Intelligence Conference / 9th AAAI Symposium on Educational Advances in Artificial Intelligence in THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE
INDEXED IN: 
WOS
WOS18
TITLE: A Syntactic Operator for Forgetting that Satisfies Strong Persistence
AUTHORS: Berthold, M; Goncalves, R; Knorr, M; Leite, J;
PUBLISHED: 2019, SOURCE: 35th International Conference on Logic Programming (ICLP) in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 19, ISSUE: 5-6
AUTHORS: Berthold, M; Goncalves, R; Knorr, M; Leite, J;
PUBLISHED: 2019, SOURCE: 35th International Conference on Logic Programming (ICLP) in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 19, ISSUE: 5-6
19
TITLE: Forgetting in Answer Set Programming with Anonymous Cycles
AUTHORS: Berthold, M; Gonçalves, R; Knorr, M; Leite, J;
PUBLISHED: 2019, SOURCE: 19th EPIA Conference on Artificial Intelligence, EPIA 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11805 LNAI
AUTHORS: Berthold, M; Gonçalves, R; Knorr, M; Leite, J;
PUBLISHED: 2019, SOURCE: 19th EPIA Conference on Artificial Intelligence, EPIA 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11805 LNAI
20
TITLE: Forgetting in modular answer set programming
AUTHORS: Ricardo Gonçalves; Tomi Janhunen; Matthias Knorr; João Leite; Stefan Woltran;
PUBLISHED: 2019, SOURCE: 33rd AAAI Conference on Artificial Intelligence, AAAI 2019, 31st Innovative Applications of Artificial Intelligence Conference, IAAI 2019 and the 9th AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019, VOLUME: 33, ISSUE: 01
AUTHORS: Ricardo Gonçalves; Tomi Janhunen; Matthias Knorr; João Leite; Stefan Woltran;
PUBLISHED: 2019, SOURCE: 33rd AAAI Conference on Artificial Intelligence, AAAI 2019, 31st Innovative Applications of Artificial Intelligence Conference, IAAI 2019 and the 9th AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019, VOLUME: 33, ISSUE: 01
