Selected Conference and Workshop Publications

Bernardo Cuenca-Grau, Ian Horrocks, Yevgeny Kazakov, and Ulrike Sattler.
Ontology Reuse: Better Safe than Sorry.
In Diego Calvanese, Enriso Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, Sergio Tessaris, and Anny-Yasmin Turhan, editors, Description Logics, pages 41-52, Brixen/Bressanone, Italy, June 8-10 2007. Bozen/Bolzano University Press.
[ BibTeX-Entry | URL | Pdf (181K) ]

Bernardo Cuenca-Grau, Ian Horrocks, Yevgeny Kazakov, and Ulrike Sattler.
Extracting Modules From Ontologies: A Logic-based Approach.
In Christine Golbreich, Aditya Kalyanpur, and Bijan Parsia, editors, OWL: Experiences and Directions 2007 (OWLED 2007), Innsbruck, Austria, June 6-7 2007.
[ BibTeX-Entry | URL | Pdf (168K) ]

Bernardo Cuenca-Grau, Ian Horrocks, Yevgeny Kazakov, and Ulrike Sattler.
Just the Right Amount: Extracting Modules from Ontologies.
In WWW, pages 717-726, Banff, Canada, may 2007. ACM.
[ BibTeX-Entry | URL | Pdf (379K) | Abstract ]

Bernardo Cuenca-Grau, Ian Horrocks, Yevgeny Kazakov, and Ulrike Sattler.
A Logical Framework for Modularity of Ontologies.
In Manuela M. Veloso, editor, IJCAI, pages 298-303, 2007.
[ BibTeX-Entry | Pdf | Pdf (131K) | Abstract ]

Yevgeny Kazakov and Boris Motik.
A Resolution-Based Decision Procedure for SHOIQ.
In Ulrich Furbach and Natarajan Shankar, editors, IJCAR, volume 4130 of Lecture Notes in Computer Science, pages 662-677. Springer, 2006.
[ BibTeX-Entry | URL | Pdf (230K) | Abstract ]

Yevgeny Kazakov.
A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment.
In José Júlio Alferes and Joao Alexandre Leite, editors, JELIA, volume 3229 of Lecture Notes in Computer Science, pages 372-384. Springer, 2004.
[ BibTeX-Entry | URL | PostScript [g-zip'd] (108K) | Pdf (202K) | Abstract ]

Yevgeny Kazakov and Hans de Nivelle.
A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards.
In David A. Basin and Michaël Rusinowitch, editors, IJCAR, volume 3097 of Lecture Notes in Computer Science, pages 122-136. Springer, 2004.
[ BibTeX-Entry | URL | PostScript [g-zip'd] (97K) | Pdf (224K) | Abstract ]

Yevgeny Kazakov.
A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards.
In Ulrike Sattler, editor, IJCAR Doctoral Programme, volume 106 of CEUR Workshop Proceedings, 2004.
[ BibTeX-Entry | Abstract ]

Yevgeny Kazakov and Hans de Nivelle.
Subsumption of Concepts in FL₀ for (Cyclic) Terminologies with Respect to Descriptive Semantics is PSPACE-complete.
In Diego Calvanese, Giuseppe De Giacomo, and Enrico Franconi, editors, Description Logics, volume 81 of CEUR Workshop Proceedings, 2003.
[ BibTeX-Entry | PostScript [g-zip'd] (83K) | Pdf (153K) | Abstract ]

Yevgeny Kazakov.
Recursive resolution for modal logic.
In Witold Charatonik and Harald Ganzinger, editors, Proceedings of the Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi, volume MPI-I-2002-2-007 of MPI Research Report, pages 11-15, Saarbrücken, Germany, March 2002. International Max Planck Research School for Computer Science (IMPRS), Max-Planck-Institut für Informatik.
[ BibTeX-Entry | PostScript [g-zip'd] (47K) | Abstract ]

Selected Technical Reports

Bernardo Cuenca-Grau, Ian Horrocks, Yevgeny Kazakov, and Ulrike Sattler.
Extracting Modules from Ontologies: Theory and Practice.
Research report, The University of Manchester, Oxford Road, Manchester M13 9PL, UK, February 2007.
[ BibTeX-Entry | Pdf (329K) | Abstract ]

Yevgeny Kazakov and Hans de Nivelle.
Resolution Decision Procedures for the Guarded Fragment with Transitive Guards.
Research Report MPI-I-2004-2-001, Max-Planck-Institut für Informatik, Stuhlsatzenhausweg 85, 66123 Saarbrücken, Germany, April 2004.
[ BibTeX-Entry | PostScript [g-zip'd] (248K) | Pdf (269K) | Abstract ]

Yevgeny Kazakov and Hans de Nivelle.
Subsumption of concepts in DL FL₀ for (cyclic) terminologies with respect to descriptive semantics is PSPACE-complete.
Research Report MPI-I-2003-2-003, Max-Planck-Institut für Informatik, Stuhlsatzenhausweg 85, 66123 Saarbrücken, Germany, April 2003.
[ BibTeX-Entry | PostScript [g-zip'd] (137K) | Pdf (133K) | Abstract ]

S. Artemov, E. Kazakov, and D. Shapiro.
On logic of knowledge with justifications.
Technical Report CFIS 99-12, Cornell University, 1999.
[ BibTeX-Entry | PostScript [g-zip'd] (64K) ]

Drafts / To Appear

Yevgeny Kazakov.
A Framework of Refutational Theorem Proving for Saturation-Based Decision Procedures.
Research Report MPI-I-2005-2-004, Max-Planck-Institut für Informatik, on revison, August 2005.
[ BibTeX-Entry | Pdf (1M) | Abstract ]

Yevgeny Kazakov.
Combining Resolution Decision Procedures.
unpublished manuscript, available from http://www.cs.man.ac.uk/~ykazakov/publications/, 2004.
[ BibTeX-Entry | PostScript [g-zip'd] (118K) | Pdf (253K) | Abstract ]

Theses

Yevgeny Kazakov.
Saturation-Based Decision Procedures for Extensions of the Guarded Fragment.
PhD thesis, Universität des Saarlandes, Saarbrücken, Germany, March 2006.
[ BibTeX-Entry | Pdf (2M) | Abstract ]