Barbara Morawska
Associate Professor
School of Engineering and Applied Sciences
Ahmedabad University, Ahmedabad
India
Biography
I am working on unification problems in small description logics. This means that I analyze different formulae with respect to the equivalence defined in such logics. Even if they are different maybe they can be made equivalent by means of substitution for variable parts in them. Talk: Logic for Knowledge Representation - Feb 17 - Friday - 2.00pm - Room 109
Research Interest
Unification theory, Description Logics, Ontologies, Algorithms, Complexity analysis
