Matthias Knorr
AuthID: R-000-J55
31
TÃTULO: Minimal Change in Evolving Multi-Context Systems
AUTORES: Ricardo Goncalves; Matthias Knorr; Joao Leite;
PUBLICAÇÃO: 2015, FONTE: 17th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 9273
AUTORES: Ricardo Goncalves; Matthias Knorr; Joao Leite;
PUBLICAÇÃO: 2015, FONTE: 17th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 9273
INDEXADO EM: 
WOS
WOS32
TÃTULO: Next Step for NoHR: OWL 2 QL
AUTORES: Nuno Costa; Matthias Knorr; Joao Leite ;
PUBLICAÇÃO: 2015, FONTE: 14th International Semantic Web Conference (ISWC) in SEMANTIC WEB - ISWC 2015, PT I, VOLUME: 9366
AUTORES: Nuno Costa; Matthias Knorr; Joao Leite ;
PUBLICAÇÃO: 2015, FONTE: 14th International Semantic Web Conference (ISWC) in SEMANTIC WEB - ISWC 2015, PT I, VOLUME: 9366
33
TÃTULO: Querying LUBM with non-monotonic features in protégé using NoHR
AUTORES: Costa, N; Knorr, M; Leite, J;
PUBLICAÇÃO: 2015, FONTE: 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
AUTORES: Costa, N; Knorr, M; Leite, J;
PUBLICAÇÃO: 2015, FONTE: 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
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID
ORCID34
TÃTULO: Extending NoHR for OWL 2 QL
AUTORES: Costa, N; Knorr, M; Leite, J;
PUBLICAÇÃO: 2015, FONTE: Joint Ontology Workshops 2015, JOWO 2015 - Episode 1: The Argentine Winter of Ontology in CEUR Workshop Proceedings, VOLUME: 1517
AUTORES: Costa, N; Knorr, M; Leite, J;
PUBLICAÇÃO: 2015, FONTE: Joint Ontology Workshops 2015, JOWO 2015 - Episode 1: The Argentine Winter of Ontology in CEUR Workshop Proceedings, VOLUME: 1517
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID35
TÃTULO: Well-founded paraconsistent semantics for hybrid theories composed of rules and ontologies
AUTORES: Kaminski, T; Knorr, M; Leite, J ;
PUBLICAÇÃO: 2015, FONTE: Joint Ontology Workshops 2015, JOWO 2015 - Episode 1: The Argentine Winter of Ontology in CEUR Workshop Proceedings, VOLUME: 1517
AUTORES: Kaminski, T; Knorr, M; Leite, J ;
PUBLICAÇÃO: 2015, FONTE: Joint Ontology Workshops 2015, JOWO 2015 - Episode 1: The Argentine Winter of Ontology in CEUR Workshop Proceedings, VOLUME: 1517
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID36
TÃTULO: Reasoning efficiently with ontologies and rules in the presence of inconsistencies
AUTORES: Tobias Kaminski; Matthias Knorr; João Leite;
PUBLICAÇÃO: 2015, FONTE: CEUR Workshop Proceedings, VOLUME: 1350
AUTORES: Tobias Kaminski; Matthias Knorr; João Leite;
PUBLICAÇÃO: 2015, FONTE: CEUR Workshop Proceedings, VOLUME: 1350
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID37
TÃTULO: Efficient paraconsistent reasoning with ontologies and rules
AUTORES: Tobias Kaminski; Matthias Knorr; João Leite;
PUBLICAÇÃO: 2015, FONTE: IJCAI International Joint Conference on Artificial Intelligence, VOLUME: 2015-January
AUTORES: Tobias Kaminski; Matthias Knorr; João Leite;
PUBLICAÇÃO: 2015, FONTE: IJCAI International Joint Conference on Artificial Intelligence, VOLUME: 2015-January
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID38
TÃTULO: Nonmonotonic nominal schemas revisited
AUTORES: Matthias Knorr;
PUBLICAÇÃO: 2015, FONTE: CEUR Workshop Proceedings, VOLUME: 1350
AUTORES: Matthias Knorr;
PUBLICAÇÃO: 2015, FONTE: CEUR Workshop Proceedings, VOLUME: 1350
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID39
TÃTULO: Evolving bridge rules in evolving multi-context systems
AUTORES: Gonçalves, R; Knorr, M; Leite, J ;
PUBLICAÇÃO: 2014, FONTE: 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
AUTORES: Gonçalves, R; Knorr, M; Leite, J ;
PUBLICAÇÃO: 2014, FONTE: 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
40
TÃTULO: Preserving Strong Equivalence while Forgetting
AUTORES: Matthias Knorr; Jose Julio Alferes ;
PUBLICAÇÃO: 2014, FONTE: 14th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2014, VOLUME: 8761
AUTORES: Matthias Knorr; Jose Julio Alferes ;
PUBLICAÇÃO: 2014, FONTE: 14th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2014, VOLUME: 8761
INDEXADO EM: Scopus WOS
Scopus WOS NO MEU: ORCID | ResearcherID
ORCID | ResearcherID