Matthias Knorr
AuthID: R-000-J55
21
TITLE: Inconsistency Management in Reactive Multi-context Systems
AUTHORS: Gerhard Brewka; Stefan Ellmauthaler; Ricardo Gon Calves; Matthias Knorr; Joao Leite; Joerg Puehrer;
PUBLISHED: 2016, SOURCE: 15th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, (JELIA 2016), VOLUME: 10021
AUTHORS: Gerhard Brewka; Stefan Ellmauthaler; Ricardo Gon Calves; Matthias Knorr; Joao Leite; Joerg Puehrer;
PUBLISHED: 2016, SOURCE: 15th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, (JELIA 2016), VOLUME: 10021
INDEXED IN: 
WOS
WOS22
TITLE: Forgetting in ASP: The Forgotten Properties
AUTHORS: Ricardo Goncalves; Matthias Knorr; Joao Leite;
PUBLISHED: 2016, SOURCE: 15th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, (JELIA 2016), VOLUME: 10021
AUTHORS: Ricardo Goncalves; Matthias Knorr; Joao Leite;
PUBLISHED: 2016, SOURCE: 15th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, (JELIA 2016), VOLUME: 10021
INDEXED IN: WOS
WOS23
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
AUTHORS: Vadim Ivanov; Matthias Knorr; Joao Leite ;
PUBLISHED: 2015, SOURCE: 17th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 9273
24
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
WOS25
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
26
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
Scopus27
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
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef28
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: ResearcherID
ResearcherID29
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: ResearcherID
ResearcherID30
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
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
Scopus WOS IN MY: ResearcherID
ResearcherID