Boris Konev

Identifiers

• name variant Boris Konev 0.60 · backfill

Papers (7)

1. Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey cs.AI · 2018 · author #2
2. Exact Learning of Lightweight Description Logic Ontologies cs.LG · 2017 · author #1
3. Computer-Aided Proof of Erdos Discrepancy Properties cs.DM · 2014 · author #1
4. A SAT Attack on the Erdos Discrepancy Conjecture cs.DM · 2014 · author #1
5. The Logical Difference for the Lightweight Description Logic EL cs.LO · 2014 · author #1
6. Efficient First-Order Temporal Logic for Infinite-State Systems cs.LO · 2007 · author #3
7. Monodic temporal resolution cs.LO · 2003 · author #3

Mentions

• 1405.3097 #1 · backfill · confidence 0.70 Boris Konev
• 1402.2184 #1 · backfill · confidence 0.70 Boris Konev
• 1401.5850 #1 · backfill · confidence 0.70 Boris Konev

Frequent Coauthors

• Alexei Lisitsa 3 shared papers
• Frank Wolter 3 shared papers
• Carsten Lutz 2 shared papers
• Michael Fisher 2 shared papers
• Ana Ozaki 1 shared papers
• Anatoly Degtyarev 1 shared papers
• Clare Dixon 1 shared papers
• Dirk Walther 1 shared papers
• Elena Botoeva 1 shared papers
• Michael Zakharyaschev 1 shared papers
• Michel Ludwig 1 shared papers
• Vladislav Ryzhikov 1 shared papers