2023
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. International Joint Conferences on Artificial Intelligence Organization. doi:10.24963/ijcai.2023/360DOI: 10.24963/ijcai.2023/360
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).
Zero Update Encryption Adjustment on Encrypted Database Queries (Conference Paper)
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_2DOI: 10.1007/978-3-031-37807-2_2
2022
Data Querying with Ciphertext Policy Attribute Based Encryption. (Journal article)
Almarwani, M., Konev, B., & Lisitsa, A. (2022). Data Querying with Ciphertext Policy Attribute Based Encryption.. CoRR, abs/2209.15103.
Efficient and Secure Encryption Adjustment for JSON Data (Conference Paper)
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/0010791300003120DOI: 10.5220/0010791300003120
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. International Joint Conferences on Artificial Intelligence Organization. doi:10.24963/kr.2022/16DOI: 10.24963/kr.2022/16
Interpolants and Explicit Definitions in Extensions of the Description Logic EL. (Conference Paper)
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
Preface (Conference Paper)
Konev, B., Schon, C., & Steen, A. (2022). Preface. In CEUR Workshop Proceedings Vol. 3201.
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. (Conference Paper)
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.
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. In CEUR Workshop Proceedings Vol. 3263.
Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps (Extended Abstract). (Conference Paper)
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
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. International Joint Conferences on Artificial Intelligence Organization. doi:10.24963/kr.2022/17DOI: 10.24963/kr.2022/17
Unique Characterisability and Learnability of Temporal Instance Queries. (Journal article)
Fortin, M., Konev, B., Ryzhikov, V., Savateev, Y., Wolter, F., & Zakharyaschev, M. (2022). Unique Characterisability and Learnability of Temporal Instance Queries.. CoRR, abs/2205.01651.
2021
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
Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings (Conference Paper)
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.
Preface (Book)
Konev, B., & Reger, G. (2021). Preface (Vol. 12941 LNAI).
Release-aware In-out Encryption Adjustment in MongoDB Query Processing (Conference Paper)
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/0010395007140722DOI: 10.5220/0010395007140722
2020
Release-Aware Encryption Adjustment Query processing for Document Database (Conference Paper)
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. ACM. doi:10.1145/3416921.3416933DOI: 10.1145/3416921.3416933
Fine-Grained Access Control for Querying Over Encrypted Document-Oriented Database (Conference Paper)
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_19DOI: 10.1007/978-3-030-49443-8_19
2019
Flexible Access Control and Confidentiality over Encrypted Data for Document-based Database (Conference Paper)
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/0007582506060614DOI: 10.5220/0007582506060614
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/0008067600940103DOI: 10.5220/0008067600940103
2018
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
Konev, B., Lutz, C., Ozaki, A., & Wolter, F. (2018). Exact Learning of Lightweight Description Logic Ontologies.. Journal of Machine Learning Research, 18, 201:1.
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_2DOI: 10.1007/978-3-319-49493-7_2
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/
Duarte, R., Konev, B., & Ozaki, A. (2018). Exact learning of EL ontologies. In CEUR Workshop Proceedings Vol. 2211.
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/
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.
Preface (Conference Paper)
Konev, B., Urban, J., & Rummer, P. (2018). Preface. In CEUR Workshop Proceedings Vol. 2162 (pp. ii-iii).
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. (Conference Paper)
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.
2017
2016
Konev, B., Lutz, C., Wolter, F., & Zakharyaschev, M. (2016). Conservative Rewritability of Description Logic TBoxes. In IJCAI/AAAI Press (pp. 1153-1159). New York.
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/
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/
IWIL@LPAR 2015, 11th International Workshop on the Implementation of Logics, Suva, Fiji, November 23, 2015 (Conference Paper)
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.
2015
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/
Computer-aided proof of Erdős discrepancy properties (Journal article)
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.004DOI: 10.1016/j.artint.2015.03.004
4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR 2014, Vienna, Austria, 2014 (Conference Paper)
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.
Collaborating Low Cost Micro Aerial Vehicles: A Demonstration (Journal article)
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_33DOI: 10.1007/978-3-319-22416-9_33
Konev, B., Lutz, C., Wolter, F., & Zakharyaschev, M. (2015). Conservative rewritability of description logic TBoxes: First results. In CEUR Workshop Proceedings Vol. 1350.
Konev, B., Ozaki, A., & Wolter, F. (2015). Exact learning description logic ontologies from data retrieval examples. In CEUR Workshop Proceedings Vol. 1350.
Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015. (Conference Paper)
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.
2014
A SAT Attack on the Erdos Discrepancy Conjecture (Conference Paper)
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/
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
A SAT Attack on the Erdős Discrepancy Conjecture. (Conference Paper)
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
Computer-Aided Proof of Erdos Discrepancy Properties. (Journal article)
Konev, B., & Lisitsa, A. (2014). Computer-Aided Proof of Erdos Discrepancy Properties.. CoRR, abs/1405.3097.
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/
Lower and Upper Approximations for Depleting Modules of Description Logic Ontologies (Conference Paper)
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-345DOI: 10.3233/978-1-61499-419-0-345
Lower and upper approximations for depleting modules of description logic ontologies (Conference Paper)
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).
Multi-agent Environment Exploration with AR.Drones (Conference Paper)
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_6DOI: 10.1007/978-3-319-10401-0_6
Williams, R., Konev, B., & Coenen, F. (2014). Multi-agent environment exploration with AR.Drones. In TAROS'14 (pp. 12 pages). Birmingham: Springer.
Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference. (Conference Paper)
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
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).
2013
Exact learning of TBoxes in EL and DL-Lite (Conference Paper)
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).
Towards practical uniform interpolation and forgetting for ALC TBoxes (Conference Paper)
Ludwig, M., & Konev, B. (2013). Towards practical uniform interpolation and forgetting for ALC TBoxes. In CEUR Workshop Proceedings Vol. 1014 (pp. 377-389).
Model-theoretic inseparability and modularity of description logic ontologies (Journal article)
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.004DOI: 10.1016/j.artint.2013.07.004
Propositional Temporal Proving with Reductions to a SAT Problem (Conference Paper)
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_30DOI: 10.1007/978-3-642-38574-2_30
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.001DOI: 10.1016/j.jal.2012.07.001
Exact learning of TBoxes in EL and DL-lite (Conference Paper)
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).
Module extraction for acyclic ontologies (Conference Paper)
Gatens, W., Konev, B., & Wolter, F. (2013). Module extraction for acyclic ontologies. In CEUR Workshop Proceedings Vol. 1081 (pp. 49-60).
Semantic Modularity and Module Extraction in Description Logics (Journal article)
Konev, B., Lutz, C., Walther, D., & Wolter, F. (2013). Semantic Modularity and Module Extraction in Description Logics. Artificial Intelligence.
Towards practical uniform interpolation and forgetting for ALC TBoxes (Conference Paper)
Ludwig, M., & Konev, B. (2013). Towards practical uniform interpolation and forgetting for ALC TBoxes. In CEUR Workshop Proceedings Vol. 1014 (pp. 975-987).
2012
Labelled Tableaux for Temporal Logic with Cardinality Constraints (Conference Paper)
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.47DOI: 10.1109/SYNASC.2012.47
Niknafs-Kermani, A., Konev, B., & Fisher, M. (2012). Symmetric Temporal Theorem Proving. (2012 19th International Symposium on Temporal Representation and Reasoning (TIME)). Retrieved from http://dx.doi.org/10.1109/time.2012.20DOI: 10.1109/time.2012.20
Logical Difference Computation with CEX2.5 (Conference Paper)
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_29DOI: 10.1007/978-3-642-31365-3_29
A Labelled Tableau Approach for Temporal Logic with Constraints (Conference Paper)
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/
Simplified Temporal Resolution Using SAT Solvers (Conference Paper)
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/
Symmetric Temporal Theorem Proving (Conference Paper)
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.
Symmetry Theorem Proving (Conference Paper)
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/
2011
Conjunctive Query Inseparability of OWL 2 QL TBoxes (Conference Paper)
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.7846DOI: 10.1609/aaai.v25i1.7846
Conjunctive Query Inseparability of OWL2QL TBoxes (Conference Paper)
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).
CEX-OWL2QL (Software / Code)
Konev, B., & Ludwig, M. (2011). CEX-OWL2QL [Internet (free access)].
MEX-OWL2QL (Software / Code)
Konev, B., & Ludwig, M. (2011). MEX-OWL2QL [Internet (free access)].
Module extraction via query inseparability in OWL 2QL (Conference Paper)
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).
Versioning Based on Logical Difference for Lightweight Description Logic Terminologies (Journal article)
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
2010
Special issue on practical aspects of automated reasoning (Journal article)
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-0455DOI: 10.3233/aic-2010-0455
Decomposing description logic ontologies (Conference Paper)
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).
2009
CEX and MEX: Logical diff and semantic module extraction in a fragment of OWL (Conference Paper)
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.
Forgetting and uniform interpolation in extensions of the description logic EL (Conference Paper)
Konev, B., Walther, D., & Wolter, F. (2009). Forgetting and uniform interpolation in extensions of the description logic EL. In CEUR Workshop Proceedings Vol. 477.
Taming the Complexity of Temporal Epistemic Reasoning (Conference Paper)
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/
Formal Properties of Modularisation (Chapter)
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_3DOI: 10.1007/978-3-642-01907-4_3
Temporal Verification of Fault-Tolerant Protocols (Conference Paper)
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/
Forgetting and Uniform Interpolation in Extensions of the Description Logic EL (Conference Paper)
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
Forgetting and uniform interpolation in large-scale description logic terminologies (Conference Paper)
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
Forgetting and uniform interpolation in large-scale description logic terminologies (Conference Paper)
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).
2008
Logical difference and module extraction with CEX and MEX (Conference Paper)
Konev, B., Lutz, C., Walther, D., & Wolter, F. (2008). Logical difference and module extraction with CEX and MEX. In CEUR Workshop Proceedings Vol. 353.
Practical aspects of automated reasoning and evaluation of systems for higher order logic (Conference Paper)
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.
The Logical Difference Problem for Description Logic Terminologies (Conference Paper)
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_21DOI: 10.1007/978-3-540-71070-7_21
Practical first-order temporal reasoning (Conference Paper)
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.15DOI: 10.1109/TIME.2008.15
Semantic modularity and module extraction in description logics (Conference Paper)
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-55DOI: 10.3233/978-1-58603-891-5-55
Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning (Conference Paper)
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/
Proceedings of the LPAR 2008 Workshops, Knowledge Exchange: Automated Provers and Proof Assistants, and the 7th International Workshop on the Implementation of Logics (Conference Paper)
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/
2007
Tractable Temporal Reasoning (Conference Paper)
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/
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
Proceedings of 6th International Symposium on Frontiers of Combining Systems (FroCoS 2007) (Conference Paper)
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.
Temporal logic with capacity constraints (Conference Paper)
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/
2006
Dynamic topological logics over spaces with continuous functions (Conference Paper)
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).
Foreword (Journal article)
Konev, B., Schmidt, R., & Schulz, S. (2006). Foreword. Journal of Applied Non-Classical Logics, 16(1-2), 7-8. doi:10.1080/11663081.2006.9736546DOI: 10.1080/11663081.2006.9736546
Is there a future for deductive temporal verification? (Conference Paper)
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/
Tableau Method with Free Variables for Intuitionistic Logic (Conference Paper)
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_15DOI: 10.1007/3-540-33521-8_15
On Dynamic Topological and Metric Logics (Journal article)
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-xDOI: 10.1007/s11225-006-9005-x
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface (Book)
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).
Logics in Artificial Intelligence (Conference Paper)
Fisher, M., van der Hoek, W., Konev, B., & Lisitsa, A. (Eds.) (2006). Logics in Artificial Intelligence. In . Springer Berlin Heidelberg. doi:10.1007/11853886DOI: 10.1007/11853886
Monodic temporal resolution (Journal article)
Degtyarev, A., Fisher, M., & Konev, B. (2006). Monodic temporal resolution. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 7(1), 108-150. doi:10.1145/1119439.1119443DOI: 10.1145/1119439.1119443
On Herbrand’s Theorem for Intuitionistic Logic (Conference Paper)
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_25DOI: 10.1007/11853886_25
2005
Mechanising first-order temporal resolution (Journal article)
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.005DOI: 10.1016/j.ic.2004.10.005
First-order temporal verification in practice (Journal article)
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-1DOI: 10.1007/s10817-005-7354-1
Deciding Monodic Fragments by Temporal Resolution (Conference Paper)
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_15DOI: 10.1007/11532231_15
Deciding monodic fragments by temporal resolution (Conference Paper)
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/
Practical Infinite-State Verification with Temporal Reasoning (Conference Paper)
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.
Solution lifting method for handling meta-variables in TH∃OREM∀ (Journal article)
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-6DOI: 10.1007/s10958-005-0090-6
Temporal Logics over Transitive States (Conference Paper)
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_14DOI: 10.1007/11532231_14
2004
TeMP: A temporal monodic prover (Conference Paper)
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/
2003
(Journal article)
Konev, B. Y. (2003). Unknown Title. Journal of Mathematical Sciences, 118(2), 4982-4993. doi:10.1023/a:1025601406752DOI: 10.1023/a:1025601406752
Monodic temporal resolution (Conference Paper)
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/
Handling equality in monodic temporal resolution (Conference Paper)
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_15DOI: 10.1007/978-3-540-39813-4_15
Monodic Temporal Resolution (Chapter)
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_35DOI: 10.1007/978-3-540-45085-6_35
TRP++2.0: A temporal resolution prover (Conference Paper)
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/
Towards the implementation of first-order temporal resolution: the expanding domain case (Conference Paper)
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/
2002
A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic (Conference Paper)
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_7DOI: 10.1007/3-540-45616-3_7
2001
MAX SAT approximation beyond the limits of polynomial-time approximation (Journal article)
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-5DOI: 10.1016/s0168-0072(01)00052-5
Николай Александрович Шанин (к восьмидесятилетию со дня рождения) (Journal article)
Всемирнов, М. А., Vsemirnov, M. A., Гирш, Э. А., Hirsch, E. A., Григорьев, Д. Ю., Grigor'ev, D. Y., . . . Slisenko, A. O. (2001). Николай Александрович Шанин (к восьмидесятилетию со дня рождения). Uspekhi Matematicheskikh Nauk, 56(3), 181-184. doi:10.4213/rm412DOI: 10.4213/rm412
2000
Refinement of bounds of the height of terms in the most general unifier (Journal article)
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/bf02362269DOI: 10.1007/bf02362269
