???global.info.a_carregar???
Matthias Knorr is an Associate Professor at the Department of Computer Science, NOVA University Lisbon (NOVA) since 2024, and before he was an Assistant Professor at the same institution since 2018. He is an integrated member of the research center NOVA Laboratory for Computer Science and Informatics (NOVA LINCS), since 2015. He holds a PhD in Computer Science from NOVA (2011) and a Master in Computational Logic from Technische Universität Dresden and NOVA (2006). His research is developed in the area of Artificial Intelligence, focussing on the areas of Knowledge Representation and Reasoning, Semantic Web and Answer Set Programming. The main contributions of his work are on the efficient integration of knowledge expressed in ontologies and rules, using standardized languages on the Web, including the tool NoHR, the first such plugin for the ontology editor Protégé, the generalization of such integration to heterogeneous knowledge with streams, and main results on forgetting in Answer Set Programming, aiming to preserve the contents of a knowledge base with a more restricted language. He has published three book chapters and 68 papers in journals and international conference proceedings, many of them among the most prestigious in his scientific area. He received the Best Paper Award at the 17th Edition of the European Conference on Logics in Artificial Intelligence (JELIA 2021 - CORE A). Large part of his work has been developed within the research projects in which he actively participated, including RIVER (PTDC/CCI-COM/30952/2017), as Principal Investigator. He is also Principal Investigator of a recently started project on Efficient Revision of Boolean Networks. Since 2001, he has taught 12 distinct courses, several of them as the main responsible for the course, and gave two distinct courses in prestigious summer schools. He has supervised 19 master's theses and co-supervised 3 master's theses in the industry. He has a large number of participations in PCs (including senior PCs) of the most prestigious conferences of his area, and he has participated in project evaluations in the Netherlands and in Chile. He co-organizes, since 2017, the editions of the Knowledge Representation and Reasoning track at the EPIA conference. He is also contributing as Workshop chair at KR2025 and as conference chair of DL 2026. He also has been a member of the Scientific Commission of the first-level degree (Licenciatura) in Computer Science at NOVA, and is a member of the Scientific Commission of the Master's degree and the integrated Master's degree in Computer Science at NOVA. In 2015, he was awarded the Prémio Científico IBM Portugal. Selected Publications: - F. Aleixo, M. Knorr, J. Leite. Revising Boolean Logical Models of Biological Regulatory Networks. Procs. of the International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), pages 12-22, AAAI Press, 2023. - R. Gonçalves, T. Janhunen, M. Knorr, and J. Leite. On Syntactic Forgetting Under Uniform Equivalence. Procs. of the 17th European Conference on Logics in Artificial Intelligence (JELIA 2021), pages 297–312, Vol. 12678 of LNCS, Springer, 2021. - R. Gonçalves, M. Knorr, J. Leite, and S. Woltran: On the limits of forgetting in Answer Set Programming. Artif. Intell. 286, 2020. - R. Gonçalves, T. Janhunen, M. Knorr, J. Leite, and S. Woltran. Forgetting in Modular Answer Set Programming. Procs. of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI 2019), pages 2843–2850, AAAI Press, 2019. - G. Brewka, S. Ellmauthaler, R. Gonçalves, M. Knorr, J. Leite, and J. Puehrer. Reactive multi-context systems: heterogeneous reasoning in dynamic environments. Artif. Intell. 256:68–104, 2018.
Ler resumo completo ↓
Identificação

Identificação pessoal

Nome completo
Matthias Knorr

Nomes de citação

  • Knorr, Matthias

Identificadores de autor

Ciência ID
011D-9252-1949
ORCID iD
0000-0003-1826-1498
Google Scholar ID
iEoWMTUAAAAJ
Researcher Id
J-4220-2012
Scopus Author Id
36447632600

Domínios de atuação

  • Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação
  • Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Alemão Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2)
Inglês Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2)
Português Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1)
Formação
Grau Classificação
2011
Concluído
 Doutoramento em Informática (Doutoramento)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
"Combining Open and Closed World Reasoning for the Semantic Web" (TESE/DISSERTAÇÃO)
 aprovado por unanimidade (approved unanimously)
2006
Concluído
 Computational Logic (Mestrado)
Technische Universität Dresden Fakultät Informatik, Alemanha

Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
"A Comparative Study of Disjunctive Well-founded Semantics" (TESE/DISSERTAÇÃO)
 with distinction (1,0), ECTS Grade A
2003
Concluído
 Informatik (Bacharelato)
Technische Universität Dresden Fakultät Informatik, Alemanha
"Level mapping characterizations for quantitative and disjunctive logic programs" (TESE/DISSERTAÇÃO)
 Very Good (1,6) ECTS Grade B
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento 		Empregador
2014/12/31 - Atual Investigador (Investigação) Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
2011/10/01 - 2018/01/31 Pós-doutorado (Investigação) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2011/09/03 - 2011/09/30 Investigador visitante (Investigação) Kno.e.sis Center, Wright State University, Estados Unidos
Kno.e.sis Center, Wright State University, Estados Unidos

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2024/01/11 - Atual Professor Associado (Docente Universitário) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2018/02/01 - 2024/01/10 Professor Auxiliar (Docente Universitário) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2016/03/01 - 2018/01/31 Professor Auxiliar Convidado (Docente Universitário) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal

Outros

Categoria Profissional
Instituição de acolhimento 		Empregador
2007/07/01 - 2011/09/02 PhD Student with grant from Fundação para a Ciência e a Tecnologia Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
Projetos

Projeto

Designação Financiadores
2025/02/01 - Atual Efficient model revision of biological regulatory networks
2023.13327.PEX
Investigador responsável
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
Em curso
2023/09/01 - Atual Magic Lantern – Study, Safeguard, Uses and Reuses in 19th-Century Portugal
PTDC/ART-PER/1702/2021
10.54499/PTDC/ART-PER/1702/2021
Investigador
Unidade de Investigação Vidro e Cerâmica para as Artes, Portugal

Universidade Nova de Lisboa Associação para a Inovação e Desenvolvimento da FCT, Portugal

Universidade Nova de Lisboa, Portugal

Universidade Nova de Lisboa Centro de Estudos de Sociologia e Estética Musical, Portugal

Universidad de Salamanca, Espanha

Universidade de Coimbra, Portugal

Universidade de Coimbra Faculdade de Psicologia e de Ciências da Educação, Portugal
Fundação para a Ciência e a Tecnologia
Em curso
2022/07/01 - Atual Sustainable Stone by Portugal
C644943391-00000051
Investigador
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
 European Union
Em curso
2022/04/01 - Atual NEURASPACE
C626449889-0046305
Investigador
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
 European Union
Em curso
2024/07/02 - 2025/01/01 REDiscovering madder colours: Science & Art for the preservation and creation of cultural heritage
2022.02909.PTDC
Investigador
Rede de Química e Tecnologia Laboratório Associado para a Química Verde, Portugal
Concluído
2018/10/01 - 2022/09/30 FORGET
PTDC/CCI-INF/32219/2017
Investigador
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2018/08/01 - 2022/07/31 RIVER
PTDC/CCI-COM/30952/2017/
Investigador responsável
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2018/07/01 - 2021/06/30 ABSOLV
PTDC/CCI-COM/28986/2017/
Investigador
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2017/04/01 - 2019/03/31 Bridging Theory and Practice: Update Semantics and Multi-shot ASP
FCT/3151/9/3/2017/S
Bolseiro de Investigação
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2012/03/01 - 2015/08/31 ERRO - Efficient Reasoning with Rules and Ontologies
PTDC/EIA-CCO/121823/2010
Investigador
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2011/11/01 - 2013/07/31 ReDIK - Reasoning with Dynamic Inconsistent Knowledge
FCT/2487/3/6/2011/S
Investigador
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2006/11/01 - 2008/02/29 REWERSE - Reasoning on the Web with Rules and Semantics
506779
Bolseiro de Doutoramento
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
 European Commission Sixth Framework Programme
Concluído
2004/04/01 - 2005/02/28 ALAN - Designing an axiomatization language for autonomous agents and mobile robots
TH 541/8-1
Bolseiro de Mestrado
Technische Universität Dresden Fakultät Informatik, Alemanha
 Deutsche Forschungsgemeinschaft
Concluído
Produções

Publicações

Artigo em conferência
  1. Saribatur, Zeynep G.; Knorr, Matthias; Gonçalves, Ricardo; Leite, João. "On Abstracting over the Irrelevant in Answer Set Programming". Trabalho apresentado em 21th International Conference on Principles of Knowledge Representation and Reasoning (KR), 2024.
    Publicado • 10.24963/kr.2024/61
  2. Jesse Heyninck; Knorr, Matthias; João Leite. "Abstract Dialectical Frameworks are Boolean Networks". Trabalho apresentado em Logic Programming and Nonmonotonic Reasoning (LPNMR 24), 2024.
    Publicado • 10.1007/978-3-031-74209-5_8
  3. Aleixo, Frederico; Knorr, Matthias; Leite, João. "Revising Boolean Logical Models of Biological Regulatory Networks". Trabalho apresentado em 20th International Conference on Principles of Knowledge Representation and Reasoning (KR), 2023.
    Publicado • 10.24963/kr.2023/2
  4. Matti Berthold; Knorr, Matthias; Daphne Odekerken. "Forgetting Web". Trabalho apresentado em 39th International Conference on Logic Programming (ICLP 23) -- Application, System, and Demo Track, 2023.
    Publicado
  5. Bruno Rodrigues; Knorr, Matthias; Krippahl, Ludwig; Ricardo Gonçalves. "Towards Explaining Actions of Learning Agents". Trabalho apresentado em Adaptive and Learning Agents Workshop (ALA 2023), at AAMAS, 2023.
    Publicado
  6. Matthias Knorr; Carlos Viegas Damásio; Ricardo Gonçalves; João Leite. "Towards Provenance in Heterogeneous Knowledge Bases". Trabalho apresentado em Logic Programming and Nonmonotonic Reasoning - 16th International Conference (LPNMR 22), 2022.
    Publicado • 10.1007/978-3-031-15707-3_22
  7. Ricardo Gonçalves; Tomi Janhunen; Knorr, Matthias; Leite, Joao. "On Syntactic Forgetting Under Uniform Equivalence (Report)". Trabalho apresentado em 38th International Conference on Logic Programming (ICLP 22), 2022.
    Publicado
  8. Jesse Heyninck; Ricardo Gonçalves; Knorr, Matthias; Leite, Joao. "Tractable Reasoning using Logic Programs with Intensional Concepts (Report)". Trabalho apresentado em 38th International Conference on Logic Programming (ICLP 22), 2022.
    Publicado
  9. Knorr, Matthias; Carlos Viegas Damásio; Ricardo Gonçalves; Leite, Joao. "Modular Provenance in Multi-Context Systems". Trabalho apresentado em Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 22), 2022.
    Publicado
  10. Jesse Heyninck; Ricardo Gonçalves; Matthias Knorr; João Leite. "Tractable Reasoning Using Logic Programs with Intensional Concepts". Trabalho apresentado em European Conference on Logics in Artificial Intelligence (JELIA 21), 2021.
    Publicado • 10.1007/978-3-030-75775-5_22
  11. Ricardo Gonçalves; Tomi Janhunen; Matthias Knorr; João Leite. "On Syntactic Forgetting Under Uniform Equivalence". Trabalho apresentado em European Conference on Logics in Artificial Intelligence (JELIA 21), 2021.
    Publicado • 10.1007/978-3-030-75775-5_20
  12. Ricardo Ferreira; Carolina Lopes; Ricardo Gonçalves; Knorr, Matthias; Krippahl, Ludwig; João Leite. "Deep Neural Networks for Approximating Stream Reasoning with C-SPARQL". Trabalho apresentado em EPIA Conference on Artificial Intelligence (EPIA 21), 2021.
    Publicado • 10.1007/978-3-030-86230-5_27
  13. João Ferreira; Diogo Lavado; Ricardo Gonçalves; Knorr, Matthias; Krippahl, Ludwig; João Leite. "Faster Than LASER - Towards Stream Reasoning with Deep Neural Networks". Trabalho apresentado em EPIA Conference on Artificial Intelligence (EPIA 21), 2021.
    Publicado • 10.1007/978-3-030-86230-5_29
  14. Gonçalves, Ricardo; Janhunen, Tomi; Knorr, Matthias; Leite, João; Woltran, Stefan. "Forgetting in Modular Answer Set Programming". Trabalho apresentado em The Thirty-Third AAAI Conference on Artificial Intelligence (AAAI 19), 2019.
    Publicado • 10.1609/aaai.v33i01.33012843
  15. Berthold, M.; Gonçalves, R.; Knorr, M.; Leite, J.. "Forgetting in Answer Set Programming with Anonymous Cycles". Trabalho apresentado em EPIA Conference on Artificial Intelligence (EPIA 19), 2019.
    Publicado • 10.1007/978-3-030-30244-3_46
  16. Kasalica, V.; Gerochristos, I.; Alferes, J.J.; Gomes, A.S.; Knorr, M.; Leite, J.. "Telco Network Inventory Validation with NoHR". Trabalho apresentado em Logic Programming and Nonmonotonic Reasoning (LPNMR 19), 2019.
    Publicado • 10.1007/978-3-030-20528-7_2
  17. Gonçalves, R.; Janhunen, T.; Knorr, M.; Leite, J.; Woltran, S.. "Variable elimination for DLP-functions". Trabalho apresentado em 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 18), 2018.
    Publicado
  18. Gonçalves, R.; Knorr, M.; Leite, J.. "Iterative variable elimination in ASP". Trabalho apresentado em EPIA Conference on Artificial Intelligence (EPIA 17), 2017.
    Publicado • 10.1007/978-3-319-65340-2_53
  19. Lopes, C.; Knorr, M.; Leite, J.. "NoHR: Integrating XSB prolog with the OWL 2 profiles and beyond". Trabalho apresentado em Logic Programming and Nonmonotonic Reasoning (LPNMR 17), 2017.
    Publicado • 10.1007/978-3-319-61660-5_22
  20. Gonçalves, R.; Knorr, M.; Leite, J.. "You can't always forget what you want: On the limits of forgetting in answer set programming". Trabalho apresentado em ECAI 2016 - 22nd European Conference on Artificial Intelligence (ECAI 16), 2016.
    Publicado • 10.3233/978-1-61499-672-9-957
  21. Gonçalves, R.; Knorr, M.; Leite, J.. "The ultimate guide to forgetting in answer set programming". Trabalho apresentado em 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 16), 2016.
    Publicado
  22. Brewka, G.; Ellmauthaler, S.; Gonçalves, R.; Knorr, M.; Leite, J.; Pührer, J.. "Inconsistency management in reactive multi-context systems". Trabalho apresentado em European Conference on Logics in Artificial Intelligence (JELIA 16), 2016.
    Publicado • 10.1007/978-3-319-48758-8_35
  23. Gonçalves, R.; Knorr, M.; Leite, J.. "Forgetting in ASP: The forgotten properties". Trabalho apresentado em European Conference on Logics in Artificial Intelligence (JELIA 16), 2016.
    Publicado • 10.1007/978-3-319-48758-8_37
  24. Kaminski, T.; Knorr, M.; Leite, J.. "Reasoning efficiently with ontologies and rules in the presence of inconsistencies". Trabalho apresentado em 28th International Workshop on Description Logics (DL 15), 2015.
    Publicado
  25. Knorr, M.. "Nonmonotonic nominal schemas revisited". Trabalho apresentado em 28th International Workshop on Description Logics (DL 15), 2015.
    Publicado
  26. Costa, N.; Knorr, M.; Leite, J.. "Querying LUBM with non-monotonic features in protégé using NoHR". Trabalho apresentado em ISWC 2015 Posters & Demonstrations Track, 2015.
    Publicado
  27. Kaminski, T.; Knorr, M.; Leite, J.. "Well-founded paraconsistent semantics for hybrid theories composed of rules and ontologies". Trabalho apresentado em Joint Ontology Workshops 2015 (JoWo 15), 2015.
    Publicado
  28. Kaminski, T.; Knorr, M.; Leite, J.. "Efficient paraconsistent reasoning with ontologies and rules". Trabalho apresentado em Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 15), 2015.
    Publicado
  29. Costa, Nuno; Knorr, Matthias; Leite, João. "Extending NoHR for OWL 2 QL". Trabalho apresentado em Joint Ontology Workshops 2015 (JoWo 15), 2015.
    Publicado
  30. Costa, N.; Knorr, M.; Leite, J.. "Next step for NoHR: OWL 2 QL". Trabalho apresentado em International Semantic Web Conference (ISWC 15), 2015.
    Publicado • 10.1007/978-3-319-25007-6_33
  31. Gonçalves, R.; Knorr, M.; Leite, J.. "Minimal change in evolving multi-context systems". Trabalho apresentado em EPIA Conference on Artificial Intelligence (EPIA 15), 2015.
    Publicado • 10.1007/978-3-319-23485-4_62
  32. Ivanov, V.; Knorr, M.; Leite, J.. "Reasoning over ontologies and non-monotonic rules". Trabalho apresentado em EPIA Conference on Artificial Intelligence (EPIA 15), 2015.
    Publicado • 10.1007/978-3-319-23485-4_39
  33. Gonçalves, R.; Knorr, M.; Leite, J.. "Evolving multi-context systems". Trabalho apresentado em ECAI 2014 - 21st European Conference on Artificial Intelligence (ECAI 14), 2014.
    Publicado • 10.3233/978-1-61499-419-0-375
  34. Gonçalves, R.; Knorr, M.; Leite, J.. "Evolving bridge rules in evolving multi-context systems". Trabalho apresentado em Computational Logic in Multi-Agent Systems (CLIMA 14), 2014.
    Publicado • 10.1007/978-3-319-09764-0_4
  35. Knorr, M.; Gonçalves, R.; Leite, J.. "On efficient evolving multi-context systems". Trabalho apresentado em Pacific Rim International Conference on Artificial Intelligence (PRICAI 14), 2014.
    Publicado • 10.1007/978-3-319-13560-1
  36. Knorr, M.; Alferes, J.J.. "Preserving strong equivalence while forgetting". Trabalho apresentado em European Conference on Logics in Artificial Intelligence (JELIA 14), 2014.
    Publicado
  37. Ivanov, V.; Knorr, M.; Leite, J.. "NoHR: Querying EL with non-monotonic rules". Trabalho apresentado em ISWC 2013 Posters & Demonstrations Track, 2013.
    Publicado
  38. Gonçalves, R.; Knorr, M.; Leite, J.; Slota, M.. "Non-monotonic temporal goals". Trabalho apresentado em Logic Programming and Nonmonotonic Reasoning (LPNMR 13), 2013.
    Publicado • 10.1007/978-3-642-40564-8_37
  39. Alferes, J.J.; Knorr, M.; Wang, K.. "Forgetting under the well-founded semantics". Trabalho apresentado em Logic Programming and Nonmonotonic Reasoning (LPNMR 13), 2013.
    Publicado • 10.1007/978-3-642-40564-8_4
  40. Knorr, M.; Gabaldon, A.; Gonçalves, R.; Leite, J.; Slota, M.. "Time is up! - Norms with deadlines in action languages". Trabalho apresentado em Computational Logic in Multi-Agent Systems (CLIMA 13), 2013.
    Publicado • 10.1007/978-3-642-40624-9_14
  41. Ivanov, Vadim; Knorr, Matthias; Leite, João. "A Query Tool for EL with Non-monotonic Rules". Trabalho apresentado em International Semantic Web Conference (ISWC 13), 2013.
    Publicado • 10.1007/978-3-642-41335-3_14
  42. Knorr, M.; Hitzler, P.; Maier, F.. "Reconciling OWL and non-monotonic rules for the Semantic Web". Trabalho apresentado em ECAI 2012 - 20th European Conference on Artificial Intelligence (ECAI 12), 2012.
    Publicado • 10.3233/978-1-61499-098-7-474
  43. Alberti, Marco; Knorr, Matthias; Gomes, Ana Sofia; Leite, Joao; Goncalves, Ricardo; Slota, Martin. "Normative systems require hybrid knowledge bases". Trabalho apresentado em International Conference on Autonomous Agents and Multiagent Systems (AAMAS 12), 2012.
    Publicado
  44. Homola, M.; Knorr, M.; Leite, J.; Slota, M.. "MKNF knowledge bases in multi-context systems". Trabalho apresentado em Computational Logic in Multi-Agent Systems (CLIMA 12), 2012.
    Publicado • 10.1007/978-3-642-32897-8_11
  45. Knorr, Matthias; Carral Martínez, David; Hitzler, Pascal; Krisnadhi, Adila A.; Maier, Frederick; Wang, Cong. "Recent Advances in Integrating OWL and Rules (Technical Communication)". Trabalho apresentado em Web Reasoning and Rule Systems (RR 12), 2012.
    Publicado • 10.1007/978-3-642-33203-6_20
  46. Knorr, Matthias; Alferes, José Júlio. "Querying OWL 2 QL and non-monotonic rules". Trabalho apresentado em ISWC 2011 - 10th International Semantic Web Conference (ISWC 11), 2011.
    Publicado • https://doi.org/10.1007/978-3-642-25073-6_22
  47. Knorr, M.; Alferes, J.J.. "Querying in EL+ with nonmonotonic rules". Trabalho apresentado em ECAI 2010 - 19th European Conference on Artificial Intelligence (ECAI 10), 2010.
    Publicado • 10.3233/978-1-60750-606-5-1079
  48. Alferes, J.J.; Knorr, M.; Swift, T.. "Queries to hybrid MKNF knowledge bases through oracular tabling". Trabalho apresentado em ISWC 2009, 8th International Semantic Web Conference (ISWC 09), 2009.
    Publicado • 10.1007/978-3-642-04930-9_1
  49. Knorr, Matthias; Alferes, J.J.; Hitzler, P.. "A Coherent Well-founded model for Hybrid MKNF Knowledge Bases". Trabalho apresentado em 18th European Conference on Artificial Intelligence (ECAI 08), 2008.
    Publicado • 10.3233/978-1-58603-891-5-99
  50. Knorr, M.; Hitzler, P.. "A Comparison of Disjunctive Well-founded Semantics". Trabalho apresentado em Foundations of Artificial Intelligence (FAInt 07), 2007.
    Publicado
  51. Knorr, M.; Alferes, J.J.; Hitzler, P.. "Towards tractable local closed world reasoning for the semantic web". Trabalho apresentado em 13th Portuguese Conference on Aritficial Intelligence (EPIA 07), 2007.
    Publicado
  52. Knorr, Matthias; Alferes, José Júlio Alves; Hitzler, Pascal. "A Well-founded Semantics for Hybrid MKNF Knowledge Bases". Trabalho apresentado em International Workshop on Description Logics (DL 07), 2007.
    Publicado
Artigo em revista
  1. RICARDO GONÇALVES; MATTHIAS KNORR; JOÃO LEITE. "Forgetting in Answer Set Programming – A Survey". Theory and Practice of Logic Programming 23 1 (2023): 111-156. https://doi.org/10.1017/S1471068421000570.
    Publicado • 10.1017/S1471068421000570
  2. Kasalica, Vedran; Knorr, Matthias; Leite, João; Lopes, Carlos. "NoHR: An Overview". KI - Künstliche Intelligenz 34 4 (2020): 509-515. http://dx.doi.org/10.1007/s13218-020-00650-1.
    Publicado • 10.1007/s13218-020-00650-1
  3. Gonçalves, R.; Knorr, M.; Leite, J.; Woltran, S.. "On the limits of forgetting in Answer Set Programming". Artificial Intelligence 286 (2020): http://www.scopus.com/inward/record.url?eid=2-s2.0-85086439385&partnerID=MN8TOARS.
    Publicado • 10.1016/j.artint.2020.103307
  4. Berthold, M.; Gonçalves, R.; Knorr, M.; Leite, J.. "A Syntactic Operator for Forgetting that Satisfies Strong Persistence". Theory and Practice of Logic Programming 19 5-6 (2019): 1038-1055. http://www.scopus.com/inward/record.url?eid=2-s2.0-85072635339&partnerID=MN8TOARS.
    Publicado • 10.1017/S1471068419000346
  5. Brewka, G.; Ellmauthaler, S.; Gonçalves, R.; Knorr, M.; Leite, J.; Pührer, J.. "Reactive multi-context systems: Heterogeneous reasoning in dynamic environments". Artificial Intelligence 256 (2018): 68-104. http://www.scopus.com/inward/record.url?eid=2-s2.0-85037547447&partnerID=MN8TOARS.
    Publicado • 10.1016/j.artint.2017.11.007
  6. Gonçalves, R.; Knorr, M.; Leite, J.; Woltran, S.. "When you must forget: Beyond strong persistence when forgetting in answer set programming". Theory and Practice of Logic Programming 17 5-6 (2017): 837-854. http://www.scopus.com/inward/record.url?eid=2-s2.0-85032588489&partnerID=MN8TOARS.
    Publicado • 10.1017/S1471068417000382
  7. Knorr, M.; Slota, M.; Leite, J.; Homola, M.. "What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems". Journal of Logic and Computation 24 6 (2014): 1279-1311. http://www.scopus.com/inward/record.url?eid=2-s2.0-84931058108&partnerID=MN8TOARS.
    Publicado • 10.1093/logcom/ext062
  8. Alferes, J.J.; Knorr, M.; Swift, T.. "Query-driven procedures for Hybrid MKNF knowledge bases". ACM Transactions on Computational Logic 14 2 (2013): http://www.scopus.com/inward/record.url?eid=2-s2.0-84881424703&partnerID=MN8TOARS.
    Publicado • 10.1145/2480759.2480768
  9. Knorr, Matthias; Alferes, José Júlio; Hitzler, Pascal. "Local closed world reasoning with description logics under the well-founded semantics". Artificial Intelligence 175 9-10 (2011): 1528-1554. http://www.scopus.com/inward/record.url?scp=79953847776&partnerID=8YFLogxK.
    Publicado • https://doi.org/10.1016/j.artint.2011.01.007
Capítulo de livro
  1. Matthias Knorr. "On Combining Ontologies and Rules". In Reasoning Web. Declarative Artificial Intelligence - 17th International Summer School 2021, 22-58. Springer, 2022.
    Publicado • 10.1007/978-3-030-95481-9_2
  2. Knorr, Matthias. "Automated Reasoning". In Encyclopedia of Social Network Analysis and Mining, 101-108. Springer New York, 2018.
    Publicado • 10.1007/978-1-4939-7131-2_110188
  3. Knorr, Matthias; Hitzler, Pascal. "Description Logics". In Handbook of the History of Logic, 659-678. Elsevier, 2014.
    Publicado • 10.1016/b978-0-444-51624-4.50015-0
Tese / Dissertação
  1. Knorr, Matthias. "Combining open and closed world reasoning for the semantic web". Doutoramento, 2011. http://hdl.handle.net/10362/6702.

Outros

Software
  1. Aleixo, Frederico; Knorr, Matthias; Leite, Joao. "ARBoLoM". Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática. https://github.com/fpaleixo/arbolom. 2022.
  2. Ferreira, Tito; Knorr, Matthias. "WebNoHR". Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática. https://github.com/NoHRReasoner/WebNoHR. 2020.
  3. Costa, Nuno; Kasalica, Vedran; Knorr, Matthias; Leite, Joao; Lopes, Carlos; Ivanov, Vadim. "NoHR (Nova Hybrid Reasoner)". 4.0. Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática. https://nohr.di.fct.unl.pt/. 2019.
Atividades

Apresentação oral de trabalho

Título da apresentação Nome do evento
Anfitrião (Local do evento)
2021 On Combining Ontologies and Rules - Invited Lecture at the Reasoning Web Summer School 2021 Reasoning Web Summer School 2021
2017 On Forgetting in Answer Set Programming - Invited Talk at the Workshop of the European Master in Computational Logic Workshop of the European Master in Computational Logic 2017
2013 Towards a Semantic Web Unifying Logic - Invited Lecture at ICCL 2013 ICCL Summer School 2013
2013 OWL + Rules = .. ? - Tutorial at ESWC 2013 Extended Semantic Web Conference
2011 Hybrid MKNF Knowledge Bases - Seminar at Kno.e.sis Center, Wright State University, Dayton, Ohio, USA
2011 Hybrid MKNF under Well-Founded Semantics - Invited Seminar at TU Dresden
2008 Towards Tractable Local Closed World Reasoning for the Semantic Web - Invited Seminar at Universität Karlsruhe (TH)

Orientação

Título / Tema
Papel desempenhado 		Curso (Tipo)
Instituição / Organização
2023 - 2024 Explanations of Neural Networks with Logical Tensor Networks
Orientador de Bernardo Reis
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2023 - 2024 Support for Searching and Viewing Data from Scientific Studies on the Magic Lantern
Orientador de Rodrigo Marques
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2022 - 2024 Criação de Dados Sintéticos de Doentes para Investigação no Domínio dos Cuidados de Saúde
Orientador de Duarte Moreira
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2022 - 2024 Search, Visualization and Geo-location of Stained Glass on the Web
Coorientador de Pedro Micaelo
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2022 - 2024 EZASP - Making Learning Answer Set Programming Eeasier
Orientador de Ramiro Henriques
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2022 - 2024 Facilitação do Uso de ASP para a Criação de Horários
Orientador
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2021 - 2023 An Interactive Platform for Representing, Interlinking and Analysing Content on Glass Art on the Web
Orientador de José Oliveira
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2021 - 2022 Revision of Boolean Logical Models of Biological Regulatory Networks Using Answer Set Programming
Coorientador de Frederico Aleixo
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2021 - 2022 Automatically Selecting Patients for Clinical Trials with Justifications
Orientador de Tiago Botelho
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2021 - 2022 Empirical Evaluation of Models for Concept Mapping
Coorientador de Bruno Rodrigues
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2021 - 2022 Automated Support for Creating Experimental Setups in Material Sciences
Orientador de Sofia Rocha
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2020 - 2021 NoHR - Incorporating Linked Open Data
Orientador de Bruno Miguel Martins Castelo
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2019 - 2020 Extensão do NoHR para a Web
Orientador de Tito Ferreira
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2018 - 2019 Towards Linked Open Data in the City Council of Almada
Coorientador de Rafael Figueiredo
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2016 - 2017 NoHR: Beyond the OWL 2 Profiles
Coorientador de Carlos Lopes
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2016 - 2017 NoHR: Integrating Rules and Ontologies with External Data Sets
Coorientador de Vedran Kasalica
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2014 - 2015 OWL QL e Regras Não Monóntonas
Coorientador de Nuno Costa
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2013 - 2014 Efficient Paraconsistent Reasoning with Rules and Ontologies for the Semantic Web
Coorientador de Tobias Kaminski
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2013 - 2014 Reactive Hybrid Knowledge Bases
Coorientador de Nuno Cruz
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal

Organização de evento

Nome do evento
Tipo de evento (Tipo de participação) 		Instituição / Organização
2024 - 2024 KRR track at EPIA 2024 (2024 - 2024)
2022 - 2022 KRR track at EPIA 2022 (2022 - 2022)
2021 - 2021 KRR track at EPIA 2021 (2021 - 2021)
2019 - 2019 KRR track at EPIA 2019 (2019)
Oficina (workshop) (Coorganizador)
2017 - 2017 KRR track at EPIA 2017 (2017)
Oficina (workshop) (Coorganizador)

Arbitragem científica em conferência

Nome da conferência Local da conferência
2021 - Atual KR
2018 - Atual AAAI
2015 - Atual IJCAI
2020 - 2020 ECAI
2018 - 2019 WWW
2015 - 2019 LPNMR
2017 - 2018 ISWC
2016 - 2016 AAMAS
2015 - 2016 ESWC
2015 - 2015 AAAI
2014 - 2014 ECAI
2013 - 2013 ISWC
2013 - 2013 IJCAI

Comissão de avaliação

Descrição da atividade
Tipo de assessoria 		Instituição / Organização Entidade financiadora
2019 - 2019 External reviewer for proposals for the NWO Talent Programme - Vidi scheme (Science) - Netherlands
2014 - 2014 External reviewer for proposals submitted to the Regular Competition for research projects (Chile)
Avaliador
 Comisión Nacional de Investigación Científica y Tecnológica Fondo Nacional de Desarrollo Científico y Tecnológico, Chile

Membro de comissão

Descrição da atividade
Tipo de participação 		Instituição / Organização
2022/11 - Atual Scientific Commission of the Master in Computer Science, FCT NOVA
Membro
2020/02 - Atual Scientific Commission of the Integrated Master in Computer Science, FCT NOVA
Membro
2020/02 - 2022/11 Scientific Commission of the 1st Level Degree (Licenciatura) in Computer Science, FCT NOVA
Membro
Distinções

Prémio

2021 Best Paper Award at 17th edition of European Conference on Logics in Artificial Intelligence (JELIA 21) awarded for the paper "On Syntactic Forgetting Under Uniform Equivalence" - co-authors Ricardo Gonçalves, Tomi Janhunen, and João Leite

Outra distinção

2016 Prémio Científico IBM Portugal
IBM Portgual, Portugal