Travelled to:1 × Italy
Collaborated with:C.Lutz F.Wolter
Talks about:interpol (1) descript (1) automata (1) approxim (1) approach (1) uniform (1) theoret (1) logic (1)
Person: Inanç Seylan
DBLP: Seylan:Inan=ccedil=
Contributed to:
2012Wrote 1 papers:
- KR-2012-LutzSW #approach #approximate #logic
- An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL (CL, IS, FW).