Matthias Knorr
AuthID: R-000-J55
41
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
ORCID42
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
43
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 | ResearcherID44
TITLE: What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems
AUTHORS: Matthias Knorr; Martin Slota; Joao Leite ; Martin Homola;
PUBLISHED: 2014, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 24, ISSUE: 6
AUTHORS: Matthias Knorr; Martin Slota; Joao Leite ; Martin Homola;
PUBLISHED: 2014, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 24, ISSUE: 6
IN MY: ORCID | ResearcherID
ORCID | ResearcherID45
TITLE: Evolving Multi-Context Systems
AUTHORS: Goncalves, R; Knorr, M; Leite, J ;
PUBLISHED: 2014, SOURCE: 21st European Conference on Artificial Intelligence (ECAI) in 21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), VOLUME: 263
AUTHORS: Goncalves, R; Knorr, M; Leite, J ;
PUBLISHED: 2014, SOURCE: 21st European Conference on Artificial Intelligence (ECAI) in 21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), VOLUME: 263
46
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
ORCID47
TITLE: Preserving Strong Equivalence while Forgetting
AUTHORS: Matthias Knorr; José Júlio Alferes ;
PUBLISHED: 2014, SOURCE: Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, VOLUME: 8761
AUTHORS: Matthias Knorr; José Júlio Alferes ;
PUBLISHED: 2014, SOURCE: Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, VOLUME: 8761
INDEXED IN: 
DBLP 
CrossRef
DBLP CrossRef48
TITLE: Description Logics
AUTHORS: Knorr, M; Hitzler, P;
PUBLISHED: 2014, SOURCE: Handbook of the History of Logic, VOLUME: 9, ISSUE: C
AUTHORS: Knorr, M; Hitzler, P;
PUBLISHED: 2014, SOURCE: Handbook of the History of Logic, VOLUME: 9, ISSUE: C
49
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
Scopus50
TITLE: A Query Tool for EL with Non-monotonic Rules
AUTHORS: Vadim Ivanov; Matthias Knorr; Joao Leite ;
PUBLISHED: 2013, SOURCE: 12th International Semantic Web Conference (ISWC) in SEMANTIC WEB - ISWC 2013, PART I, VOLUME: 8218, ISSUE: PART 1
AUTHORS: Vadim Ivanov; Matthias Knorr; Joao Leite ;
PUBLISHED: 2013, SOURCE: 12th International Semantic Web Conference (ISWC) in SEMANTIC WEB - ISWC 2013, PART I, VOLUME: 8218, ISSUE: PART 1
