| Data | Título | Autor(es) | Tipo | Acesso |
| 2013 | A Query Tool for EL with Non-monotonic Rules | Ivanov, Vadim; Knorr, Matthias; Leite, João Alexandre Carvalho Pinheiro | conferenceObject |  |
| 1-Jan-2007 | A Well-founded Semantics for Hybrid MKNF Knowledge Bases | Knorr, Matthias; Alferes, José Júlio Alves; Hitzler, Pascal | conferenceObject |  |
| 2015 | Extending NoHR for OWL 2 QL | Costa, Nuno; Knorr, Matthias; Leite, João | conferenceObject | |
| Jan-2023 | Forgetting in Answer Set Programming - A Survey | Gonçalves, Ricardo; Knorr, Matthias; Leite, João | article | |
| 2019 | Forgetting in Answer Set Programming with Anonymous Cycles | Berthold, Matti; Gonçalves, Ricardo; Knorr, Matthias; Leite, João | conferenceObject | |
| 2019 | Forgetting in Modular Answer Set Programming | Gonçalves, Ricardo; Janhunen, Tomi; Knorr, Matthias; Leite, João; Woltran, Stefan | conferenceObject | |
| 2016 | Inconsistency Management in Reactive Multi-context Systems | Brewka, Gerhard; Ellmauthaler, Stefan; Gonçalves, Ricardo; Knorr, Matthias; Leite, Joao; Puehrer, Joerg | conferenceObject | |
| 1-Jun-2011 | Local closed world reasoning with description logics under the well-founded semantics | Knorr, Matthias; Alferes, José Júlio; Hitzler, Pascal | article | |
| 2014 | Preserving strong equivalence while forgetting | Knorr, Matthias; Alferes, José Júlio | conferenceObject | |
| 2-Nov-2011 | Querying OWL 2 QL and non-monotonic rules | Knorr, Matthias; Alferes, José Júlio | conferenceObject | |
| 1-Mar-2018 | Reactive multi-context systems | Brewka, Gerhard; Ellmauthaler, Stefan; Gonçalves, Ricardo; Knorr, Matthias; Leite, João; Pührer, Jörg | article | |
