Boris Konev

Forgetting and uniform interpolation in large-scale description logic terminologies

Boris Konev, Dirk Walther, Frank Wolter · 2009 · 95 citations

Model-theoretic inseparability and modularity of description logic ontologies

Boris Konev, Carsten Lutz, Dirk Walther et al. · Artificial Intelligence · 2013 · 85 citations

Engineering, Automated Reasoning, Description Logic Ontologies +7

Monodic temporal resolution

Michael Fisher, Boris Konev · ACM Transactions on Computational Logic · 2006 · 50 citations

Engineering, Verification, Higher-order Logic +16

MAX SAT approximation beyond the limits of polynomial-time approximation

Evgeny Dantsin, Michael Gavrilovich, Edward Hirsch et al. · Annals of Pure and Applied Logic · 2001 · 47 citations

Engineering, Max Sat Approximation, Sat Solving +5

Decomposing description logic ontologies

Boris Konev, Carsten Lutz, Denis Ponomaryov et al. · 2010 · 43 citations

Ontology (Information Science), Engineering, Description Logic Ontologies +17