Ricardo João Rodrigues Gonçalves
AuthID: R-000-FBQ
11
TITLE: Reactive multi-context systems: Heterogeneous reasoning in dynamic environments Full Text
AUTHORS: Gerhard Brewka; Stefan Ellmauthaler; Ricardo Goncalves; Matthias Knorr; Joao Leite; Joerg Puethrer;
PUBLISHED: 2018, SOURCE: ARTIFICIAL INTELLIGENCE, VOLUME: 256
AUTHORS: Gerhard Brewka; Stefan Ellmauthaler; Ricardo Goncalves; Matthias Knorr; Joao Leite; Joerg Puethrer;
PUBLISHED: 2018, SOURCE: ARTIFICIAL INTELLIGENCE, VOLUME: 256
INDEXED IN: 
Scopus 
WOS
Scopus WOS12
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
WOS13
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
INDEXED IN: Scopus
Scopus14
TITLE: When you must forget: Beyond strong persistence when forgetting in answer set programming
AUTHORS: Ricardo Goncalves; Matthias Knorr; Joao Leite; Stefan Woltran;
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: Ricardo Goncalves; Matthias Knorr; Joao Leite; Stefan Woltran;
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
INDEXED IN: WOS
WOS15
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
Scopus16
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
17
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
18
TITLE: Iterative Variable Elimination in ASP
AUTHORS: Ricardo Goncalves; Matthias Knorr; Joao Leite;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423
AUTHORS: Ricardo Goncalves; Matthias Knorr; Joao Leite;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423
INDEXED IN: WOS
WOS19
TITLE: You Can't Always Forget What You Want: On the Limits of Forgetting in Answer Set Programming
AUTHORS: Ricardo Goncalves; Matthias Knorr; Joao Leite;
PUBLISHED: 2016, SOURCE: 22nd European Conference on Artificial Intelligence (ECAI) in ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 285
AUTHORS: Ricardo Goncalves; Matthias Knorr; Joao Leite;
PUBLISHED: 2016, SOURCE: 22nd European Conference on Artificial Intelligence (ECAI) in ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 285
INDEXED IN: WOS
WOS20
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