Book Chapters

  • Automated reasoning. M. Knorr. In R. Alhajj and J. Rokne (eds.) Encyclopedia of Social Network Analysis and Mining, Springer, 2018. In press.
  • 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