Research output

Research output per year 2007 2013 2014 2015 2016 2023

• 45 Conference contribution
• 9 Article
• 3 Conference article
• 2 Chapter
• 2 More
  • 2 Abstract

Research output per year

Research output per year

Search results

• 2018

  Automated Reasoning

  Knorr, M., 2018, Encyclopedia of Social Network Analysis and Mining. Alhajj, R. & Rokne, J. G. (eds.). 2nd ed. New York: Springer

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
• 2014

  Description Logics

  Knorr, M. & Hitzler, P., 2014, Handbook of the History of Logic: Computational Logic. Gabbay, D. M., Woods, J. & Siekmann, J. H. (eds.). Elsevier, Vol. 9C. p. 659-678 20 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review