Database Entry Point
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Publications Master Template, generated: 12:47, 22 October 2019

Search the publication database

  . Return

Your search returned the following 6 documents:

  1. Yevgeny Kazakov
    Saturation-Based Decision Procedures For Extensions Of The Guarded Fragment
    Doctoral dissertation, Universität des Saarlandes, 2006. Note: Magna Cum Laude
    [PDF: Download: YevgenyThesis.pdf]
  2. Yevgeny Kazakov
    A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment
    In: Logics in artificial intelligence : 9th European Conference, JELIA 2004, Lisbon, Portugal, 2004, 372-384
    [PDF: Download: Kaz04GF2N.pdf]
  3. Yevgeny Kazakov and Hans de Nivelle
    A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards
    In: Automated reasoning : Second International Joint Conference, IJCAR 2004, Cork, County Cork, Ireland, 2004, 122-136
  4. Hans de Nivelle and Yevgeny Kazakov
    Resolution Decision Procedures for the Guarded Fragment with Transitive Guards
    Max-Planck-Institut für Informatik, Stuhlsatzenhausweg 85, MPI-I-2004-2-001, Research Report
    [PDF: Download: MPI-I-2004-2-001.pdf]
  5. Yevgeny Kazakov
    Recursive resolution for modal logic
    In: Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi, Saarbrücken, Germany, 2002, 11-15
    [Download: RecResML.dvi]
  6. Yevgeny Kazakov and Hans de Nivelle
    Subsumption of Concepts in $FL_0$ for (Cyclic) Terminologies with Respect to Descriptive Semantics is PSPACE-complete
    In: 2003 International Workshop on Description Logics (DL-03), Rome, Italy, September 5-7, 2003, 2003, 56-64
    [PDF: Download: SubDL.pdf]