Skip to main content
What types of page to search?

Alternatively use our A-Z index.

Boris Konev

Professor Boris Konev

Contact

Boris.Konev@liverpool.ac.uk

http://www.csc.liv.ac.uk/~konev

+44 (0)151 795 4260

+44 (0)151 795 4260 Ext. 54260

Publications

Selected publications

  1. The Logical Difference for the Lightweight Description Logic EL (Journal article - 2014)
  2. Semantic Modularity and Module Extraction in Description Logics (Journal article - 2013)
  3. Computer-aided proof of Erdős discrepancy properties (Journal article - 2015)
What type of publication do you want to show?

2023

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

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

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 (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

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

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

Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey

DOI
10.48550/arxiv.1804.07805
Preprint

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

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

2016

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

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

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

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

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

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

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

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

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

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