Description:
Presentation of my paper “A Resolution Procedure for Description Logics with Nominal Schemas” and my poster “A Resolution Procedure for Description Logics with Nominal Schemas” at JIST 2012, Nara, Japan, December 2-4, 2012
Date:
12/2012