João Alexandre Carvalho Pinheiro Leite
AuthID: R-000-6R6
11
TÃTULO: NoHR: An Overview Reasoning with Ontologies and Nonmonotonic Rules
AUTORES: Vedran Kasalica; Matthias Knorr; Joao Leite; Carlos Lopes;
PUBLICAÇÃO: 2020, FONTE: KUNSTLICHE INTELLIGENZ, VOLUME: 34, NÚMERO: 4
AUTORES: Vedran Kasalica; Matthias Knorr; Joao Leite; Carlos Lopes;
PUBLICAÇÃO: 2020, FONTE: KUNSTLICHE INTELLIGENZ, VOLUME: 34, NÚMERO: 4
INDEXADO EM: 
Scopus 
WOS
Scopus WOS NO MEU: 
ORCID
ORCID12
TÃTULO: NoHR: An Overview. Reasoning with Ontologies and Nonmonotonic Rules
AUTORES: Vedran Kasalica; Matthias Knorr; João Leite; Carlos Lopes;
PUBLICAÇÃO: 2020, FONTE: KI - Künstliche Intelligenz, VOLUME: 34, NÚMERO: 4
AUTORES: Vedran Kasalica; Matthias Knorr; João Leite; Carlos Lopes;
PUBLICAÇÃO: 2020, FONTE: KI - Künstliche Intelligenz, VOLUME: 34, NÚMERO: 4
13
TÃTULO: Telco Network Inventory Validation with NoHR
AUTORES: Kasalica, V; Gerochristos, I; Alferes, JJ; Gomes, AS; Knorr, M; Leite, J;
PUBLICAÇÃO: 2019, FONTE: 15th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11481 LNAI
AUTORES: Kasalica, V; Gerochristos, I; Alferes, JJ; Gomes, AS; Knorr, M; Leite, J;
PUBLICAÇÃO: 2019, FONTE: 15th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11481 LNAI
14
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
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
WOS15
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
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
16
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
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
17
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
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
18
TÃTULO: Dynamic Doxastic Differential Dynamic Logic for Belief-Aware Cyber-Physical Systems
AUTORES: João G Martins; André Platzer; João Leite;
PUBLICAÇÃO: 2019, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11714 LNAI
AUTORES: João G Martins; André Platzer; João Leite;
PUBLICAÇÃO: 2019, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11714 LNAI
19
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
20
TÃTULO: Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIV)
AUTORES: Leite, J; Son, TC; Torroni, P; Woltran, S;
PUBLICAÇÃO: 2018, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 28, NÚMERO: 3
AUTORES: Leite, J; Son, TC; Torroni, P; Woltran, S;
PUBLICAÇÃO: 2018, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 28, NÚMERO: 3
