???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.
Read full resume ↓
Identification

Personal identification

Full name
Matthias Knorr

Citation names

  • Knorr, Matthias

Author identifiers

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

Knowledge fields

  • Exact Sciences - Computer and Information Sciences - Computer Sciences
  • Exact Sciences - Computer and Information Sciences - Computer Sciences

Languages

Language Speaking Reading Writing Listening Peer-review
German Proficiency (C2) Proficiency (C2) Proficiency (C2) Proficiency (C2)
English Proficiency (C2) Proficiency (C2) Proficiency (C2) Proficiency (C2)
Portuguese Advanced (C1) Advanced (C1) Advanced (C1) Advanced (C1)
Education
Degree Classification
2011
Concluded
 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" (THESIS/DISSERTATION)
 aprovado por unanimidade (approved unanimously)
2006
Concluded
 Computational Logic (Mestrado)
Technische Universität Dresden Fakultät Informatik, Germany

Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
"A Comparative Study of Disjunctive Well-founded Semantics" (THESIS/DISSERTATION)
 with distinction (1,0), ECTS Grade A
2003
Concluded
 Informatik (Bacharelato)
Technische Universität Dresden Fakultät Informatik, Germany
"Level mapping characterizations for quantitative and disjunctive logic programs" (THESIS/DISSERTATION)
 Very Good (1,6) ECTS Grade B
Affiliation

Science

Category
Host institution 		Employer
2014/12/31 - Current Researcher (Research) Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
2011/10/01 - 2018/01/31 Postdoc (Research) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2011/09/03 - 2011/09/30 Visiting Researcher (Research) Kno.e.sis Center, Wright State University, United States
Kno.e.sis Center, Wright State University, United States

Teaching in Higher Education

Category
Host institution 		Employer
2024/01/11 - Current Associate Professor (University Teacher) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2018/02/01 - 2024/01/10 Assistant Professor (University Teacher) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2016/03/01 - 2018/01/31 Invited Assistant Professor (University Teacher) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal

Others

Category
Host institution 		Employer
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
Projects

Contract

Designation Funders
2025/02/01 - Current Efficient model revision of biological regulatory networks
2023.13327.PEX
Principal investigator
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
Ongoing
2023/09/01 - Current Magic Lantern – Study, Safeguard, Uses and Reuses in 19th-Century Portugal
PTDC/ART-PER/1702/2021
10.54499/PTDC/ART-PER/1702/2021
Researcher
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, Spain

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
Ongoing
2022/07/01 - Current Sustainable Stone by Portugal
C644943391-00000051
Researcher
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
 European Union
Ongoing
2022/04/01 - Current NEURASPACE
C626449889-0046305
Researcher
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
 European Union
Ongoing
2024/07/02 - 2025/01/01 REDiscovering madder colours: Science & Art for the preservation and creation of cultural heritage
2022.02909.PTDC
Researcher
Rede de Química e Tecnologia Laboratório Associado para a Química Verde, Portugal
Concluded
2018/10/01 - 2022/09/30 FORGET
PTDC/CCI-INF/32219/2017
Researcher
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
Concluded
2018/08/01 - 2022/07/31 RIVER
PTDC/CCI-COM/30952/2017/
Principal investigator
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
Concluded
2018/07/01 - 2021/06/30 ABSOLV
PTDC/CCI-COM/28986/2017/
Researcher
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
Concluded
2017/04/01 - 2019/03/31 Bridging Theory and Practice: Update Semantics and Multi-shot ASP
FCT/3151/9/3/2017/S
Research Fellow
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
Concluded
2012/03/01 - 2015/08/31 ERRO - Efficient Reasoning with Rules and Ontologies
PTDC/EIA-CCO/121823/2010
Researcher
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
Concluded
2011/11/01 - 2013/07/31 ReDIK - Reasoning with Dynamic Inconsistent Knowledge
FCT/2487/3/6/2011/S
Researcher
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
Concluded
2006/11/01 - 2008/02/29 REWERSE - Reasoning on the Web with Rules and Semantics
506779
PhD Student Fellow
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
 European Commission Sixth Framework Programme
Concluded
2004/04/01 - 2005/02/28 ALAN - Designing an axiomatization language for autonomous agents and mobile robots
TH 541/8-1
Master Student Fellow
Technische Universität Dresden Fakultät Informatik, Germany
 Deutsche Forschungsgemeinschaft
Concluded
Outputs

Publications

Book chapter
  1. Matthias Knorr. "On Combining Ontologies and Rules". In Reasoning Web. Declarative Artificial Intelligence - 17th International Summer School 2021, 22-58. Springer, 2022.
    Published • 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.
    Published • 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.
    Published • 10.1016/b978-0-444-51624-4.50015-0
Conference paper
  1. Saribatur, Zeynep G.; Knorr, Matthias; Gonçalves, Ricardo; Leite, João. "On Abstracting over the Irrelevant in Answer Set Programming". Paper presented in 21th International Conference on Principles of Knowledge Representation and Reasoning (KR), 2024.
    Published • 10.24963/kr.2024/61
  2. Jesse Heyninck; Knorr, Matthias; João Leite. "Abstract Dialectical Frameworks are Boolean Networks". Paper presented in Logic Programming and Nonmonotonic Reasoning (LPNMR 24), 2024.
    Published • 10.1007/978-3-031-74209-5_8
  3. Aleixo, Frederico; Knorr, Matthias; Leite, João. "Revising Boolean Logical Models of Biological Regulatory Networks". Paper presented in 20th International Conference on Principles of Knowledge Representation and Reasoning (KR), 2023.
    Published • 10.24963/kr.2023/2
  4. Matti Berthold; Knorr, Matthias; Daphne Odekerken. "Forgetting Web". Paper presented in 39th International Conference on Logic Programming (ICLP 23) -- Application, System, and Demo Track, 2023.
    Published
  5. Bruno Rodrigues; Knorr, Matthias; Krippahl, Ludwig; Ricardo Gonçalves. "Towards Explaining Actions of Learning Agents". Paper presented in Adaptive and Learning Agents Workshop (ALA 2023), at AAMAS, 2023.
    Published
  6. Matthias Knorr; Carlos Viegas Damásio; Ricardo Gonçalves; João Leite. "Towards Provenance in Heterogeneous Knowledge Bases". Paper presented in Logic Programming and Nonmonotonic Reasoning - 16th International Conference (LPNMR 22), 2022.
    Published • 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)". Paper presented in 38th International Conference on Logic Programming (ICLP 22), 2022.
    Published
  8. Jesse Heyninck; Ricardo Gonçalves; Knorr, Matthias; Leite, Joao. "Tractable Reasoning using Logic Programs with Intensional Concepts (Report)". Paper presented in 38th International Conference on Logic Programming (ICLP 22), 2022.
    Published
  9. Knorr, Matthias; Carlos Viegas Damásio; Ricardo Gonçalves; Leite, Joao. "Modular Provenance in Multi-Context Systems". Paper presented in Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 22), 2022.
    Published
  10. Jesse Heyninck; Ricardo Gonçalves; Matthias Knorr; João Leite. "Tractable Reasoning Using Logic Programs with Intensional Concepts". Paper presented in European Conference on Logics in Artificial Intelligence (JELIA 21), 2021.
    Published • 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". Paper presented in European Conference on Logics in Artificial Intelligence (JELIA 21), 2021.
    Published • 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". Paper presented in EPIA Conference on Artificial Intelligence (EPIA 21), 2021.
    Published • 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". Paper presented in EPIA Conference on Artificial Intelligence (EPIA 21), 2021.
    Published • 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". Paper presented in The Thirty-Third AAAI Conference on Artificial Intelligence (AAAI 19), 2019.
    Published • 10.1609/aaai.v33i01.33012843
  15. Berthold, M.; Gonçalves, R.; Knorr, M.; Leite, J.. "Forgetting in Answer Set Programming with Anonymous Cycles". Paper presented in EPIA Conference on Artificial Intelligence (EPIA 19), 2019.
    Published • 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". Paper presented in Logic Programming and Nonmonotonic Reasoning (LPNMR 19), 2019.
    Published • 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". Paper presented in 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 18), 2018.
    Published
  18. Gonçalves, R.; Knorr, M.; Leite, J.. "Iterative variable elimination in ASP". Paper presented in EPIA Conference on Artificial Intelligence (EPIA 17), 2017.
    Published • 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". Paper presented in Logic Programming and Nonmonotonic Reasoning (LPNMR 17), 2017.
    Published • 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". Paper presented in ECAI 2016 - 22nd European Conference on Artificial Intelligence (ECAI 16), 2016.
    Published • 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". Paper presented in 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 16), 2016.
    Published
  22. Brewka, G.; Ellmauthaler, S.; Gonçalves, R.; Knorr, M.; Leite, J.; Pührer, J.. "Inconsistency management in reactive multi-context systems". Paper presented in European Conference on Logics in Artificial Intelligence (JELIA 16), 2016.
    Published • 10.1007/978-3-319-48758-8_35
  23. Gonçalves, R.; Knorr, M.; Leite, J.. "Forgetting in ASP: The forgotten properties". Paper presented in European Conference on Logics in Artificial Intelligence (JELIA 16), 2016.
    Published • 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". Paper presented in 28th International Workshop on Description Logics (DL 15), 2015.
    Published
  25. Knorr, M.. "Nonmonotonic nominal schemas revisited". Paper presented in 28th International Workshop on Description Logics (DL 15), 2015.
    Published
  26. Costa, N.; Knorr, M.; Leite, J.. "Querying LUBM with non-monotonic features in protégé using NoHR". Paper presented in ISWC 2015 Posters & Demonstrations Track, 2015.
    Published
  27. Kaminski, T.; Knorr, M.; Leite, J.. "Well-founded paraconsistent semantics for hybrid theories composed of rules and ontologies". Paper presented in Joint Ontology Workshops 2015 (JoWo 15), 2015.
    Published
  28. Kaminski, T.; Knorr, M.; Leite, J.. "Efficient paraconsistent reasoning with ontologies and rules". Paper presented in Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 15), 2015.
    Published
  29. Costa, Nuno; Knorr, Matthias; Leite, João. "Extending NoHR for OWL 2 QL". Paper presented in Joint Ontology Workshops 2015 (JoWo 15), 2015.
    Published
  30. Costa, N.; Knorr, M.; Leite, J.. "Next step for NoHR: OWL 2 QL". Paper presented in International Semantic Web Conference (ISWC 15), 2015.
    Published • 10.1007/978-3-319-25007-6_33
  31. Gonçalves, R.; Knorr, M.; Leite, J.. "Minimal change in evolving multi-context systems". Paper presented in EPIA Conference on Artificial Intelligence (EPIA 15), 2015.
    Published • 10.1007/978-3-319-23485-4_62
  32. Ivanov, V.; Knorr, M.; Leite, J.. "Reasoning over ontologies and non-monotonic rules". Paper presented in EPIA Conference on Artificial Intelligence (EPIA 15), 2015.
    Published • 10.1007/978-3-319-23485-4_39
  33. Gonçalves, R.; Knorr, M.; Leite, J.. "Evolving multi-context systems". Paper presented in ECAI 2014 - 21st European Conference on Artificial Intelligence (ECAI 14), 2014.
    Published • 10.3233/978-1-61499-419-0-375
  34. Gonçalves, R.; Knorr, M.; Leite, J.. "Evolving bridge rules in evolving multi-context systems". Paper presented in Computational Logic in Multi-Agent Systems (CLIMA 14), 2014.
    Published • 10.1007/978-3-319-09764-0_4
  35. Knorr, M.; Gonçalves, R.; Leite, J.. "On efficient evolving multi-context systems". Paper presented in Pacific Rim International Conference on Artificial Intelligence (PRICAI 14), 2014.
    Published • 10.1007/978-3-319-13560-1
  36. Knorr, M.; Alferes, J.J.. "Preserving strong equivalence while forgetting". Paper presented in European Conference on Logics in Artificial Intelligence (JELIA 14), 2014.
    Published
  37. Ivanov, V.; Knorr, M.; Leite, J.. "NoHR: Querying EL with non-monotonic rules". Paper presented in ISWC 2013 Posters & Demonstrations Track, 2013.
    Published
  38. Gonçalves, R.; Knorr, M.; Leite, J.; Slota, M.. "Non-monotonic temporal goals". Paper presented in Logic Programming and Nonmonotonic Reasoning (LPNMR 13), 2013.
    Published • 10.1007/978-3-642-40564-8_37
  39. Alferes, J.J.; Knorr, M.; Wang, K.. "Forgetting under the well-founded semantics". Paper presented in Logic Programming and Nonmonotonic Reasoning (LPNMR 13), 2013.
    Published • 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". Paper presented in Computational Logic in Multi-Agent Systems (CLIMA 13), 2013.
    Published • 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". Paper presented in International Semantic Web Conference (ISWC 13), 2013.
    Published • 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". Paper presented in ECAI 2012 - 20th European Conference on Artificial Intelligence (ECAI 12), 2012.
    Published • 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". Paper presented in International Conference on Autonomous Agents and Multiagent Systems (AAMAS 12), 2012.
    Published
  44. Homola, M.; Knorr, M.; Leite, J.; Slota, M.. "MKNF knowledge bases in multi-context systems". Paper presented in Computational Logic in Multi-Agent Systems (CLIMA 12), 2012.
    Published • 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)". Paper presented in Web Reasoning and Rule Systems (RR 12), 2012.
    Published • 10.1007/978-3-642-33203-6_20
  46. Knorr, Matthias; Alferes, José Júlio. "Querying OWL 2 QL and non-monotonic rules". Paper presented in ISWC 2011 - 10th International Semantic Web Conference (ISWC 11), 2011.
    Published • https://doi.org/10.1007/978-3-642-25073-6_22
  47. Knorr, M.; Alferes, J.J.. "Querying in EL+ with nonmonotonic rules". Paper presented in ECAI 2010 - 19th European Conference on Artificial Intelligence (ECAI 10), 2010.
    Published • 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". Paper presented in ISWC 2009, 8th International Semantic Web Conference (ISWC 09), 2009.
    Published • 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". Paper presented in 18th European Conference on Artificial Intelligence (ECAI 08), 2008.
    Published • 10.3233/978-1-58603-891-5-99
  50. Knorr, M.; Hitzler, P.. "A Comparison of Disjunctive Well-founded Semantics". Paper presented in Foundations of Artificial Intelligence (FAInt 07), 2007.
    Published
  51. Knorr, M.; Alferes, J.J.; Hitzler, P.. "Towards tractable local closed world reasoning for the semantic web". Paper presented in 13th Portuguese Conference on Aritficial Intelligence (EPIA 07), 2007.
    Published
  52. Knorr, Matthias; Alferes, José Júlio Alves; Hitzler, Pascal. "A Well-founded Semantics for Hybrid MKNF Knowledge Bases". Paper presented in International Workshop on Description Logics (DL 07), 2007.
    Published
Journal article
  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.
    Published • 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.
    Published • 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.
    Published • 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.
    Published • 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.
    Published • 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.
    Published • 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.
    Published • 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.
    Published • 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.
    Published • https://doi.org/10.1016/j.artint.2011.01.007
Thesis / Dissertation
  1. Knorr, Matthias. "Combining open and closed world reasoning for the semantic web". PhD, 2011. http://hdl.handle.net/10362/6702.

Other

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.
Activities

Oral presentation

Presentation title Event name
Host (Event location)
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)

Supervision

Thesis Title
Role 		Degree Subject (Type)
Institution / Organization
2023 - 2024 Explanations of Neural Networks with Logical Tensor Networks
Supervisor of 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
Supervisor of 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
Supervisor of 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
Co-supervisor of Pedro Micaelo
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2022 - 2024 EZASP - Making Learning Answer Set Programming Eeasier
Supervisor of 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
Supervisor
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
Supervisor of 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
Co-supervisor of Frederico Aleixo
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2021 - 2022 Automatically Selecting Patients for Clinical Trials with Justifications
Supervisor of Tiago Botelho
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2021 - 2022 Empirical Evaluation of Models for Concept Mapping
Co-supervisor of Bruno Rodrigues
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2021 - 2022 Automated Support for Creating Experimental Setups in Material Sciences
Supervisor of Sofia Rocha
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2020 - 2021 NoHR - Incorporating Linked Open Data
Supervisor of Bruno Miguel Martins Castelo
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2019 - 2020 Extensão do NoHR para a Web
Supervisor of 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
Co-supervisor of Rafael Figueiredo
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2016 - 2017 NoHR: Beyond the OWL 2 Profiles
Co-supervisor of Carlos Lopes
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2016 - 2017 NoHR: Integrating Rules and Ontologies with External Data Sets
Co-supervisor of Vedran Kasalica
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2014 - 2015 OWL QL e Regras Não Monóntonas
Co-supervisor of 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
Co-supervisor of Tobias Kaminski
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2013 - 2014 Reactive Hybrid Knowledge Bases
Co-supervisor of Nuno Cruz
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal

Event organisation

Event name
Type of event (Role) 		Institution / Organization
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)
Workshop (Co-organisor)
2017 - 2017 KRR track at EPIA 2017 (2017)
Workshop (Co-organisor)

Committee member

Activity description
Role 		Institution / Organization
2022/11 - Current Scientific Commission of the Master in Computer Science, FCT NOVA
Member
2020/02 - Current Scientific Commission of the Integrated Master in Computer Science, FCT NOVA
Member
2020/02 - 2022/11 Scientific Commission of the 1st Level Degree (Licenciatura) in Computer Science, FCT NOVA
Member

Conference scientific committee

Conference name Conference host
2021 - Current KR
2018 - Current AAAI
2015 - Current 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

Evaluation committee

Activity description
Role 		Institution / Organization Funding entity
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)
Evaluator
 Comisión Nacional de Investigación Científica y Tecnológica Fondo Nacional de Desarrollo Científico y Tecnológico, Chile
Distinctions

Award

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

Other distinction

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