Automated Forgetting and Uniform Interpolation for Description Logics

Activity: Talk or presentation › Invited talk › Research

Period23 Sept 2017
Event title12th Workshop on Logical and Semantic Frameworks with Applications
Event typeWorkshop
LocationBrasilia, BrazilShow on map
Degree of RecognitionInternational