Order:
  1.  9
    Model-theoretic inseparability and modularity of description logic ontologies.Boris Konev, Carsten Lutz, Dirk Walther & Frank Wolter - 2013 - Artificial Intelligence 203 (C):66-103.
  2.  24
    Max sat approximation beyond the limits of polynomial-time approximation.Evgeny Dantsin, Michael Gavrilovich, Edward A. Hirsch & Boris Konev - 2001 - Annals of Pure and Applied Logic 113 (1-3):81-94.
    We describe approximation algorithms for MAX SAT with performance ratios arbitrarily close to 1, in particular, when performance ratios exceed the limits of polynomial-time approximation. Namely, given a polynomial-time α-approximation algorithm , we construct an -approximation algorithm . The algorithm runs in time of the order ck, where k is the number of clauses in the input formula and c is a constant depending on α. Thus we estimate the cost of improving a performance ratio. Similar constructions for MAX 2SAT (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  3.  16
    Deductive temporal reasoning with constraints.Clare Dixon, Boris Konev, Michael Fisher & Sherly Nietiadi - 2013 - Journal of Applied Logic 11 (1):30-51.
  4.  4
    Computer-aided proof of Erdős discrepancy properties.Boris Konev & Alexei Lisitsa - 2015 - Artificial Intelligence 224 (C):103-118.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  13
    Foreword.Boris Konev, Renate Schmidt & Stephan Schulz - 2006 - Journal of Applied Non-Classical Logics 16 (1-2):7-8.