21
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
INDEXADO EM: Scopus CrossRef: 7
NO MEU: ORCID
22
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
INDEXADO EM: Scopus WOS CrossRef: 15
NO MEU: ORCID
23
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
INDEXADO EM: WOS
24
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
INDEXADO EM: Scopus
NO MEU: ORCID
25
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
INDEXADO EM: Scopus CrossRef: 2
NO MEU: ORCID
26
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
INDEXADO EM: WOS CrossRef: 6
NO MEU: ORCID
27
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
INDEXADO EM: Scopus
NO MEU: ORCID
28
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
INDEXADO EM: Scopus WOS CrossRef: 1
29
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
INDEXADO EM: Scopus WOS CrossRef: 3
30
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
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
Página 3 de 7. Total de resultados: 65.