Publications

Selected publications

The Logical Difference for the Lightweight Description Logic EL (Journal article - 2014)
Semantic Modularity and Module Extraction in Description Logics (Journal article - 2013)
Computer-aided proof of Erdős discrepancy properties (Journal article - 2015)

Filter publications

What type of publication do you want to show?

All

Journals

Conference papers

Chapters

Books

Other

2023

Reverse Engineering of Temporal Queries Mediated by LTL Ontologies

: Preprint

Reverse Engineering of Temporal Queries Mediated by LTL Ontologies

Fortin, M., Konev, B., Ryzhikov, V., Savateev, Y., Wolter, F., & Zakharyaschev, M. (2023). Reverse Engineering of Temporal Queries Mediated by LTL Ontologies. In Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence (pp. 3230-3238). International Joint Conferences on Artificial Intelligence Organization. doi:10.24963/ijcai.2023/360

DOI: 10.24963/ijcai.2023/360
: Conference Paper

Reverse Engineering of Temporal Queries Mediated by LTL Ontologies.

Fortin, M., Konev, B., Ryzhikov, V., Savateev, Y., Wolter, F., & Zakharyaschev, M. (2023). Reverse Engineering of Temporal Queries Mediated by LTL Ontologies.. In IJCAI (pp. 3230-3238).

: Conference Paper

Towards a methodology for the semi-automatic generation of scientific knowledge graphs from XML documents

Hannah, G., Payne, T. R., Tamma, V., Mitchell, A., Piercy, E., & Konev, B. (2023). Towards a methodology for the semi-automatic generation of scientific knowledge graphs from XML documents. In CEUR Workshop Proceedings Vol. 3591 (pp. 85-90).

: Conference Paper

Zero Update Encryption Adjustment on Encrypted Database Queries

Almarwani, M., Konev, B., & Lisitsa, A. (2023). Zero Update Encryption Adjustment on Encrypted Database Queries. In Unknown Conference (pp. 25-47). Springer Nature Switzerland. doi:10.1007/978-3-031-37807-2_2

DOI: 10.1007/978-3-031-37807-2_2
: Conference Paper

2022

Data Querying with Ciphertext Policy Attribute Based Encryption

: Preprint

Unique Characterisability and Learnability of Temporal Instance Queries

: Preprint

Interpolants and Explicit Definitions in Extensions of the Description Logic EL

: Preprint

Data Querying with Ciphertext Policy Attribute Based Encryption.

: Preprint

Efficient and Secure Encryption Adjustment for JSON Data

Almarwani, M., Konev, B., & Lisitsa, A. (2021). Efficient and Secure Encryption Adjustment for JSON Data. In PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON INFORMATION SYSTEMS SECURITY AND PRIVACY (ICISSP) (pp. 307-313). doi:10.5220/0010791300003120

DOI: 10.5220/0010791300003120
: Conference Paper

Interpolants and Explicit Definitions in Extensions of the Description Logic EL

Fortin, M., Konev, B., & Wolter, F. (2022). Interpolants and Explicit Definitions in Extensions of the Description Logic EL. In Proceedings of the Nineteenth International Conference on Principles of Knowledge Representation and Reasoning (pp. 152-162). International Joint Conferences on Artificial Intelligence Organization. doi:10.24963/kr.2022/16

DOI: 10.24963/kr.2022/16
: Conference Paper

Interpolants and Explicit Definitions in Extensions of the Description Logic EL.

Fortin, M., Konev, B., & Wolter, F. (2022). Interpolants and Explicit Definitions in Extensions of the Description Logic EL.. In G. Kern-Isberner, G. Lakemeyer, & T. Meyer (Eds.), KR. Retrieved from https://doi.org/10.24963/kr.2022

: Conference Paper

Preface

Konev, B., Schon, C., & Steen, A. (2022). Preface. In CEUR Workshop Proceedings Vol. 3201.

: Conference Paper

Proceedings of the Workshop on Practical Aspects of Automated Reasoning Co-located with the 11th International Joint Conference on Automated Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11 - 12, 2022.

Konev, B., Schon, C., & Steen, A. (Eds.) (2022). Proceedings of the Workshop on Practical Aspects of Automated Reasoning Co-located with the 11th International Joint Conference on Automated Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11 - 12, 2022.. In PAAR Vol. 3201. CEUR-WS.org.

: Conference Paper

Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps

: Conference Paper

Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps (Extended Abstract).

Fortin, M., Konev, B., Ryzhikov, V., Savateev, Y., Wolter, F., & Zakharyaschev, M. (2022). Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps (Extended Abstract).. In O. Arieli, M. Homola, J. C. Jung, & M. -L. Mugnier (Eds.), Description Logics Vol. 3263. CEUR-WS.org. Retrieved from http://ceur-ws.org/Vol-3263

: Conference Paper

Unique Characterisability and Learnability of Temporal Instance Queries

Fortin, M., Konev, B., Ryzhikov, V., Savateev, Y., Wolter, F., & Zakharyaschev, M. (2022). Unique Characterisability and Learnability of Temporal Instance Queries. In Proceedings of the Nineteenth International Conference on Principles of Knowledge Representation and Reasoning (pp. 163-173). International Joint Conferences on Artificial Intelligence Organization. doi:10.24963/kr.2022/17

DOI: 10.24963/kr.2022/17
: Conference Paper

Unique Characterisability and Learnability of Temporal Instance Queries.

: Preprint

2021

Interpolants and Explicit Definitions in Horn Description Logics (Extended Abstract).

Fortin, M., Konev, B., & Wolter, F. (2021). Interpolants and Explicit Definitions in Horn Description Logics (Extended Abstract).. In M. Homola, V. Ryzhikov, & R. A. Schmidt (Eds.), Description Logics Vol. 2954. CEUR-WS.org. Retrieved from http://ceur-ws.org/Vol-2954

: Conference Paper

Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings

Konev, B., & Reger, G. (Eds.) (2021). Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings. In FroCoS Vol. 12941. Springer.

: Conference Paper

Preface

Konev, B., & Reger, G. (2021). Preface (Vol. 12941 LNAI).

: Book

Release-aware In-out Encryption Adjustment in MongoDB Query Processing

Almarwani, M., Konev, B., & Lisitsa, A. (2021). Release-aware In-out Encryption Adjustment in MongoDB Query Processing. In ICISSP: PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON INFORMATION SYSTEMS SECURITY AND PRIVACY (pp. 714-722). doi:10.5220/0010395007140722

DOI: 10.5220/0010395007140722
: Conference Paper

2020

Release-Aware Encryption Adjustment Query processing for Document Database

Almarwani, M., Konev, B., & Lisitsa, A. (2020). Release-Aware Encryption Adjustment Query processing for Document Database. In Proceedings of the 2020 4th International Conference on Cloud and Big Data Computing (pp. 48-51). ACM. doi:10.1145/3416921.3416933

DOI: 10.1145/3416921.3416933
: Conference Paper

Fine-Grained Access Control for Querying Over Encrypted Document-Oriented Database

Almarwani, M., Konev, B., & Lisitsa, A. (2020). Fine-Grained Access Control for Querying Over Encrypted Document-Oriented Database. In Unknown Conference (pp. 403-425). Springer International Publishing. doi:10.1007/978-3-030-49443-8_19

DOI: 10.1007/978-3-030-49443-8_19
: Conference Paper

2019

Flexible Access Control and Confidentiality over Encrypted Data for Document-based Database

Almarwani, M., Konev, B., & Lisitsa, A. (2019). Flexible Access Control and Confidentiality over Encrypted Data for Document-based Database. In PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON INFORMATION SYSTEMS SECURITY AND PRIVACY (ICISSP) (pp. 606-614). doi:10.5220/0007582506060614

DOI: 10.5220/0007582506060614
: Conference Paper

Ontology Learning from Twitter Data

Alajlan, S., Coenen, F., Konev, B., & Mandya, A. (2019). Ontology Learning from Twitter Data. In KEOD: PROCEEDINGS OF THE 11TH INTERNATIONAL JOINT CONFERENCE ON KNOWLEDGE DISCOVERY, KNOWLEDGE ENGINEERING AND KNOWLEDGE MANAGEMENT - VOL 2: KEOD (pp. 94-103). doi:10.5220/0008067600940103

DOI: 10.5220/0008067600940103
: Conference Paper

2018

Exact Learning of Lightweight Description Logic Ontologies.

Konev, B., Lutz, C., Ozaki, A., & Wolter, F. (2018). Exact Learning of Lightweight Description Logic Ontologies. Journal of Machine Learning Research, 18(201), 1-63. Retrieved from http://www.jmlr.org/papers/v18/16-256.html

: Journal article

Exact Learning of Lightweight Description Logic Ontologies.

Konev, B., Lutz, C., Ozaki, A., & Wolter, F. (2018). Exact Learning of Lightweight Description Logic Ontologies.. Journal of Machine Learning Research, 18, 201:1.

: Journal article

Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey

DOI: 10.48550/arxiv.1804.07805
: Preprint

Inseparability and conservative extensions of description logic ontologies: A survey

Botoeva, E., Konev, B., Lutz, C., Ryzhikov, V., Wolter, F., & Zakharyaschev, M. (2018). Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. Retrieved from http://dx.doi.org/10.1007/978-3-319-49493-7_2

DOI: 10.1007/978-3-319-49493-7_2
: Conference Paper

Exact Learning of Light weight Description Logic Ontologies

Konev, B., Lutz, C., Ozaki, A., & Wolter, F. (2018). Exact Learning of Light weight Description Logic Ontologies. JOURNAL OF MACHINE LEARNING RESEARCH, 18. Retrieved from http://gateway.webofknowledge.com/

: Journal article

Exact learning of EL ontologies

Duarte, R., Konev, B., & Ozaki, A. (2018). Exact learning of EL ontologies. In CEUR Workshop Proceedings Vol. 2211.

: Conference Paper

ExactLearner: A Tool for Exact Learning of εL Ontologies

Duarte, R., Konev, B., & Ozaki, A. (2018). ExactLearner: A Tool for Exact Learning of εL Ontologies. In SIXTEENTH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING (pp. 409-413). Retrieved from https://www.webofscience.com/

: Conference Paper

Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey.

Botoeva, E., Konev, B., Lutz, C., Ryzhikov, V., Wolter, F., & Zakharyaschev, M. (2018). Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey.. CoRR, abs/1804.07805.

: Journal article

Preface

Konev, B., Urban, J., & Rummer, P. (2018). Preface. In CEUR Workshop Proceedings Vol. 2162 (pp. ii-iii).

: Conference Paper

Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning co-located with Federated Logic Conference 2018 (FLoC 2018), Oxford, UK, July 19th, 2018.

Konev, B., Urban, J., & Rümmer, P. (Eds.) (2018). Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning co-located with Federated Logic Conference 2018 (FLoC 2018), Oxford, UK, July 19th, 2018.. In PAAR@FLoC Vol. 2162. CEUR-WS.org.

: Conference Paper

2017

Exact Learning of Lightweight Description Logic Ontologies

DOI: 10.48550/arxiv.1709.07314
: Preprint

2016

Conservative Rewritability of Description Logic TBoxes

Konev, B., Lutz, C., Wolter, F., & Zakharyaschev, M. (2016). Conservative Rewritability of Description Logic TBoxes. In IJCAI/AAAI Press (pp. 1153-1159). New York.

: Conference Paper

A Model for Learning Description Logic Ontologies Based on Exact Learning

Konev, B., Ozaki, A., & Wolter, F. (2016). A Model for Learning Description Logic Ontologies Based on Exact Learning. In THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE (pp. 1008-1015). Retrieved from https://www.webofscience.com/

: Conference Paper

Anti-Unification of Concepts in Description Logic EL

Konev, B., & Kutsia, T. (2016). Anti-Unification of Concepts in Description Logic EL. In FIFTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING (pp. 227-236). Retrieved from https://www.webofscience.com/

: Conference Paper

IWIL@LPAR 2015, 11th International Workshop on the Implementation of Logics, Suva, Fiji, November 23, 2015

Konev, B., Schulz, S., & Simon, L. (Eds.) (2016). IWIL@LPAR 2015, 11th International Workshop on the Implementation of Logics, Suva, Fiji, November 23, 2015. In IWIL@LPAR Vol. 40. EasyChair.

: Conference Paper

2015

Scalable Distributed Collaborative Tracking and Mapping with Micro Aerial Vehicles

Williams, R., Konev, B., & Coenen, F. (2015). Scalable Distributed Collaborative Tracking and Mapping with Micro Aerial Vehicles. In 2015 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS) (pp. 3092-3097). Retrieved from https://www.webofscience.com/

: Conference Paper

Computer-aided proof of Erdős discrepancy properties

Konev, B., & Lisitsa, A. (2015). Computer-aided proof of Erdős discrepancy properties. Artificial Intelligence, 224, 103-118. doi:10.1016/j.artint.2015.03.004

DOI: 10.1016/j.artint.2015.03.004
: Journal article

4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR 2014, Vienna, Austria, 2014

Schulz, S., Moura, L. D., & Konev, B. (Eds.) (2015). 4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR 2014, Vienna, Austria, 2014. In PAAR@IJCAR Vol. 31. EasyChair.

: Conference Paper

Collaborating Low Cost Micro Aerial Vehicles: A Demonstration

Williams, R., Konev, B., & Coenen, F. (2015). Collaborating Low Cost Micro Aerial Vehicles: A Demonstration. TOWARDS AUTONOMOUS ROBOTIC SYSTEMS (TAROS 2015), 9287, 296-302. doi:10.1007/978-3-319-22416-9_33

DOI: 10.1007/978-3-319-22416-9_33
: Journal article

Conservative rewritability of description logic TBoxes: First results

Konev, B., Lutz, C., Wolter, F., & Zakharyaschev, M. (2015). Conservative rewritability of description logic TBoxes: First results. In CEUR Workshop Proceedings Vol. 1350.

: Conference Paper

Exact learning description logic ontologies from data retrieval examples

Konev, B., Ozaki, A., & Wolter, F. (2015). Exact learning description logic ontologies from data retrieval examples. In CEUR Workshop Proceedings Vol. 1350.

: Conference Paper

Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015.

Calvanese, D., & Konev, B. (Eds.) (2015). Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015.. In Description Logics Vol. 1350. CEUR-WS.org.

: Conference Paper

2014

Computer-Aided Proof of Erdos Discrepancy Properties

DOI: 10.48550/arxiv.1405.3097
: Preprint

A SAT Attack on the Erdos Discrepancy Conjecture

DOI: 10.48550/arxiv.1402.2184
: Preprint

A SAT Attack on the Erdos Discrepancy Conjecture

Konev, B., & Lisitsa, A. (2014). A SAT Attack on the Erdos Discrepancy Conjecture. In THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2014 Vol. 8561 (pp. 219-226). Retrieved from https://www.webofscience.com/

: Conference Paper

The Logical Difference for the Lightweight Description Logic EL

Konev, B., Ludwig, M., Walther, D., & Wolter, F. (2014). The Logical Difference for the Lightweight Description Logic EL. Journal Of Artificial Intelligence Research, Volume 44, pages 633-708, 2012. Retrieved from http://dx.doi.org/10.1613/jair.3552

: Journal article

The Logical Difference for the Lightweight Description Logic EL

DOI: 10.48550/arxiv.1401.5850
: Preprint

A SAT Attack on the Erdős Discrepancy Conjecture.

Konev, B., & Lisitsa, A. (2014). A SAT Attack on the Erdős Discrepancy Conjecture.. In C. Sinz, & U. Egly (Eds.), SAT Vol. 8561 (pp. 219-226). Springer. Retrieved from https://doi.org/10.1007/978-3-319-09284-3

: Conference Paper

Computer-Aided Proof of Erdos Discrepancy Properties.

Konev, B., & Lisitsa, A. (2014). Computer-Aided Proof of Erdos Discrepancy Properties.. CoRR, abs/1405.3097.

: Journal article

Exact Learning of Lightweight Description Logic Ontologies

Konev, B., Lutz, C., Ozaki, A., & Wolter, F. (2014). Exact Learning of Lightweight Description Logic Ontologies. In FOURTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING (pp. 298-307). Retrieved from https://www.webofscience.com/

: Conference Paper

Lower and Upper Approximations for Depleting Modules of Description Logic Ontologies

Gatens, W., Konev, B., & Wolter, F. (2014). Lower and Upper Approximations for Depleting Modules of Description Logic Ontologies. In 21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014) Vol. 263 (pp. 345-350). doi:10.3233/978-1-61499-419-0-345

DOI: 10.3233/978-1-61499-419-0-345
: Conference Paper

Lower and upper approximations for depleting modules of description logic ontologies

Gatens, W., Konev, B., & Wolter, F. (2014). Lower and upper approximations for depleting modules of description logic ontologies. In CEUR Workshop Proceedings Vol. 1193 (pp. 181-184).

: Conference Paper

Multi-agent Environment Exploration with AR.Drones

Williams, R., Konev, B., & Coenen, F. (2014). Multi-agent Environment Exploration with AR.Drones. In Unknown Conference (pp. 60-71). Springer International Publishing. doi:10.1007/978-3-319-10401-0_6

DOI: 10.1007/978-3-319-10401-0_6
: Conference Paper

Multi-agent environment exploration with AR.Drones

Williams, R., Konev, B., & Coenen, F. (2014). Multi-agent environment exploration with AR.Drones. In TAROS'14 (pp. 12 pages). Birmingham: Springer.

: Conference Paper

Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference.

Ludwig, M., & Konev, B. (2014). Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference.. In C. Baral, G. D. Giacomo, & T. Eiter (Eds.), KR. AAAI Press. Retrieved from http://www.aaai.org/Library/KR/kr14contents.php

: Conference Paper

Practical uniform interpolation and forgetting for ALC TBoxes with applications to logical difference

Ludwig, M., & Konev, B. (2014). Practical uniform interpolation and forgetting for ALC TBoxes with applications to logical difference. In Proc. Int. Workshop Tempor. Represent. Reason. (pp. 318-327).

: Conference Paper

2013

Exact learning of TBoxes in EL and DL-Lite

Konev, B., Lutz, C., & Wolter, F. (2013). Exact learning of TBoxes in EL and DL-Lite. In CEUR Workshop Proceedings Vol. 1014 (pp. 341-352).

: Conference Paper

Towards practical uniform interpolation and forgetting for ALC TBoxes

Ludwig, M., & Konev, B. (2013). Towards practical uniform interpolation and forgetting for ALC TBoxes. In CEUR Workshop Proceedings Vol. 1014 (pp. 377-389).

: Conference Paper

Model-theoretic inseparability and modularity of description logic ontologies

Konev, B., Lutz, C., Walther, D., & Wolter, F. (2013). Model-theoretic inseparability and modularity of description logic ontologies. Artificial Intelligence, 203, 66-103. doi:10.1016/j.artint.2013.07.004

DOI: 10.1016/j.artint.2013.07.004
: Journal article

Propositional Temporal Proving with Reductions to a SAT Problem

Williams, R., & Konev, B. (2013). Propositional Temporal Proving with Reductions to a SAT Problem. In Unknown Conference (pp. 421-435). Springer Berlin Heidelberg. doi:10.1007/978-3-642-38574-2_30

DOI: 10.1007/978-3-642-38574-2_30
: Conference Paper

Deductive temporal reasoning with constraints

Dixon, C., Konev, B., Fisher, M., & Nietiadi, S. (2013). Deductive temporal reasoning with constraints. JOURNAL OF APPLIED LOGIC, 11(1), 30-51. doi:10.1016/j.jal.2012.07.001

DOI: 10.1016/j.jal.2012.07.001
: Journal article

Exact learning of TBoxes in EL and DL-lite

Konev, B., Lutz, C., & Wolter, F. (2013). Exact learning of TBoxes in EL and DL-lite. In CEUR Workshop Proceedings Vol. 1014 (pp. 246-257).

: Conference Paper

Module extraction for acyclic ontologies

Gatens, W., Konev, B., & Wolter, F. (2013). Module extraction for acyclic ontologies. In CEUR Workshop Proceedings Vol. 1081 (pp. 49-60).

: Conference Paper

Semantic Modularity and Module Extraction in Description Logics

Konev, B., Lutz, C., Walther, D., & Wolter, F. (2013). Semantic Modularity and Module Extraction in Description Logics. Artificial Intelligence.

: Journal article

Towards practical uniform interpolation and forgetting for ALC TBoxes

Ludwig, M., & Konev, B. (2013). Towards practical uniform interpolation and forgetting for ALC TBoxes. In CEUR Workshop Proceedings Vol. 1014 (pp. 975-987).

: Conference Paper

Николай Александрович Шанин (некролог)

Всемирнов, М. А., Vsemirnov, M. A., Гирш, Э. А., Hirsch, E. A., Григорьев, Д. Ю., Grigor'ev, D. Y., . . . Chernov, V. P. (2013). Николай Александрович Шанин (некролог). Успехи математических наук, 68(4(412)), 173-176. doi:10.4213/rm9528

DOI: 10.4213/rm9528
: Journal article

2012

Labelled Tableaux for Temporal Logic with Cardinality Constraints

Dixon, C., Konev, B., Schmidt, R. A., & Tishkovsky, D. (2012). Labelled Tableaux for Temporal Logic with Cardinality Constraints. In 14TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2012) (pp. 111-118). doi:10.1109/SYNASC.2012.47

DOI: 10.1109/SYNASC.2012.47
: Conference Paper

Symmetric Temporal Theorem Proving

Niknafs-Kermani, A., Konev, B., & Fisher, M. (2012). Symmetric Temporal Theorem Proving. (2012 19th International Symposium on Temporal Representation and Reasoning (TIME)). Retrieved from https://doi.org/10.1109/time.2012.20

DOI: 10.1109/time.2012.20
: Thesis / Dissertation

Logical Difference Computation with CEX2.5

Konev, B., Ludwig, M., & Wolter, F. (2012). Logical Difference Computation with CEX2.5. In Unknown Conference (pp. 371-377). Springer Berlin Heidelberg. doi:10.1007/978-3-642-31365-3_29

DOI: 10.1007/978-3-642-31365-3_29
: Conference Paper

A Labelled Tableau Approach for Temporal Logic with Constraints

Dixon, C., Konev, B., Schmidtand, R., & Tishkovsky, D. (2012). A Labelled Tableau Approach for Temporal Logic with Constraints. In R. Schmidt, & F. Papacchini (Eds.), 19th Automated Reasoning Workshop (pp. 23-24). Manchester: School of Computer Science, The University of Manchester. Retrieved from http://arw2012.cs.man.ac.uk/

: Conference Paper

Simplified Temporal Resolution Using SAT Solvers

Williams, R., & Konev, B. (2012). Simplified Temporal Resolution Using SAT Solvers. In R. Schmidt, & F. Papacchini (Eds.), 19th Automated Reasoning Workshop (pp. 9-10). Manchester: School of Computer Science, The University of Manchester. Retrieved from http://arw2012.cs.man.ac.uk/

: Conference Paper

Symmetric Temporal Theorem Proving

Niknafs-Kermani, A., Konev, B., & Fisher, M. (2012). Symmetric Temporal Theorem Proving. In 9th International Symposium on Temporal Representation and Reasoning (pp. N/A). Washington: IEEE.

: Conference Paper

Symmetry Theorem Proving

Niknafs-Kermani, A., Konev, B., & Fisher, M. (2012). Symmetry Theorem Proving. In R. Schmidt, & F. Papacchini (Eds.), 19th Automated Reasoning Workshop (pp. 7-8). Manchester: School of Computer Science, The University of Manchester. Retrieved from http://arw2012.cs.man.ac.uk/

: Conference Paper

2011

Conjunctive Query Inseparability of OWL 2 QL TBoxes

Konev, B., Kontchakov, R., Ludwig, M., Schneider, T., Wolter, F., & Zakharyaschev, M. (n.d.). Conjunctive Query Inseparability of OWL 2 QL TBoxes. In Proceedings of the AAAI Conference on Artificial Intelligence Vol. 25 (pp. 221-226). Association for the Advancement of Artificial Intelligence (AAAI). doi:10.1609/aaai.v25i1.7846

DOI: 10.1609/aaai.v25i1.7846
: Conference Paper

Conjunctive Query Inseparability of OWL2QL TBoxes

Konev, B., Kontchakov, R., Ludwig, M., Schneider, T., Wolter, F., & Zakharyaschev, M. (2011). Conjunctive Query Inseparability of OWL2QL TBoxes. In Proceedings of the 25th AAAI Conference on Artificial Intelligence, AAAI 2011 (pp. 221-226).

: Conference Paper

CEX-OWL2QL

Konev, B., & Ludwig, M. (2011). CEX-OWL2QL [Internet (free access)].

: Software / Code

MEX-OWL2QL

Konev, B., & Ludwig, M. (2011). MEX-OWL2QL [Internet (free access)].

: Software / Code

Module extraction via query inseparability in OWL 2QL

Konev, B., Kontchakov, R., Ludwig, M., Schneider, T., Wolter, F., & Zakharyaschev, M. (2011). Module extraction via query inseparability in OWL 2QL. In CEUR Workshop Proceedings Vol. 745 (pp. 257-267).

: Conference Paper

Versioning Based on Logical Difference for Lightweight Description Logic Terminologies

Gatens, W., Konev, B., Ludwig, M., & Wolter, F. (2011). Versioning Based on Logical Difference for Lightweight Description Logic Terminologies. Proceedings of the IJCAI-11 Workshop on Automated Reasoning about Context and Ontology Evolution, ARCOE-11, 36-40. Retrieved from http://www.arcoe.org/download.html

: Journal article

2010

Special issue on practical aspects of automated reasoning

Konev, B., Schmidt, R. A., & Schulz, S. (2010). Special issue on practical aspects of automated reasoning. AI Communications, 23(2-3), 67-68. doi:10.3233/aic-2010-0455

DOI: 10.3233/aic-2010-0455
: Journal article

Decomposing description logic ontologies

Konev, B., Lutz, C., Ponomaryov, D., & Wolter, F. (2010). Decomposing description logic ontologies. In Proceedings of the International Conference on Knowledge Representation and Reasoning (pp. 236-246).

: Conference Paper

2009

CEX and MEX: Logical diff and semantic module extraction in a fragment of OWL

Konev, B., Lutz, C., Walther, D., & Wolter, F. (2009). CEX and MEX: Logical diff and semantic module extraction in a fragment of OWL. In CEUR Workshop Proceedings Vol. 496.

: Conference Paper

Forgetting and uniform interpolation in extensions of the description logic EL

Konev, B., Walther, D., & Wolter, F. (2009). Forgetting and uniform interpolation in extensions of the description logic EL. In CEUR Workshop Proceedings Vol. 477.

: Conference Paper

Taming the Complexity of Temporal Epistemic Reasoning

Dixon, C., Fisher, M., & Konev, B. (2009). Taming the Complexity of Temporal Epistemic Reasoning. In FRONTIERS OF COMBINING SYSTEMS, PROCEEDINGS Vol. 5749 (pp. 198-213). Retrieved from https://www.webofscience.com/

: Conference Paper

Formal Properties of Modularisation

Konev, B., Lutz, C., Walther, D., & Wolter, F. (2009). Formal Properties of Modularisation. In Lecture Notes in Computer Science (pp. 25-66). Springer Berlin Heidelberg. doi:10.1007/978-3-642-01907-4_3

DOI: 10.1007/978-3-642-01907-4_3
: Chapter

Temporal Verification of Fault-Tolerant Protocols

Fisher, M., Konev, B., & Lisitsa, A. (2009). Temporal Verification of Fault-Tolerant Protocols. In METHODS, MODELS AND TOOLS FOR FAULT TOLERANCE Vol. 5454 (pp. 44-56). Retrieved from https://www.webofscience.com/

: Conference Paper

Forgetting and Uniform Interpolation in Extensions of the Description Logic EL

Konev, B., Walther, D., & Wolter, F. (2009). Forgetting and Uniform Interpolation in Extensions of the Description Logic EL. In B. Grau Cuenca, I. Horrocks, B. Motik, & U. Satter (Eds.), International Workshop on Description Logics (DL 2009), (pp. na). Oxford: CEUR-WS. Retrieved from http://ceur-ws.org/Vol-477/paper_28.pdf

: Conference Paper

Forgetting and uniform interpolation in large-scale description logic terminologies

Konev, B., Walther, D., & Wolter, F. (2009). Forgetting and uniform interpolation in large-scale description logic terminologies. In C. Boutilier (Ed.), Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI-09) (pp. 830-835). Los Angeles: IJCAI-INT JOINT CONF ARTIF INTELL. Retrieved from http://ijcai.org/papers09/Papers/IJCAI09-142.pdf

: Conference Paper

Forgetting and uniform interpolation in large-scale description logic terminologies

Konev, B., Walther, D., & Wolter, F. (2009). Forgetting and uniform interpolation in large-scale description logic terminologies. In IJCAI International Joint Conference on Artificial Intelligence (pp. 830-835).

: Conference Paper

2008

Logical difference and module extraction with CEX and MEX

Konev, B., Lutz, C., Walther, D., & Wolter, F. (2008). Logical difference and module extraction with CEX and MEX. In CEUR Workshop Proceedings Vol. 353.

: Conference Paper

Practical aspects of automated reasoning and evaluation of systems for higher order logic

Konev, B., Schmidt, R. A., & Schulz, S. (2008). Practical aspects of automated reasoning and evaluation of systems for higher order logic. In CEUR Workshop Proceedings Vol. 373.

: Conference Paper

The Logical Difference Problem for Description Logic Terminologies

Konev, B., Walther, D., & Wolter, F. (n.d.). The Logical Difference Problem for Description Logic Terminologies. In Unknown Conference (pp. 259-274). Springer Berlin Heidelberg. doi:10.1007/978-3-540-71070-7_21

DOI: 10.1007/978-3-540-71070-7_21
: Conference Paper

Practical first-order temporal reasoning

Dixon, C., Fisher, M., Konev, B., & Lisitsa, A. (2008). Practical first-order temporal reasoning. In TIME 2008: 15TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS (pp. 156-163). doi:10.1109/TIME.2008.15

DOI: 10.1109/TIME.2008.15
: Conference Paper

Semantic modularity and module extraction in description logics

Konev, B., Lutz, C., Walther, D., & Wolter, F. (2008). Semantic modularity and module extraction in description logics. In Frontiers in Artificial Intelligence and Applications Vol. 178 (pp. 55-59). doi:10.3233/978-1-58603-891-5-55

DOI: 10.3233/978-1-58603-891-5-55
: Conference Paper

Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning

Konev, B., Schmidt, R. A., & Schulz, S. (Eds.) (2008). Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning. In First International Workshop on Practical Aspects of Automated Reasoning (pp. NA). Aahen: CEUR Workshop Proceedings. Retrieved from http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-373/

: Conference Paper

Proceedings of the LPAR 2008 Workshops, Knowledge Exchange: Automated Provers and Proof Assistants, and the 7th International Workshop on the Implementation of Logics

Rudnicki, P., Sutcliffe, G., Konev, B., Schmidt, R. A., & Schulz, S. (Eds.) (2008). Proceedings of the LPAR 2008 Workshops, Knowledge Exchange: Automated Provers and Proof Assistants, and the 7th International Workshop on the Implementation of Logics. In 7th International Workshop on the Implementation of Logics (pp. NA). Aahen: CEUR-WS.org. Retrieved from http://ceur-ws.org/Vol-418/

: Conference Paper

2007

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics: Preface

Konev, B., & Wolter, P. (2007). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics: Preface (Vol. 4720 LNAI).

: Book

Tractable Temporal Reasoning

Dixon, C., Fisher, M., & Konev, B. (2007). Tractable Temporal Reasoning. In 20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (pp. 318-323). Retrieved from https://www.webofscience.com/

: Conference Paper

Efficient First-Order Temporal Logic for Infinite-State Systems

Dixon, C., Fisher, M., Konev, B., & Lisitsa, A. (2007). Efficient First-Order Temporal Logic for Infinite-State Systems. Retrieved from http://arxiv.org/abs/cs/0702036v1

: Journal article

Efficient First-Order Temporal Logic for Infinite-State Systems

DOI: 10.48550/arxiv.cs/0702036
: Preprint

Proceedings of 6th International Symposium on Frontiers of Combining Systems (FroCoS 2007)

Konev, B., & Wolter, F. (Eds.) (2007). Proceedings of 6th International Symposium on Frontiers of Combining Systems (FroCoS 2007). In 6th International Symposium on Frontiers of Combining Systems (FroCoS 2007) (pp. X282). Berlin Heidelberg: Springer.

: Conference Paper

Temporal logic with capacity constraints

Dixon, C., Fisher, M., & Konev, B. (2007). Temporal logic with capacity constraints. In FRONTIERS OF COMBINING SYSTEMS, PROCEEDINGS Vol. 4720 (pp. 163-+). Retrieved from https://www.webofscience.com/

: Conference Paper

2006

Dynamic topological logics over spaces with continuous functions

Konev, B., Wolter, F., Kontchakov, R., & Zakharyaschev, M. (2006). Dynamic topological logics over spaces with continuous functions. In Advances in Modal Logic 2006 Vol. 6 (pp. 299-318).

: Conference Paper

Foreword

Konev, B., Schmidt, R., & Schulz, S. (2006). Foreword. Journal of Applied Non-Classical Logics, 16(1-2), 7-8. doi:10.1080/11663081.2006.9736546

DOI: 10.1080/11663081.2006.9736546
: Journal article

Is there a future for deductive temporal verification?

Dixon, C., Fisher, M., & Konev, B. (2006). Is there a future for deductive temporal verification?. In TIME 2006: THIRTEENTH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS (pp. 11-+). Retrieved from https://www.webofscience.com/

: Conference Paper

Tableau Method with Free Variables for Intuitionistic Logic

Konev, B., & Lyaletski, A. (n.d.). Tableau Method with Free Variables for Intuitionistic Logic. In Unknown Conference (pp. 153-162). Springer Berlin Heidelberg. doi:10.1007/3-540-33521-8_15

DOI: 10.1007/3-540-33521-8_15
: Conference Paper

On Dynamic Topological and Metric Logics

Konev, B., Kontchakov, R., Wolter, F., & Zakharyaschev, M. (2006). On Dynamic Topological and Metric Logics. Studia Logica, 84(1), 129-160. doi:10.1007/s11225-006-9005-x

DOI: 10.1007/s11225-006-9005-x
: Journal article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Fisher, M., Van Der Hoek, W., Konev, B., & Lisitsa, A. (2006). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface (Vol. 4160 LNAI).

: Book

Logics in Artificial Intelligence

Fisher, M., van der Hoek, W., Konev, B., & Lisitsa, A. (Eds.) (2006). Logics in Artificial Intelligence. In . Springer Berlin Heidelberg. doi:10.1007/11853886

DOI: 10.1007/11853886
: Conference Paper

Monodic temporal resolution

Degtyarev, A., Fisher, M., & Konev, B. (2006). Monodic temporal resolution. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 7(1), 108-150. doi:10.1145/1119439.1119443

DOI: 10.1145/1119439.1119443
: Journal article

On Herbrand’s Theorem for Intuitionistic Logic

Lyaletski, A., & Konev, B. (2006). On Herbrand’s Theorem for Intuitionistic Logic. In Unknown Conference (pp. 293-305). Springer Berlin Heidelberg. doi:10.1007/11853886_25

DOI: 10.1007/11853886_25
: Conference Paper

2005

Mechanising first-order temporal resolution

Konev, B., Degtyarev, A., Dixon, C., Fisher, M., & Hustadt, U. (2005). Mechanising first-order temporal resolution. INFORMATION AND COMPUTATION, 199(1-2), 55-86. doi:10.1016/j.ic.2004.10.005

DOI: 10.1016/j.ic.2004.10.005
: Journal article

First-order temporal verification in practice

Fernandez-Gago, M. C., Hustadt, U., Dixon, C., Fisher, M., & Konev, B. (2005). First-order temporal verification in practice. JOURNAL OF AUTOMATED REASONING, 34(3), 295-321. doi:10.1007/s10817-005-7354-1

DOI: 10.1007/s10817-005-7354-1
: Journal article

Deciding Monodic Fragments by Temporal Resolution

Hustadt, U., Konev, B., & Schmidt, R. A. (2005). Deciding Monodic Fragments by Temporal Resolution. In Unknown Conference (pp. 204-218). Springer Berlin Heidelberg. doi:10.1007/11532231_15

DOI: 10.1007/11532231_15
: Conference Paper

Deciding monodic fragments by temporal resolution

Hustadt, U., Konev, B., & Schmidt, R. A. (2005). Deciding monodic fragments by temporal resolution. In AUTOMATED DEDUCTION - CADE-20, PROCEEDINGS Vol. 3632 (pp. 204-218). Retrieved from https://www.webofscience.com/

: Conference Paper

Practical Infinite-State Verification with Temporal Reasoning

Fisher, M., Konev, B., & Lisitsa, A. (2005). Practical Infinite-State Verification with Temporal Reasoning. In E. M. Clarke, M. Minea, & F. L. Tiplea (Eds.), NATO Advanced Research Workshop "Verification of Infinite State Systems with Applications to Security VISSAS 2005" (pp. 91-100). Amsterdam: IOS Press.

: Conference Paper

Solution lifting method for handling meta-variables in TH∃OREM∀

Konev, B., & Jebelean, T. (2005). Solution lifting method for handling meta-variables in TH∃OREM∀. Journal of Mathematical Sciences, 126(3), 1182-1194. doi:10.1007/s10958-005-0090-6

DOI: 10.1007/s10958-005-0090-6
: Journal article

Temporal Logics over Transitive States

Konev, B., Wolter, F., & Zakharyaschev, M. (2005). Temporal Logics over Transitive States. In Unknown Conference (pp. 182-203). Springer Berlin Heidelberg. doi:10.1007/11532231_14

DOI: 10.1007/11532231_14
: Conference Paper

2004

TeMP: A temporal monodic prover

Hustadt, U., Konev, B., Riazanov, A., & Voronkov, A. (2004). TeMP: A temporal monodic prover. In AUTOMATED REASONING, PROCEEDINGS Vol. 3097 (pp. 326-330). Retrieved from https://www.webofscience.com/

: Conference Paper

2003

Konev, B. Y. (2003). Unknown Title. Journal of Mathematical Sciences, 118(2), 4982-4993. doi:10.1023/a:1025601406752

DOI: 10.1023/a:1025601406752
: Journal article

Monodic temporal resolution

Degtyarev, A., Fisher, M., & Konev, B. (2003). Monodic temporal resolution. In AUTOMATED DEDUCTION - CADE-19, PROCEEDINGS Vol. 2741 (pp. 397-411). Retrieved from https://www.webofscience.com/

: Conference Paper

Monodic temporal resolution

DOI: 10.48550/arxiv.cs/0306041
: Preprint

Handling equality in monodic temporal resolution

Konev, B., Degtyarev, A., & Fisher, M. (2003). Handling equality in monodic temporal resolution. In LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS Vol. 2850 (pp. 214-228). doi:10.1007/978-3-540-39813-4_15

DOI: 10.1007/978-3-540-39813-4_15
: Conference Paper

Monodic Temporal Resolution

Degtyarev, A., Fisher, M., & Konev, B. (2003). Monodic Temporal Resolution. In Automated Deduction – CADE-19 (Vol. 2741, pp. 397-411). Springer Nature. doi:10.1007/978-3-540-45085-6_35

DOI: 10.1007/978-3-540-45085-6_35
: Chapter

TRP++2.0: A temporal resolution prover

Hustadt, U., & Konev, B. (2003). TRP++2.0: A temporal resolution prover. In AUTOMATED DEDUCTION - CADE-19, PROCEEDINGS Vol. 2741 (pp. 274-278). Retrieved from https://www.webofscience.com/

: Conference Paper

Towards the implementation of first-order temporal resolution: the expanding domain case

Konev, B., Degtyarev, A., Dixon, C., Fisher, M., & Hustadt, U. (2003). Towards the implementation of first-order temporal resolution: the expanding domain case. In TIME-ICTL 2003: 10TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING AND FOURTH INTERNATIONAL CONFERENCE ON TEMPORAL LOGIC, PROCEEDINGS (pp. 72-82). Retrieved from https://www.webofscience.com/

: Conference Paper

2002

A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic

Degtyarev, A., Fisher, M., & Konev, B. (2002). A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic. In Unknown Conference (pp. 85-99). Springer Berlin Heidelberg. doi:10.1007/3-540-45616-3_7

DOI: 10.1007/3-540-45616-3_7
: Conference Paper

2001

MAX SAT approximation beyond the limits of polynomial-time approximation

Dantsin, E., Gavrilovich, M., Hirsch, E. A., & Konev, B. (2001). MAX SAT approximation beyond the limits of polynomial-time approximation. Annals of Pure and Applied Logic, 113(1-3), 81-94. doi:10.1016/s0168-0072(01)00052-5

DOI: 10.1016/s0168-0072(01)00052-5
: Journal article

Николай Александрович Шанин (к восьмидесятилетию со дня рождения)

Всемирнов, М. А., Vsemirnov, M. A., Гирш, Э. А., Hirsch, E. A., Григорьев, Д. Ю., Grigor'ev, D. Y., . . . Slisenko, A. O. (2001). Николай Александрович Шанин (к восьмидесятилетию со дня рождения). Успехи математических наук, 56(3), 181-184. doi:10.4213/rm412

DOI: 10.4213/rm412
: Journal article

2000

Refinement of bounds of the height of terms in the most general unifier

Konev, B. Y. (2000). Refinement of bounds of the height of terms in the most general unifier. Journal of Mathematical Sciences, 98(4), 490-499. doi:10.1007/bf02362269

DOI: 10.1007/bf02362269
: Journal article