BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Kazakov:Yevgeny

Contributed to:

KR 20122012
IJCAR 20102010
LICS 20092009
KR 20082008
IJCAR 20062006
IJCAR 20042004
IJCAR 20182018

Wrote 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.
RIQ and SROIQ Are Harder than SHOIQ (YK), pp. 274–284.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.