A Framework of Refutational Theorem Proving for Saturation−Based Decision Procedures by Kazakov, Y

An Extension of Regularity Conditions for Complex Role Inclusion Axioms by Kazakov, Y

A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards. by Kazakov, Y

Combining Resolution Decision Procedures by Kazakov, Y

A Polynomial Translation from the Two−Variable Guarded Fragment with Number Restrictions to the Guarded Fragment. by Kazakov, Y

RIQ and SROIQ are Harder than SHOIQ by Kazakov, Y

An Extension of Complex Role Inclusion Axioms in the Description Logic SROIQ by Kazakov, Y

Saturation−Based Decision Procedures for Extensions of the Guarded Fragment by Kazakov, Y

Consequence−Driven Reasoning for Horn SHIQ Ontologies by Kazakov, Y

Recursive resolution for modal logic by Kazakov, Y

Consequence−Driven Reasoning for Horn SHIQ Ontologies by Kazakov, Y

SRIQ and SROIQ are Harder than SHOIQ by Kazakov, Y

A Resolution−Based Decision Procedure for SHOIQ. by Kazakov, Y, Motik, B

Classifying ELH Ontologies In SQL Databases by Delaitre, V, Kazakov, Y

A Resolution−Based Decision Procedure for SHOIQ by Kazakov, Y, Motik, B

Role Conjunctions in Expressive Description Logics by Glimm, B, Kazakov, Y

A Resolution-Based Decision Procedure for SHOIQ. by Kazakov, Y, Motik, B

A resolution-based decision procedure for SHOIQ by Kazakov, Y, Motik, B

A resolution-based decision procedure for SHOIQ (Journal of Automated Reasoning DOI: 10.1007/s10817-007-9090-1) by Kazakov, Y, Motik, B

Role Conjunctions in Expressive Description Logics by Glimm, B, Kazakov, Y