Anti-Unification in Description Logic EL

Activity: Talk or presentation › Invited talk › science-to-science

Period07 Dec 2017
Event titleInternational Conference on Applications of Mathematics and Informatics in Natural Sciences and Engineering, dedicated to the 80th Birthday of David Gordeziani, AMINSE 2017
Event typeConference
LocationGeorgiaShow on map

Fields of science

  • 101013 Mathematical logic
  • 101001 Algebra
  • 101012 Combinatorics
  • 101020 Technical mathematics
  • 101 Mathematics
  • 101009 Geometry
  • 101005 Computer algebra

JKU Focus areas

  • Computation in Informatics and Mathematics