Ricardo João Rodrigues Gonçalves
AuthID: R-000-FBQ
21
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
22
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
WOS23
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
ORCID24
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
25
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
26
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
ORCID27
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
28
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
29
TÃTULO: You Can't Always Forget What You Want: On the Limits of Forgetting in Answer Set Programming
AUTORES: Goncalves, R; Knorr, M; Leite, J;
PUBLICAÇÃO: 2016, FONTE: 22nd European Conference on Artificial Intelligence (ECAI) in ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 285
AUTORES: Goncalves, R; Knorr, M; Leite, J;
PUBLICAÇÃO: 2016, FONTE: 22nd European Conference on Artificial Intelligence (ECAI) in ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 285
30
TÃTULO: The ultimate guide to forgetting in answer set programming
AUTORES: Gonçalves, R; Knorr, M; Leite, J;
PUBLICAÇÃO: 2016, FONTE: 15th International Conference on Principles of Knowledge Representation and Reasoning, KR 2016 in Principles of Knowledge Representation and Reasoning: Proceedings of the 15th International Conference, KR 2016
AUTORES: Gonçalves, R; Knorr, M; Leite, J;
PUBLICAÇÃO: 2016, FONTE: 15th International Conference on Principles of Knowledge Representation and Reasoning, KR 2016 in Principles of Knowledge Representation and Reasoning: Proceedings of the 15th International Conference, KR 2016
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID