João Alexandre Carvalho Pinheiro Leite
AuthID: R-000-6R6
41
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
WOS42
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
WOS43
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
ORCID44
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
ORCID45
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
ORCID46
TITLE: Efficient paraconsistent reasoning with ontologies and rules
AUTHORS: Tobias Kaminski; Matthias Knorr; João Leite;
PUBLISHED: 2015, SOURCE: IJCAI International Joint Conference on Artificial Intelligence, VOLUME: 2015-January
AUTHORS: Tobias Kaminski; Matthias Knorr; João Leite;
PUBLISHED: 2015, SOURCE: IJCAI International Joint Conference on Artificial Intelligence, VOLUME: 2015-January
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID47
TITLE: On Efficient Evolving Multi-Context Systems
AUTHORS: Matthias Knorr; Ricardo Goncalves; Joao Leite;
PUBLISHED: 2014, SOURCE: 13th Pacific Rim International Conference on Artificial Intelligence (PRICAI) in PRICAI 2014: TRENDS IN ARTIFICIAL INTELLIGENCE, VOLUME: 8862
AUTHORS: Matthias Knorr; Ricardo Goncalves; Joao Leite;
PUBLISHED: 2014, SOURCE: 13th Pacific Rim International Conference on Artificial Intelligence (PRICAI) in PRICAI 2014: TRENDS IN ARTIFICIAL INTELLIGENCE, VOLUME: 8862
INDEXED IN: Scopus WOS
Scopus WOS IN MY: ORCID
ORCID48
TITLE: Preface to the special issue on computational logic in multi-agent systems (CLIMA XII)
AUTHORS: Leite, J; Torroni, P; Agotnes, T; Boella, G; Van Der Torre, L;
PUBLISHED: 2014, SOURCE: Journal of Logic and Computation, VOLUME: 24, ISSUE: 6
AUTHORS: Leite, J; Torroni, P; Agotnes, T; Boella, G; Van Der Torre, L;
PUBLISHED: 2014, SOURCE: Journal of Logic and Computation, VOLUME: 24, ISSUE: 6
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID49
TITLE: Logics in Artificial Intelligence
AUTHORS: Eduardo Fermé; João Leite;
PUBLISHED: 2014, SOURCE: Lecture Notes in Computer Science
AUTHORS: Eduardo Fermé; João Leite;
PUBLISHED: 2014, SOURCE: Lecture Notes in Computer Science
50
TITLE: Extending Social Abstract Argumentation with Votes on Attacks
AUTHORS: Sinan Eğilmez; João Martins; João Leite;
PUBLISHED: 2014, SOURCE: Theory and Applications of Formal Argumentation - Lecture Notes in Computer Science
AUTHORS: Sinan Eğilmez; João Martins; João Leite;
PUBLISHED: 2014, SOURCE: Theory and Applications of Formal Argumentation - Lecture Notes in Computer Science
