- TRP ++ : A temporal resolution prover ? Ullrich Hustadt and Boris Konev ??
- Solution Lifting Method for Handling Meta-Variables in TH9OREM8
- the editors Paper submitted to Advances in Modal Logic 2006
- Information and Computation 199 (2005) 5586 www.elsevier.com/locate/ic
- Forgetting and uniform interpolation in extensions of the description logic EL
- Forgetting and uniform interpolation in large-scale description logic terminologies Boris Konev, Dirk Walther, Frank Wolter
- Practical First-Order Temporal Reasoning Clare Dixon, Michael Fisher, Boris Konev and Alexei Lisitsa
- The Logical Difference Problem for Description Logic Terminologies
- Is There a Future for Deductive Temporal Verification? Clare Dixon, Michael Fisher and Boris Konev
- On Herbrand's Theorem for Intuitionistic Logic Alexander Lyaletski1 and Boris Konev2
- On dynamic topological and metric logics B. Konev1, R. Kontchakov2, F. Wolter1, and M. Zakharyaschev2
- Temporal Verification of Fault-Tolerant Protocols Michael Fisher, Boris Konev, and Alexei Lisitsa
- Conjunctive Query Inseparability of OWL 2 QL TBoxes R. Kontchakov,2
- Temporal logics over transitive states Boris Konev 1 , Frank Wolter 1 and Michael Zakharyaschev 2
- Handling Equality in Monodic Temporal Resolution Boris Konev 1? , Anatoli Degtyarev 2 , and Michael Fisher 1
- Decomposing Description Logic Ontologies Boris Konev
- Monodic Temporal Resolution Anatoly Degtyarev 2 , Michael Fisher 1 , and Boris Konev 1?
