Publications

Book Chapters

  • On Combining Ontologies and Rules. M. Knorr. In M. Simkus and I. Varzinczak (eds.) ReasoningWeb, Declarative Artificial Intelligence – 17th International Summer School 2021, Tutorial Lectures, 22-58, vol. 13100 of LNCS, Springer, 2022
  • Automated reasoning. M. Knorr. In R. Alhajj and J. Rokne (eds.) Encyclopedia of Social Network Analysis and Mining (2nd Ed.), Springer, 2018.
  • Description logics. M. Knorr and P. Hitzler, In D. M. Gabbay, J. H. Siekmann and J. Woods (eds.) Computational Logic, Vol. 9 of the Handbook of the History of Logic, Elsevier, 2014, 659-678. ISBN 13: 978-0-444-51624-4

Journals

Conferences

Workshops

Dissertations

Projects
  • NEURASPACE (C626449889-0046305) - since April 2022
  • Sustainable Stone by Portugal (C644943391-00000051) - since April 2022
  • FORGET (PTDC/CCI-INF/32219/2017) - October 2018 - September 2022
  • DigForASP (COST Action 17124) - September 2018 - August 2020
  • RIVER (PTDC/CCI-INF/30952/2017) (as Principal Investigator) - August 2018 - July 2022
  • ABSOLV (028986/02/SAICT/2017)- July 2018 - June 2021
  • Bridging Theory and Practise: Update Semantics and Multi-shot ASP (FCT/3151/9/3/2017/S) - April 2017 - March 2019
  • ERRO (PTDC/EIA-CCO/121823/2010) - March 2012 - August 2015
  • ReDIK (FCT/2487/3/6/2011/S) - April 2011 - March 2013
  • REWERSE (NoE under FP6 - 506779) - March 2004 - February 2008

Events
  • Co-chair of the KRR track at EPIA 2022, Lisbon, 2021 (together with Pedro Cabalar, Eduardo Fermé, Ricardo Gonçalves, and Rafael Peñaloza)
  • Co-chair of the KRR track at EPIA 2021, virtual event, 2021 (together with Pedro Cabalar, Eduardo Fermé, Ricardo Gonçalves, and Rafael Peñaloza)
  • Co-chair of the KRR track at EPIA 2019, Vila Real, 2019 (together with Eduardo Fermé, Ricardo Gonçalves, Rafael Peñaloza, and Jörg Pührer)
  • Co-chair of the KRR track at EPIA 2017, Porto, 2017 (together with Ricardo Gonçalves, Minh Dao-Tran, and Jörg Pührer)

Software
Prizes