João Alexandre Carvalho Pinheiro Leite
AuthID: R-000-6R6
21
TITLE: Forgetting in Answer Set Programming with Anonymous Cycles
AUTHORS: Berthold, M; Gonçalves, R; Knorr, M; Leite, J;
PUBLISHED: 2019, SOURCE: 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
AUTHORS: Berthold, M; Gonçalves, R; Knorr, M; Leite, J;
PUBLISHED: 2019, SOURCE: 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
22
TITLE: Forgetting in modular answer set programming
AUTHORS: Ricardo Gonçalves; Tomi Janhunen; Matthias Knorr; João Leite; Stefan Woltran;
PUBLISHED: 2019, SOURCE: 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, ISSUE: 01
AUTHORS: Ricardo Gonçalves; Tomi Janhunen; Matthias Knorr; João Leite; Stefan Woltran;
PUBLISHED: 2019, SOURCE: 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, ISSUE: 01
23
TITLE: Dynamic Doxastic Differential Dynamic Logic for Belief-Aware Cyber-Physical Systems
AUTHORS: João G Martins; André Platzer; João Leite;
PUBLISHED: 2019, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11714 LNAI
AUTHORS: João G Martins; André Platzer; João Leite;
PUBLISHED: 2019, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11714 LNAI
24
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
25
TITLE: Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIV)
AUTHORS: Leite, J; Son, TC; Torroni, P; Woltran, S;
PUBLISHED: 2018, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 28, ISSUE: 3
AUTHORS: Leite, J; Son, TC; Torroni, P; Woltran, S;
PUBLISHED: 2018, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 28, ISSUE: 3
26
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
ORCID27
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
28
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
29
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
ORCID30
TITLE: Preface
AUTHORS: An, B; Bazzan, ALC; Leite, J; Villata, S; van der Torre, L;
PUBLISHED: 2017, SOURCE: 20th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2017 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10621 LNAI
AUTHORS: An, B; Bazzan, ALC; Leite, J; Villata, S; van der Torre, L;
PUBLISHED: 2017, SOURCE: 20th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2017 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10621 LNAI
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID