Matthias Knorr
AuthID: R-000-J55
31
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
![](/img/dblp_icon.png)
![](/img/crossref.png)
32
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
INDEXED IN:
Scopus
CrossRef
![](/img/scopus_icon.png)
![](/img/crossref.png)
33
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
![](/img/scopus_icon.png)
34
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
35
TITLE: Time Is Up! - Norms with Deadlines in Action Languages
AUTHORS: Matthias Knorr; Alfredo Gabaldon; Ricardo Goncalves; Joao Leite ; Martin Slota;
PUBLISHED: 2013, SOURCE: 14th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA) in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, CLIMA XIV, VOLUME: 8143
AUTHORS: Matthias Knorr; Alfredo Gabaldon; Ricardo Goncalves; Joao Leite ; Martin Slota;
PUBLISHED: 2013, SOURCE: 14th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA) in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, CLIMA XIV, VOLUME: 8143
INDEXED IN:
WOS
![](/img/clarivate-icon.png)
IN MY:
ResearcherID
![](/img/clarivate-icon.png)
36
TITLE: Recent Advances in Integrating OWL and Rules (Technical Communication)
AUTHORS: Matthias Knorr; David Carral Martínez; Pascal Hitzler; Adila A Krisnadhi; Frederick Maier; Cong Wang;
PUBLISHED: 2012, SOURCE: Web Reasoning and Rule Systems - Lecture Notes in Computer Science
AUTHORS: Matthias Knorr; David Carral Martínez; Pascal Hitzler; Adila A Krisnadhi; Frederick Maier; Cong Wang;
PUBLISHED: 2012, SOURCE: Web Reasoning and Rule Systems - Lecture Notes in Computer Science
37
TITLE: Querying in [Escr ][Lscr ]+ with Nonmonotonic Rules
AUTHORS: Matthias Knorr; José Júlio Alferes ;
PUBLISHED: 2010, SOURCE: ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings, VOLUME: 215
AUTHORS: Matthias Knorr; José Júlio Alferes ;
PUBLISHED: 2010, SOURCE: ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings, VOLUME: 215
INDEXED IN:
DBLP
![](/img/dblp_icon.png)