Matthias Knorr
Matthias Knorr
Post-Doc of Computer Science, NOVA LINCS, Universidade Nova de Lisboa
Verified email at fct.unl.pt - Homepage
TitleCited byYear
Local closed world reasoning with description logics under the well-founded semantics
M Knorr, JJ Alferes, P Hitzler
Artificial Intelligence 175 (9-10), 1528-1554, 2011
1202011
A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases.
M Knorr, JJ Alferes, P Hitzler
ECAI, 99-103, 2008
452008
Reconciling OWL and non-monotonic rules for the Semantic Web
M Knorr, P Hitzler, F Maier
ECAI 2012, 474-479, 2012
412012
Evolving Multi-Context Systems.
R Gonçalves, M Knorr, J Leite
ECAI 263, 375-380, 2014
342014
A Query Tool for EL with Non-Monotonic Rules
V Ivanov, M Knorr, J Leite
The Semantic Web–ISWC 2013, 216-231, 2013
30*2013
A Query Tool for EL with Non-Monotonic Rules
V Ivanov, M Knorr, J Leite
30*
Queries to hybrid MKNF knowledge bases through oracular tabling
JJ Alferes, M Knorr, T Swift
International Semantic Web Conference, 1-16, 2009
272009
Query-driven Procedures for Hybrid MKNF Knowledge Bases
JJ Alferes, M Knorr, T Swift
ACM Transactions on Computational Logic (TOCL) 14 (2), 1-43, 2013
252013
The ultimate guide to forgetting in answer set programming
R Gonçalves, M Knorr, J Leite
Fifteenth International Conference on the Principles of Knowledge …, 2016
212016
Efficient paraconsistent reasoning with ontologies and rules
T Kaminski, M Knorr, J Leite
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
192015
Preserving strong equivalence while forgetting
M Knorr, JJ Alferes
European Workshop on Logics in Artificial Intelligence, 412-425, 2014
162014
What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems
M Knorr, M Slota, J Leite, M Homola
Journal of Logic and Computation 24 (6), 1279-1311, 2014
152014
Evolving bridge rules in evolving multi-context systems
R Gonçalves, M Knorr, J Leite
International Workshop on Computational Logic and Multi-Agent Systems, 52-69, 2014
152014
A well-founded semantics for hybrid MKNF knowledge bases
M Knorr, JJ Alferes, P Hitzler
142007
You can't always forget what you want: On the limits of forgetting in answer set programming
R Gonçalves, M Knorr, J Leite
Proceedings of the Twenty-second European Conference on Artificial …, 2016
132016
Next step for NoHR: OWL 2 QL
N Costa, M Knorr, J Leite
International Semantic Web Conference, 569-586, 2015
122015
Forgetting under the well-founded semantics
JJ Alferes, M Knorr, K Wang
International Conference on Logic Programming and Nonmonotonic Reasoning, 36-41, 2013
122013
Normative systems require hybrid knowledge bases
M Alberti, M Knorr, AS Gomes, J Leite, R Gonçalves, M Slota
Proceedings of the 11th International Conference on Autonomous Agents and …, 2012
112012
Reactive multi-context systems: Heterogeneous reasoning in dynamic environments
G Brewka, S Ellmauthaler, R Gonçalves, M Knorr, J Leite, J Pührer
Artificial Intelligence 256, 68-104, 2018
102018
MKNF knowledge bases in multi-context systems
M Homola, M Knorr, J Leite, M Slota
International Workshop on Computational Logic in Multi-Agent Systems, 146-162, 2012
82012
The system can't perform the operation now. Try again later.
Articles 1–20