João Alexandre Carvalho Pinheiro Leite


AuthID: R-000-6R6

Confirmed Publications: 81



1
TITLE: Applications of logical approaches to argumentation
AUTHORS: Leite, J ; Cao Son, T; Torroni, P; Woltran, S;
PUBLISHED: 2015, SOURCE: Argument and Computation, VOLUME: 6, ISSUE: 1
INDEXED IN: Scopus CrossRef
2
TITLE: Next Step for NoHR: OWL 2 QL
AUTHORS: Nuno Costa; Matthias Knorr; Joao Leite ;
PUBLISHED: 2015, SOURCE: 14th International Semantic Web Conference (ISWC) in SEMANTIC WEB - ISWC 2015, PT I, VOLUME: 9366
INDEXED IN: Scopus WOS CrossRef
3
TITLE: On updates of hybrid knowledge bases composed of ontologies and rules  Full Text
AUTHORS: Martin Slota; Joao Leite ; Theresa Swift;
PUBLISHED: 2015, SOURCE: ARTIFICIAL INTELLIGENCE, VOLUME: 229
INDEXED IN: Scopus WOS CrossRef
4
TITLE: Reasoning over Ontologies and Non-monotonic Rules
AUTHORS: Vadim Ivanov; Matthias Knorr; Joao Leite ;
PUBLISHED: 2015, SOURCE: 17th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 9273
INDEXED IN: Scopus WOS CrossRef
5
TITLE: Well-founded paraconsistent semantics for hybrid theories composed of rules and ontologies
AUTHORS: Kaminski, T; 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
6
TITLE: Evolving bridge rules in evolving multi-context systems
AUTHORS: Gonçalves, 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 CrossRef
7
TITLE: Evolving Multi-Context Systems
AUTHORS: Ricardo Goncalves; Matthias Knorr; Joao Leite ;
PUBLISHED: 2014, SOURCE: 21st European Conference on Artificial Intelligence (ECAI) in 21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), VOLUME: 263
INDEXED IN: Scopus WOS
8
TITLE: Extending social abstract argumentation with votes on attacks
AUTHORS: Eǧilmez, S; Martins, J; Leite, J ;
PUBLISHED: 2014, SOURCE: 2nd International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8306 LNAI
INDEXED IN: Scopus
9
TITLE: On Supporting Strong and Default Negation in Answer-Set Program Updates
AUTHORS: Martin Slota; Martin Balaz; Joao Leite ;
PUBLISHED: 2014, SOURCE: 14th Ibero-American Conference on Artificial Intelligence (AI) in ADVANCES IN ARTIFICIAL INTELLIGENCE (IBERAMIA 2014), VOLUME: 8864
INDEXED IN: Scopus WOS CrossRef
10
TITLE: On the Efficient Implementation of Social Abstract Argumentation
AUTHORS: Marco Correia; Jorge Cruz; Joao Leite ;
PUBLISHED: 2014, SOURCE: 21st European Conference on Artificial Intelligence (ECAI) in 21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), VOLUME: 263
INDEXED IN: Scopus WOS
Page 1 of 9. Total results: 81.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service