Ricardo João Rodrigues Gonçalves
AuthID: R-000-FBQ
21
TÃTULO: Forgetting in Answer Set Programming with Anonymous Cycles
AUTORES: Berthold, M; Gonçalves, R; Knorr, M; Leite, J;
PUBLICAÇÃO: 2019, FONTE: 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
AUTORES: Berthold, M; Gonçalves, R; Knorr, M; Leite, J;
PUBLICAÇÃO: 2019, FONTE: 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
22
TÃTULO: Forgetting in modular answer set programming
AUTORES: Ricardo Gonçalves; Tomi Janhunen; Matthias Knorr; João Leite; Stefan Woltran;
PUBLICAÇÃO: 2019, FONTE: 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, NÚMERO: 01
AUTORES: Ricardo Gonçalves; Tomi Janhunen; Matthias Knorr; João Leite; Stefan Woltran;
PUBLICAÇÃO: 2019, FONTE: 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, NÚMERO: 01
23
TÃTULO: Reactive multi-context systems: Heterogeneous reasoning in dynamic environments Full Text
AUTORES: Brewka, G; Ellmauthaler, S; Goncalves, R; Knorr, M; Leite, J; Puthrer, J;
PUBLICAÇÃO: 2018, FONTE: ARTIFICIAL INTELLIGENCE, VOLUME: 256
AUTORES: Brewka, G; Ellmauthaler, S; Goncalves, R; Knorr, M; Leite, J; Puthrer, J;
PUBLICAÇÃO: 2018, FONTE: ARTIFICIAL INTELLIGENCE, VOLUME: 256
24
TÃTULO: Variable Elimination for DLP-Functions
AUTORES: Ricardo Goncalves; Tomi Janhunen; Matthias Knorr; Joao Leite; Stefan Woltran;
PUBLICAÇÃO: 2018, FONTE: 16th International Conference on Principles of Knowledge Representation and Reasoning in SIXTEENTH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING
AUTORES: Ricardo Goncalves; Tomi Janhunen; Matthias Knorr; Joao Leite; Stefan Woltran;
PUBLICAÇÃO: 2018, FONTE: 16th International Conference on Principles of Knowledge Representation and Reasoning in SIXTEENTH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING
INDEXADO EM: 
WOS
WOS25
TÃTULO: Variable elimination for DLP-functions
AUTORES: Ricardo Gonçalves; Tomi Janhunen; Matthias Knorr; João Leite; Stefan Woltran;
PUBLICAÇÃO: 2018, FONTE: Principles of Knowledge Representation and Reasoning: Proceedings of the 16th International Conference, KR 2018
AUTORES: Ricardo Gonçalves; Tomi Janhunen; Matthias Knorr; João Leite; Stefan Woltran;
PUBLICAÇÃO: 2018, FONTE: Principles of Knowledge Representation and Reasoning: Proceedings of the 16th International Conference, KR 2018
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID
ORCID26
TÃTULO: Iterative variable elimination in ASP
AUTORES: Gonçalves, R; Knorr, M; Leite, J;
PUBLICAÇÃO: 2017, FONTE: 18th EPIA Conference on Artificial Intelligence, EPIA 2017 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10423 LNAI
AUTORES: Gonçalves, R; Knorr, M; Leite, J;
PUBLICAÇÃO: 2017, FONTE: 18th EPIA Conference on Artificial Intelligence, EPIA 2017 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10423 LNAI
27
TÃTULO: When you must forget: Beyond strong persistence when forgetting in answer set programming
AUTORES: Goncalves, R; Knorr, M; Leite, J; Woltran, S;
PUBLICAÇÃO: 2017, FONTE: 33rd International Conference on Logic Programming colocated with the 23rd International Conference on Principles and Practice of Constraint Programming / 20th International Conference on Theory and Applications of Satisfiability Testing in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 17, NÚMERO: 5-6
AUTORES: Goncalves, R; Knorr, M; Leite, J; Woltran, S;
PUBLICAÇÃO: 2017, FONTE: 33rd International Conference on Logic Programming colocated with the 23rd International Conference on Principles and Practice of Constraint Programming / 20th International Conference on Theory and Applications of Satisfiability Testing in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 17, NÚMERO: 5-6
28
TÃTULO: When you must forget: Beyond strong persistence when forgetting in answer set programming
AUTORES: Gonçalves, R; Knorr, M; Leite, J; Woltran, S;
PUBLICAÇÃO: 2017, FONTE: Theory and Practice of Logic Programming, VOLUME: 17, NÚMERO: 5-6
AUTORES: Gonçalves, R; Knorr, M; Leite, J; Woltran, S;
PUBLICAÇÃO: 2017, FONTE: Theory and Practice of Logic Programming, VOLUME: 17, NÚMERO: 5-6
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID29
TÃTULO: System Design for Wireless Powering of AUVs
AUTORES: Tiago Ressurreicao ; Francisco Goncalves ; Candido Duarte ; Ricardo Goncalves; Rui Gomes; Rafael Santos; Ricardo Esteves; Pedro Pinto; Isabel Oliveira; Pessoa, LM ;
PUBLICAÇÃO: 2017, FONTE: Oceans Aberdeen Conference in OCEANS 2017 - ABERDEEN, VOLUME: 2017-October
AUTORES: Tiago Ressurreicao ; Francisco Goncalves ; Candido Duarte ; Ricardo Goncalves; Rui Gomes; Rafael Santos; Ricardo Esteves; Pedro Pinto; Isabel Oliveira; Pessoa, LM ;
PUBLICAÇÃO: 2017, FONTE: Oceans Aberdeen Conference in OCEANS 2017 - ABERDEEN, VOLUME: 2017-October
30
TÃTULO: A Study on Load Modulation for Underwater Wireless Power Transfer
AUTORES: Duarte, C ; Goncalves, F ; Ressurreicao, T; Gomes, R; Correia, V ; Goncalves, R; Santos, R;
PUBLICAÇÃO: 2017, FONTE: Oceans Aberdeen Conference in OCEANS 2017 - ABERDEEN, VOLUME: 2017-October
AUTORES: Duarte, C ; Goncalves, F ; Ressurreicao, T; Gomes, R; Correia, V ; Goncalves, R; Santos, R;
PUBLICAÇÃO: 2017, FONTE: Oceans Aberdeen Conference in OCEANS 2017 - ABERDEEN, VOLUME: 2017-October
