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
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