Travelled to:
1 × Italy
Collaborated with:
Y.Kazakov M.Krötzsch
Talks about:
descript (1) practic (1) reason (1) famili (1) nomin (1) logic (1)
Person: Frantisek Simancik
DBLP: Simancik:Frantisek
Contributed to:
Wrote 1 papers:
- KR-2012-KazakovKS #logic #product line #reasoning
- Practical Reasoning with Nominals in the EL Family of Description Logics (YK, MK, FS).