Matthias Knorr
AuthID: R-000-J55
31
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
WOS32
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
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
33
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
ORCID34
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
ORCID35
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
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
Scopus IN MY: ORCID
ORCID36
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
ORCID37
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
ORCID38
TITLE: Nonmonotonic nominal schemas revisited
AUTHORS: Matthias Knorr;
PUBLISHED: 2015, SOURCE: CEUR Workshop Proceedings, VOLUME: 1350
AUTHORS: Matthias Knorr;
PUBLISHED: 2015, SOURCE: CEUR Workshop Proceedings, VOLUME: 1350
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID39
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
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
40
TITLE: Preserving Strong Equivalence while Forgetting
AUTHORS: Matthias Knorr; Jose Julio Alferes ;
PUBLISHED: 2014, SOURCE: 14th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2014, VOLUME: 8761
AUTHORS: Matthias Knorr; Jose Julio Alferes ;
PUBLISHED: 2014, SOURCE: 14th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2014, VOLUME: 8761
INDEXED IN: Scopus WOS
Scopus WOS IN MY: ORCID | ResearcherID
ORCID | ResearcherID