Matthias Knorr
AuthID: R-000-J55
41
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 | ResearcherID42
TÃTULO: What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems
AUTORES: Matthias Knorr; Martin Slota; Joao Leite ; Martin Homola;
PUBLICAÇÃO: 2014, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 24, NÚMERO: 6
AUTORES: Matthias Knorr; Martin Slota; Joao Leite ; Martin Homola;
PUBLICAÇÃO: 2014, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 24, NÚMERO: 6
NO MEU: ORCID | ResearcherID
ORCID | ResearcherID43
TÃTULO: Evolving Multi-Context Systems
AUTORES: Ricardo Goncalves; Matthias Knorr; Joao Leite ;
PUBLICAÇÃO: 2014, FONTE: 21st European Conference on Artificial Intelligence (ECAI) in 21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), VOLUME: 263
AUTORES: Ricardo Goncalves; Matthias Knorr; Joao Leite ;
PUBLICAÇÃO: 2014, FONTE: 21st European Conference on Artificial Intelligence (ECAI) in 21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), VOLUME: 263
INDEXADO EM: Scopus WOS
Scopus WOS NO MEU: ORCID | ResearcherID
ORCID | ResearcherID44
TÃTULO: On Efficient Evolving Multi-Context Systems
AUTORES: Matthias Knorr; Ricardo Goncalves; Joao Leite;
PUBLICAÇÃO: 2014, FONTE: 13th Pacific Rim International Conference on Artificial Intelligence (PRICAI) in PRICAI 2014: TRENDS IN ARTIFICIAL INTELLIGENCE, VOLUME: 8862
AUTORES: Matthias Knorr; Ricardo Goncalves; Joao Leite;
PUBLICAÇÃO: 2014, FONTE: 13th Pacific Rim International Conference on Artificial Intelligence (PRICAI) in PRICAI 2014: TRENDS IN ARTIFICIAL INTELLIGENCE, VOLUME: 8862
INDEXADO EM: Scopus WOS
Scopus WOS NO MEU: ORCID
ORCID45
TÃTULO: Preserving Strong Equivalence while Forgetting
AUTORES: Matthias Knorr; José Júlio Alferes ;
PUBLICAÇÃO: 2014, FONTE: Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, VOLUME: 8761
AUTORES: Matthias Knorr; José Júlio Alferes ;
PUBLICAÇÃO: 2014, FONTE: Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, VOLUME: 8761
INDEXADO EM: 
DBLP 
CrossRef
DBLP CrossRef46
TÃTULO: Description Logics
AUTORES: Knorr, M; Hitzler, P;
PUBLICAÇÃO: 2014, FONTE: Handbook of the History of Logic, VOLUME: 9, NÚMERO: C
AUTORES: Knorr, M; Hitzler, P;
PUBLICAÇÃO: 2014, FONTE: Handbook of the History of Logic, VOLUME: 9, NÚMERO: C
47
TÃTULO: Evolving bridge rules in evolving multi-context systems
AUTORES: Goncalves, 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: Goncalves, 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
INDEXADO EM: Scopus
Scopus48
TÃTULO: A Query Tool for EL with Non-monotonic Rules
AUTORES: Vadim Ivanov; Matthias Knorr; Joao Leite ;
PUBLICAÇÃO: 2013, FONTE: 12th International Semantic Web Conference (ISWC) in SEMANTIC WEB - ISWC 2013, PART I, VOLUME: 8218, NÚMERO: PART 1
AUTORES: Vadim Ivanov; Matthias Knorr; Joao Leite ;
PUBLICAÇÃO: 2013, FONTE: 12th International Semantic Web Conference (ISWC) in SEMANTIC WEB - ISWC 2013, PART I, VOLUME: 8218, NÚMERO: PART 1
49
TÃTULO: Time Is Up! - Norms with Deadlines in Action Languages
AUTORES: Matthias Knorr; Alfredo Gabaldon; Ricardo Goncalves; Joao Leite ; Martin Slota;
PUBLICAÇÃO: 2013, FONTE: 14th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA) in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, CLIMA XIV, VOLUME: 8143
AUTORES: Matthias Knorr; Alfredo Gabaldon; Ricardo Goncalves; Joao Leite ; Martin Slota;
PUBLICAÇÃO: 2013, FONTE: 14th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA) in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, CLIMA XIV, VOLUME: 8143
INDEXADO EM: WOS
WOS NO MEU: ResearcherID
ResearcherID50
TÃTULO: NoHR: Querying EL with non-monotonic rules
AUTORES: Ivanov, V; Knorr, M; Leite, J;
PUBLICAÇÃO: 2013, FONTE: 12th International Semantic Web Conference, ISWC 2013 in CEUR Workshop Proceedings, VOLUME: 1035
AUTORES: Ivanov, V; Knorr, M; Leite, J;
PUBLICAÇÃO: 2013, FONTE: 12th International Semantic Web Conference, ISWC 2013 in CEUR Workshop Proceedings, VOLUME: 1035
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID