João Alexandre Carvalho Pinheiro Leite
AuthID: R-000-6R6
31
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 IN MY: 
ORCID
ORCID32
TITLE: Inconsistency Management in Reactive Multi-context Systems
AUTHORS: Brewka, G; Ellmauthaler, S; Calves, RG; Knorr, M; Leite, J; Puehrer, J;
PUBLISHED: 2016, SOURCE: 15th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, (JELIA 2016), VOLUME: 10021
AUTHORS: Brewka, G; Ellmauthaler, S; Calves, RG; Knorr, M; Leite, J; Puehrer, J;
PUBLISHED: 2016, SOURCE: 15th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, (JELIA 2016), VOLUME: 10021
33
TITLE: Forgetting in ASP: The Forgotten Properties
AUTHORS: Goncalves, R; Knorr, M; Leite, J;
PUBLISHED: 2016, SOURCE: 15th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, (JELIA 2016), VOLUME: 10021
AUTHORS: Goncalves, R; Knorr, M; Leite, J;
PUBLISHED: 2016, SOURCE: 15th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, (JELIA 2016), VOLUME: 10021
34
TITLE: Lessons learned from the testing of RC frames with - masonry infills and proposals for new solutions Full Text
AUTHORS: Paulo B Lourenco; Joao Leite; Graca Vasconcelos; Paulo Pereira;
PUBLISHED: 2016, SOURCE: MAUERWERK, VOLUME: 20, ISSUE: 2
AUTHORS: Paulo B Lourenco; Joao Leite; Graca Vasconcelos; Paulo Pereira;
PUBLISHED: 2016, SOURCE: MAUERWERK, VOLUME: 20, ISSUE: 2
INDEXED IN: 
WOS
WOS35
TITLE: Minimal change in evolving multi-context systems
AUTHORS: Gonçalves, R; Knorr, M; Leite, J;
PUBLISHED: 2015, SOURCE: 17th Portuguese Conference on Artificial Intelligence, EPIA 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9273
AUTHORS: Gonçalves, R; Knorr, M; Leite, J;
PUBLISHED: 2015, SOURCE: 17th Portuguese Conference on Artificial Intelligence, EPIA 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9273
36
TITLE: Minimal Change in Evolving Multi-Context Systems
AUTHORS: Ricardo Goncalves; Matthias Knorr; Joao Leite;
PUBLISHED: 2015, SOURCE: 17th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 9273
AUTHORS: Ricardo Goncalves; Matthias Knorr; Joao Leite;
PUBLISHED: 2015, SOURCE: 17th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 9273
INDEXED IN: WOS
WOS37
TITLE: Applications of logical approaches to argumentation INTRODUCTION
AUTHORS: Joao Leite; Tran Cao Son; Paolo Torroni; Stefan Woltran;
PUBLISHED: 2015, SOURCE: ARGUMENT & COMPUTATION, VOLUME: 6, ISSUE: 1
AUTHORS: Joao Leite; Tran Cao Son; Paolo Torroni; Stefan Woltran;
PUBLISHED: 2015, SOURCE: ARGUMENT & COMPUTATION, VOLUME: 6, ISSUE: 1
INDEXED IN: WOS
WOS38
TITLE: Querying LUBM with non-monotonic features in protégé using NoHR
AUTHORS: Costa, N; Knorr, M; Leite, J;
PUBLISHED: 2015, SOURCE: ISWC 2015 Posters and Demonstrations Track, ISWC-P and D 2015 - co-located with the 14th International Semantic Web Conference, ISWC 2015 in CEUR Workshop Proceedings, VOLUME: 1486
AUTHORS: Costa, N; Knorr, M; Leite, J;
PUBLISHED: 2015, SOURCE: ISWC 2015 Posters and Demonstrations Track, ISWC-P and D 2015 - co-located with the 14th International Semantic Web Conference, ISWC 2015 in CEUR Workshop Proceedings, VOLUME: 1486
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID39
TITLE: Extending NoHR for OWL 2 QL
AUTHORS: Costa, N; Knorr, M; Leite, J;
PUBLISHED: 2015, SOURCE: Joint Ontology Workshops 2015, JOWO 2015 - Episode 1: The Argentine Winter of Ontology in CEUR Workshop Proceedings, VOLUME: 1517
AUTHORS: Costa, N; Knorr, M; Leite, J;
PUBLISHED: 2015, SOURCE: Joint Ontology Workshops 2015, JOWO 2015 - Episode 1: The Argentine Winter of Ontology in CEUR Workshop Proceedings, VOLUME: 1517
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID40
TITLE: Reasoning efficiently with ontologies and rules in the presence of inconsistencies
AUTHORS: Tobias Kaminski; Matthias Knorr; João Leite;
PUBLISHED: 2015, SOURCE: CEUR Workshop Proceedings, VOLUME: 1350
AUTHORS: Tobias Kaminski; Matthias Knorr; João Leite;
PUBLISHED: 2015, SOURCE: CEUR Workshop Proceedings, VOLUME: 1350
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID