Boris Konev

Available identifiers

zbMath Open konev.borisMaRDI QIDQ234711

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4558528	2018-11-22	Paper
https://portal.mardi4nfdi.de/entity/Q5282990	2017-07-18	Paper
Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey	2017-03-30	Paper
Computer-aided proof of Erdős discrepancy properties	2015-11-18	Paper
Model-theoretic inseparability and modularity of description logic ontologies	2015-06-26	Paper
A SAT Attack on the Erdős Discrepancy Conjecture	2014-09-26	Paper
Logical Difference Computation with CEX2.5	2012-09-05	Paper
The Logical Difference for the Lightweight Description Logic EL	2012-08-27	Paper
Formal Properties of Modularisation	2009-06-09	Paper
The Logical Difference Problem for Description Logic Terminologies	2008-11-27	Paper
https://portal.mardi4nfdi.de/entity/Q3509059	2008-07-01	Paper
Automated Reasoning	2007-09-25	Paper
On dynamic topological and metric logics	2007-02-13	Paper
Automated Deduction – CADE-20	2006-11-01	Paper
Automated Deduction – CADE-20	2006-11-01	Paper
Solution lifting method for handling meta-variables in TH\(\exists\)OREM\(\forall\)	2006-01-03	Paper
https://portal.mardi4nfdi.de/entity/Q4815318	2004-09-07	Paper
MAX SAT approximation beyond the limits of polynomial-time approximation	2002-03-13	Paper
https://portal.mardi4nfdi.de/entity/Q2751547	2001-10-21	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Boris Konev