11
TÍTULO: On the limits of forgetting in Answer Set Programming  Full Text
AUTORES: Gonçalves, R; Knorr, M; Leite, J; Woltran, S;
PUBLICAÇÃO: 2020, FONTE: Artificial Intelligence, VOLUME: 286
INDEXADO EM: Scopus CrossRef: 5
NO MEU: ORCID
12
TÍTULO: Behavioural Monitoring of Alzheimer Patients with Smartwatch based System
AUTORES: Rodrigues, D; Luis Ferreira, F; Sarraipa, J; Goncalves, R;
PUBLICAÇÃO: 2019, FONTE: 9th International Conference on Intelligent Systems, IS 2018 in 9th International Conference on Intelligent Systems 2018: Theory, Research and Innovation in Applications, IS 2018 - Proceedings
INDEXADO EM: Scopus
13
TÍTULO: Forgetting in Modular Answer Set Programming
AUTORES: Ricardo Goncalves; Tomi Janhunen; Matthias Knorr; Joao Leite; Stefan Woltran;
PUBLICAÇÃO: 2019, FONTE: 33rd AAAI Conference on Artificial Intelligence / 31st Innovative Applications of Artificial Intelligence Conference / 9th AAAI Symposium on Educational Advances in Artificial Intelligence in THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE
INDEXADO EM: WOS
14
TÍTULO: A Syntactic Operator for Forgetting that Satisfies Strong Persistence
AUTORES: Berthold, M; Goncalves, R; Knorr, M; Leite, J;
PUBLICAÇÃO: 2019, FONTE: 35th International Conference on Logic Programming (ICLP) in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 19, NÚMERO: 5-6
INDEXADO EM: Scopus WOS CrossRef: 8
NO MEU: ORCID
15
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
INDEXADO EM: Scopus CrossRef: 3
NO MEU: ORCID
16
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
17
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
18
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
19
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
20
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
Página 2 de 6. Total de resultados: 60.