B. Konev

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Exact learning of lightweight description logic ontologies	2018-11-22	Paper
Exact learning of lightweight description logic ontologies (available as arXiv preprint)	2018-11-22	Paper
Lower and upper approximations for depleting modules of description logic ontologies	2017-07-18	Paper
Inseparability and conservative extensions of description logic ontologies: a survey Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering	2017-03-30	Paper
Computer-aided proof of Erdős discrepancy properties Artificial Intelligence	2015-11-18	Paper
Model-theoretic inseparability and modularity of description logic ontologies Artificial Intelligence	2015-06-26	Paper
A SAT attack on the Erdős discrepancy conjecture Lecture Notes in Computer Science	2014-09-26	Paper
Logical Difference Computation with CEX2.5 Automated Reasoning	2012-09-05	Paper
The logical difference for the lightweight description logic \(\mathcal {EL}\) The Journal of Artificial Intelligence Research (JAIR)	2012-08-27	Paper
Formal Properties of Modularisation Lecture Notes in Computer Science	2009-06-09	Paper
The Logical Difference Problem for Description Logic Terminologies Automated Reasoning	2008-11-27	Paper
scientific article; zbMATH DE number 5295716 (Why is no real title available?)	2008-07-01	Paper
Automated Reasoning Lecture Notes in Computer Science	2007-09-25	Paper
On dynamic topological and metric logics Studia Logica	2007-02-13	Paper
Automated Deduction – CADE-20 Lecture Notes in Computer Science	2006-11-01	Paper
Automated Deduction – CADE-20 Lecture Notes in Computer Science	2006-11-01	Paper
Solution lifting method for handling meta-variables in TH\(\exists\)OREM\(\forall\) Journal of Mathematical Sciences (New York)	2006-01-03	Paper
scientific article; zbMATH DE number 2098736 (Why is no real title available?)	2004-09-07	Paper
MAX SAT approximation beyond the limits of polynomial-time approximation Annals of Pure and Applied Logic	2002-03-13	Paper
Using meta-variables for natural deduction in \textit{Theorema}	2001-10-21	Paper

Research outcomes over time

This page was built for person: B. Konev