Travelled to:1 × Australia
1 × Ireland
1 × Italy
1 × United Kingdom
2 × USA
Collaborated with:∅ I.Pratt-Hartmann B.Motik H.d.Nivelle P.Skocovský M.Krötzsch F.Simancik D.Magka I.Horrocks
Talks about:logic (4) descript (3) resolut (3) procedur (2) complex (2) extens (2) sroiq (2) shoiq (2) guard (2) decis (2)
Person: Yevgeny Kazakov
DBLP: Kazakov:Yevgeny
Contributed to:
2012
2010
20092008200620042018Wrote 8 papers:
- KR-2012-KazakovKS #logic #product line #reasoning
- Practical Reasoning with Nominals in the EL Family of Description Logics (YK, MK, FS).
- IJCAR-2010-Kazakov #axiom #logic
- An Extension of Complex Role Inclusion Axioms in the Description Logic SROIQ (YK), pp. 472–486.
- IJCAR-2010-MagkaKH #data type #logic
- Tractable Extensions of the Description Logic EL with Numerical Datatypes (DM, YK, IH), pp. 61–75.
- LICS-2009-KazakovP #complexity #logic #problem #satisfiability
- A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics (YK, IPH), pp. 407–416.
- KR-2008-Kazakov
- RIQ and SROIQ Are Harder than SHOIQ (YK), pp. 274–284.
- IJCAR-2006-KazakovM
- A Resolution-Based Decision Procedure for SHOIQ (YK, BM), pp. 662–677.
- IJCAR-2004-KazakovN #transitive
- A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards (YK, HdN), pp. 122–136.
- IJCAR-2018-KazakovS #using
- Enumerating Justifications Using Resolution (YK, PS), pp. 609–626.