The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Boris Konev: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Boris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev
    Dynamic topological logics over spaces with continuous functions. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2006, pp:299-318 [Conf]
  2. Anatoli Degtyarev, Michael Fisher, Boris Konev
    Monodic Temporal Resolution. [Citation Graph (0, 0)][DBLP]
    CADE, 2003, pp:397-411 [Conf]
  3. Ullrich Hustadt, Boris Konev
    TRP++2.0: A Temporal Resolution Prover. [Citation Graph (0, 0)][DBLP]
    CADE, 2003, pp:274-278 [Conf]
  4. Ullrich Hustadt, Boris Konev, Alexandre Riazanov, Andrei Voronkov
    TeMP: A Temporal Monodic Prover. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:326-330 [Conf]
  5. Ullrich Hustadt, Boris Konev, Renate A. Schmidt
    Deciding Monodic Fragments by Temporal Resolution. [Citation Graph (0, 0)][DBLP]
    CADE, 2005, pp:204-218 [Conf]
  6. Boris Konev, Frank Wolter, Michael Zakharyaschev
    Temporal Logics over Transitive States. [Citation Graph (0, 0)][DBLP]
    CADE, 2005, pp:182-203 [Conf]
  7. Clare Dixon, Michael Fisher, Boris Konev
    Tractable Temporal Reasoning. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:318-323 [Conf]
  8. Alexander V. Lyaletski, Boris Konev
    On Herbrand's Theorem for Intuitionistic Logic. [Citation Graph (0, 0)][DBLP]
    JELIA, 2006, pp:293-305 [Conf]
  9. Boris Konev, Anatoli Degtyarev, Michael Fisher
    Handling Equality in Monodic Temporal Resolution. [Citation Graph (0, 0)][DBLP]
    LPAR, 2003, pp:214-228 [Conf]
  10. Anatoli Degtyarev, Michael Fisher, Boris Konev
    A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2002, pp:85-99 [Conf]
  11. Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt
    Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case. [Citation Graph (0, 0)][DBLP]
    TIME, 2003, pp:72-82 [Conf]
  12. Clare Dixon, Michael Fisher, Boris Konev
    Is There a Future for Deductive Temporal Verification? [Citation Graph (0, 0)][DBLP]
    TIME, 2006, pp:11-18 [Conf]
  13. Michael Fisher, Boris Konev, Alexei Lisitsa
    Practical Infinite-State Verification with Temporal Reasoning. [Citation Graph (0, 0)][DBLP]
    VISSAS, 2005, pp:91-100 [Conf]
  14. Evgeny Dantsin, Michael Gavrilovich, Edward A. Hirsch, Boris Konev
    MAX SAT approximation beyond the limits of polynomial-time approximation. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2001, v:113, n:1-3, pp:81-94 [Journal]
  15. Anatoli Degtyarev, Michael Fisher, Boris Konev
    Monodic temporal resolution [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  16. Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt
    Mechanising first-order temporal resolution. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2005, v:199, n:1-2, pp:55-86 [Journal]
  17. M. Carmen Fernández Gago, Ullrich Hustadt, Clare Dixon, Michael Fisher, Boris Konev
    First-Order Temporal Verification in Practice. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2005, v:34, n:3, pp:295-321 [Journal]
  18. Anatoli Degtyarev, Michael Fisher, Boris Konev
    Monodic temporal resolution. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2006, v:7, n:1, pp:108-150 [Journal]
  19. Clare Dixon, Michael Fisher, Boris Konev
    Temporal Logic with Capacity Constraints. [Citation Graph (0, 0)][DBLP]
    FroCos, 2007, pp:163-177 [Conf]
  20. Clare Dixon, Michael Fisher, Boris Konev, Alexei Lisitsa
    Efficient First-Order Temporal Logic for Infinite-State Systems [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]

  21. The Logical Difference Problem for Description Logic Terminologies. [Citation Graph (, )][DBLP]


  22. Logical Difference and Module Extraction with CEX and MEX. [Citation Graph (, )][DBLP]


  23. Forgetting and Uniform Interpolation in Extensions of the Description Logic EL. [Citation Graph (, )][DBLP]


  24. Semantic Modularity and Module Extraction in Description Logics. [Citation Graph (, )][DBLP]


  25. Taming the Complexity of Temporal Epistemic Reasoning. [Citation Graph (, )][DBLP]


  26. Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies. [Citation Graph (, )][DBLP]


  27. Decomposing Description Logic Ontologies. [Citation Graph (, )][DBLP]


  28. Practical First-Order Temporal Reasoning. [Citation Graph (, )][DBLP]


  29. Special issue on practical aspects of automated reasoning. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002