| 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 | 145 | 2011 |
| Reconciling OWL and non-monotonic rules for the Semantic Web M Knorr, P Hitzler, F Maier ECAI 2012, 474-479, 2012 | 55 | 2012 |
| 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 | 48 | 2016 |
| A coherent well-founded model for hybrid MKNF knowledge bases M Knorr, JJ Alferes, P Hitzler ECAI 2008, 99-103, 2008 | 48 | 2008 |
| Evolving multi-context systems R Gonçalves, M Knorr, J Leite ECAI 2014, 375-380, 2014 | 40 | 2014 |
| 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 | 39 | 2016 |
| Preserving strong equivalence while forgetting M Knorr, JJ Alferes Logics in Artificial Intelligence: 14th European Conference, JELIA 2014 …, 2014 | 36 | 2014 |
| A Query Tool for EL with Non-Monotonic Rules V Ivanov, M Knorr, J Leite The Semantic Web–ISWC 2013, 216-231, 2013 | 35 | 2013 |
| 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 | 32 | 2013 |
| 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 | 29 | 2009 |
| 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 | 28 | 2018 |
| Efficient paraconsistent reasoning with ontologies and rules T Kaminski, M Knorr, J Leite Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015 | 26 | 2015 |
| 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 | 21 | 2019 |
| 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 | 21 | 2017 |
| Next step for NoHR: OWL 2 QL N Costa, M Knorr, J Leite The Semantic Web-ISWC 2015: 14th International Semantic Web Conference …, 2015 | 20 | 2015 |
| 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 | 19 | 2012 |
| 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 | 18 | 2014 |
| Forgetting under the well-founded semantics JJ Alferes, M Knorr, K Wang Logic Programming and Nonmonotonic Reasoning: 12th International Conference …, 2013 | 18 | 2013 |
| Nohr: Integrating XSB prolog with the OWL 2 profiles and beyond C Lopes, M Knorr, J Leite Logic Programming and Nonmonotonic Reasoning: 14th International Conference …, 2017 | 16 | 2017 |
| Evolving bridge rules in evolving multi-context systems R Gonçalves, M Knorr, J Leite Computational Logic in Multi-Agent Systems: 15th International Workshop …, 2014 | 15 | 2014 |
Joao LeiteUniversidade Nova de Lisboa在 fct.unl.pt 的电子邮件经过验证
