João Alexandre Carvalho Pinheiro Leite
AuthID: R-000-6R6
41
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
ORCID42
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
ORCID43
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
ORCID44
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
45
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
46
TITLE: Evolving bridge rules in evolving multi-context systems
AUTHORS: Goncalves, R; Knorr, M; Leite, J;
PUBLISHED: 2014, SOURCE: 15th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8624 LNAI
AUTHORS: Goncalves, R; Knorr, M; Leite, J;
PUBLISHED: 2014, SOURCE: 15th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8624 LNAI
INDEXED IN: Scopus
Scopus47
TITLE: Preface
AUTHORS: Fermé, E; Leite, J;
PUBLISHED: 2014, SOURCE: 14th European Conference on Logics in Artificial Intelligence, JELIA 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8761 LNAI
AUTHORS: Fermé, E; Leite, J;
PUBLISHED: 2014, SOURCE: 14th European Conference on Logics in Artificial Intelligence, JELIA 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8761 LNAI
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID48
TITLE: Preface
AUTHORS: Ulle Endriss; João Leite;
PUBLISHED: 2014, SOURCE: Frontiers in Artificial Intelligence and Applications, VOLUME: 264
AUTHORS: Ulle Endriss; João Leite;
PUBLISHED: 2014, SOURCE: Frontiers in Artificial Intelligence and Applications, VOLUME: 264
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID49
TITLE: NoHR: Querying EL with non-monotonic rules
AUTHORS: Ivanov, V; Knorr, M; Leite, J;
PUBLISHED: 2013, SOURCE: 12th International Semantic Web Conference, ISWC 2013 in CEUR Workshop Proceedings, VOLUME: 1035
AUTHORS: Ivanov, V; Knorr, M; Leite, J;
PUBLISHED: 2013, SOURCE: 12th International Semantic Web Conference, ISWC 2013 in CEUR Workshop Proceedings, VOLUME: 1035
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID50
TITLE: Computational Logic in Multi-Agent Systems. 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings
AUTHORS: João Leite; Tran Cao Son; Paolo Torroni; Leon van der Torre; Stefan Woltran;
PUBLISHED: 2013, SOURCE: Lecture Notes in Computer Science
AUTHORS: João Leite; Tran Cao Son; Paolo Torroni; Leon van der Torre; Stefan Woltran;
PUBLISHED: 2013, SOURCE: Lecture Notes in Computer Science
