Seguir
Matthias Knorr
Matthias Knorr
Assistant Professor of Computer Science, NOVA LINCS, Universidade Nova de Lisboa
Dirección de correo verificada de fct.unl.pt - Página principal
Título
Citado por
Citado por
Año
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
1532011
Reconciling OWL and non-monotonic rules for the Semantic Web
M Knorr, P Hitzler, F Maier
ECAI 2012, 474-479, 2012
592012
The Ultimate Guide to Forgetting in Answer Set Programming.
R Gonçalves, M Knorr, J Leite
KR, 135-144, 2016
532016
A coherent well-founded model for hybrid MKNF knowledge bases
M Knorr, JJ Alferes, P Hitzler
ECAI 2008, 99-103, 2008
512008
Mean-field model for the growth and coarsening of stoichiometric precipitates at grain boundaries
E Kozeschnik, J Svoboda, R Radis, FD Fischer
Modelling and simulation in materials science and engineering 18 (1), 015011, 2009
492009
You can't always forget what you want: On the limits of forgetting in answer set programming
R Gonçalves, M Knorr, J Leite
ECAI 2016, 957-965, 2016
452016
Preserving strong equivalence while forgetting
M Knorr, JJ Alferes
European Workshop on Logics in Artificial Intelligence, 412-425, 2014
432014
Evolving multi-context systems
R Gonçalves, M Knorr, J Leite
ECAI 2014, 375-380, 2014
412014
A Query Tool for EL with Non-Monotonic Rules
V Ivanov, M Knorr, J Leite
The Semantic Web–ISWC 2013, 216-231, 2013
372013
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
342013
Queries to hybrid MKNF knowledge bases through oracular tabling
JJ Alferes, M Knorr, T Swift
The Semantic Web-ISWC 2009: 8th International Semantic Web Conference, ISWC …, 2009
302009
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
282018
Efficient paraconsistent reasoning with ontologies and rules
T Kaminski, M Knorr, J Leite
Proceedings of the 24th International Conference on Artificial Intelligence …, 2015
282015
A syntactic operator for forgetting that satisfies strong persistence
M Berthold, R Gonçalves, M Knorr, J Leite
Theory and Practice of Logic Programming 19 (5-6), 1038-1055, 2019
242019
When you must forget: Beyond strong persistence when forgetting in answer set programming
R Gonçalves, M Knorr, J Leite, S Woltran
Theory and Practice of Logic Programming 17 (5-6), 837-854, 2017
242017
Next step for NoHR: OWL 2 QL
N Costa, M Knorr, J Leite
The Semantic Web-ISWC 2015: 14th International Semantic Web Conference …, 2015
202015
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
192014
Forgetting in answer set programming–a survey
R Gonçalves, M Knorr, J Leite
Theory and Practice of Logic Programming 23 (1), 111-156, 2023
182023
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
182012
Forgetting under the well-founded semantics
JJ Alferes, M Knorr, K Wang
Logic Programming and Nonmonotonic Reasoning: 12th International Conference …, 2013
172013
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20