Ricardo João Rodrigues Gonçalves
AuthID: R-000-FBQ
21
TITLE: Reactive multi-context systems: Heterogeneous reasoning in dynamic environments Full Text
AUTHORS: Brewka, G; Ellmauthaler, S; Goncalves, R; Knorr, M; Leite, J; Puthrer, J;
PUBLISHED: 2018, SOURCE: ARTIFICIAL INTELLIGENCE, VOLUME: 256
AUTHORS: Brewka, G; Ellmauthaler, S; Goncalves, R; Knorr, M; Leite, J; Puthrer, J;
PUBLISHED: 2018, SOURCE: ARTIFICIAL INTELLIGENCE, VOLUME: 256
22
TITLE: Variable Elimination for DLP-Functions
AUTHORS: Ricardo Goncalves; Tomi Janhunen; Matthias Knorr; Joao Leite; Stefan Woltran;
PUBLISHED: 2018, SOURCE: 16th International Conference on Principles of Knowledge Representation and Reasoning in SIXTEENTH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING
AUTHORS: Ricardo Goncalves; Tomi Janhunen; Matthias Knorr; Joao Leite; Stefan Woltran;
PUBLISHED: 2018, SOURCE: 16th International Conference on Principles of Knowledge Representation and Reasoning in SIXTEENTH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING
INDEXED IN: 
WOS
WOS23
TITLE: Variable elimination for DLP-functions
AUTHORS: Ricardo Gonçalves; Tomi Janhunen; Matthias Knorr; João Leite; Stefan Woltran;
PUBLISHED: 2018, SOURCE: Principles of Knowledge Representation and Reasoning: Proceedings of the 16th International Conference, KR 2018
AUTHORS: Ricardo Gonçalves; Tomi Janhunen; Matthias Knorr; João Leite; Stefan Woltran;
PUBLISHED: 2018, SOURCE: Principles of Knowledge Representation and Reasoning: Proceedings of the 16th International Conference, KR 2018
INDEXED IN: 
Scopus
Scopus IN MY: 
ORCID
ORCID24
TITLE: Iterative variable elimination in ASP
AUTHORS: Gonçalves, R; Knorr, M; Leite, J;
PUBLISHED: 2017, SOURCE: 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
AUTHORS: Gonçalves, R; Knorr, M; Leite, J;
PUBLISHED: 2017, SOURCE: 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
TITLE: When you must forget: Beyond strong persistence when forgetting in answer set programming
AUTHORS: Goncalves, R; Knorr, M; Leite, J; Woltran, S;
PUBLISHED: 2017, SOURCE: 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, ISSUE: 5-6
AUTHORS: Goncalves, R; Knorr, M; Leite, J; Woltran, S;
PUBLISHED: 2017, SOURCE: 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, ISSUE: 5-6
26
TITLE: When you must forget: Beyond strong persistence when forgetting in answer set programming
AUTHORS: Gonçalves, R; Knorr, M; Leite, J; Woltran, S;
PUBLISHED: 2017, SOURCE: Theory and Practice of Logic Programming, VOLUME: 17, ISSUE: 5-6
AUTHORS: Gonçalves, R; Knorr, M; Leite, J; Woltran, S;
PUBLISHED: 2017, SOURCE: Theory and Practice of Logic Programming, VOLUME: 17, ISSUE: 5-6
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID27
TITLE: System Design for Wireless Powering of AUVs
AUTHORS: Tiago Ressurreicao ; Francisco Goncalves ; Candido Duarte ; Ricardo Goncalves; Rui Gomes; Rafael Santos; Ricardo Esteves; Pedro Pinto; Isabel Oliveira; Pessoa, LM ;
PUBLISHED: 2017, SOURCE: Oceans Aberdeen Conference in OCEANS 2017 - ABERDEEN, VOLUME: 2017-October
AUTHORS: Tiago Ressurreicao ; Francisco Goncalves ; Candido Duarte ; Ricardo Goncalves; Rui Gomes; Rafael Santos; Ricardo Esteves; Pedro Pinto; Isabel Oliveira; Pessoa, LM ;
PUBLISHED: 2017, SOURCE: Oceans Aberdeen Conference in OCEANS 2017 - ABERDEEN, VOLUME: 2017-October
28
TITLE: A Study on Load Modulation for Underwater Wireless Power Transfer
AUTHORS: Duarte, C ; Goncalves, F ; Ressurreicao, T; Gomes, R; Correia, V ; Goncalves, R; Santos, R;
PUBLISHED: 2017, SOURCE: Oceans Aberdeen Conference in OCEANS 2017 - ABERDEEN, VOLUME: 2017-October
AUTHORS: Duarte, C ; Goncalves, F ; Ressurreicao, T; Gomes, R; Correia, V ; Goncalves, R; Santos, R;
PUBLISHED: 2017, SOURCE: Oceans Aberdeen Conference in OCEANS 2017 - ABERDEEN, VOLUME: 2017-October
29
TITLE: You Can't Always Forget What You Want: On the Limits of Forgetting in Answer Set Programming
AUTHORS: Goncalves, R; Knorr, M; Leite, J;
PUBLISHED: 2016, SOURCE: 22nd European Conference on Artificial Intelligence (ECAI) in ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 285
AUTHORS: Goncalves, R; Knorr, M; Leite, J;
PUBLISHED: 2016, SOURCE: 22nd European Conference on Artificial Intelligence (ECAI) in ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 285
30
TITLE: The ultimate guide to forgetting in answer set programming
AUTHORS: Gonçalves, R; Knorr, M; Leite, J;
PUBLISHED: 2016, SOURCE: 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
AUTHORS: Gonçalves, R; Knorr, M; Leite, J;
PUBLISHED: 2016, SOURCE: 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
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID