Photo of Prof Boris Konev

Prof Boris Konev

Professor of Computer Science Computer Science

    Publications

    Selected Publications

    1. The Logical Difference for the Lightweight Description Logic EL (Journal article - 2012)
    2. Semantic Modularity and Module Extraction in Description Logics (Journal article - 2013)
    3. Computer-aided proof of Erdos discrepancy properties (Journal article - 2015)

    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 ICISSP 2019 - Proceedings of the 5th International Conference on Information Systems Security and Privacy (pp. 606-614).

    Ontology learning from twitter data (Conference Paper)

    Alajlan, S., Coenen, F., Konev, B., & Mandya, A. (2019). Ontology learning from twitter data. In IC3K 2019 - Proceedings of the 11th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management Vol. 2 (pp. 94-103).

    2018

    Exact Learning of Lightweight Description Logic Ontologies (Journal article)

    Konev, B., Lutz, C., Ozaki, A., & Wolter, F. (2018). Exact Learning of Lightweight Description Logic Ontologies. Journal of Machine Learning Research, TBC. Retrieved from http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7918

    Exact Learning of Lightweight Description Logic Ontologies. (Journal article)

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

    Exact learning of lightweight description logic ontologies (Journal article)

    Konev, B., Lutz, C., Ozaki, A., & Wolter, F. (2018). Exact learning of lightweight description logic ontologies. Journal of Machine Learning Research, 18, 1-63.

    Exact learning of EL ontologies (Conference Paper)

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

    ExactLearner: A Tool for Exact Learning of epsilon L Ontologies (Conference Paper)

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

    Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. (Journal article)

    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).

    2017

    Inseparability and conservative extensions of description logic ontologies: A survey (Conference Paper)

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

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

    2016

    Conservative Rewritability of Description Logic TBoxes (Conference Paper)

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

    Anti-Unification of Concepts in Description Logic EL (Conference Paper)

    Konev, B., Kutsia, T., & AAAI. (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 http://gateway.webofknowledge.com/

    A Model for Learning Description Logic Ontologies Based on Exact Learning (Conference Paper)

    Konev, B., Ozaki, A., Wolter, F., & AAAI. (2016). A Model for Learning Description Logic Ontologies Based on Exact Learning. In THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE (pp. 1008-1015). Retrieved from http://gateway.webofknowledge.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

    Scalable Distributed Collaborative Tracking and Mapping with Micro Aerial Vehicles (Conference Paper)

    Williams, R., Konev, B., Coenen, F., & IEEE. (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 http://gateway.webofknowledge.com/

    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_33

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

    Conservative rewritability of description logic TBoxes: First results (Conference Paper)

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

    Exact learning description logic ontologies from data retrieval examples (Conference Paper)

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

    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.

    Computer-aided proof of Erdos discrepancy properties (Journal article)

    Konev, B., & Lisitsa, A. (2015). Computer-aided proof of Erdos discrepancy properties. ARTIFICIAL INTELLIGENCE, 224, 103-118. doi:10.1016/j.artint.2015.03.004

    DOI: 10.1016/j.artint.2015.03.004

    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 http://gateway.webofknowledge.com/

    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.

    Exact learning of lightweight description logic ontologies (Conference Paper)

    Konev, B., Lutz, C., Ozaki, A., & Wolter, F. (2014). Exact learning of lightweight description logic ontologies. In 14th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2014 (pp. 298-307).

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

    DOI: 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_6

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

    Multi-agent environment exploration with AR.Drones (Conference Paper)

    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

    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 14th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2014 (pp. 318-327).

    2013

    Deductive temporal reasoning with constraints (Journal article)

    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

    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.004

    DOI: 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_30

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

    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.

    2012

    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/

    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.47

    DOI: 10.1109/SYNASC.2012.47

    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_29

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

    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/

    The Logical Difference for the Lightweight Description Logic EL (Journal article)

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

    DOI: 10.1613/jair.3552

    2011

    CEX-OWL2QL (Software / Code)

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

    Conjunctive Query Inseparability of OWL 2 QL TBoxes (Conference Paper)

    Konev, B., Kontchakov, R., Ludwig, M., Schneider, T., Wolter, F., & Zakharyaschev, M. (2011). Conjunctive Query Inseparability of OWL 2 QL TBoxes. In W. Burgard, & D. Roth (Eds.), Twenty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2011. Menlo Park, California, USA: AAAI Press. Retrieved from http://www.aaai.org/ocs/index.php/AAAI/AAAI11/paper/view/3573

    MEX-OWL2QL (Software / Code)

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

    Module Extraction via Query Inseparability in OWL 2 QL (Conference Paper)

    Konev, B., Kontchakov, R., Ludwig, M., Schneider, T., Wolter, F., & Zakharyaschev, M. (2011). Module Extraction via Query Inseparability in OWL 2 QL. In R. Rosati, S. Rudolph, & M. Zakharyaschev (Eds.), 24th International Workshop on Description Logics (DL 2011) (pp. 257-267). Aachen: CEUR. Retrieved from http://ceur-ws.org/Vol-745/

    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

    Decomposing Description Logic Ontologies (Conference Paper)

    Konev, B., Lutz, C., Ponomaryov, D., & Wolter, F. (2010). Decomposing Description Logic Ontologies. In Proceedings of the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning. Toronto. Retrieved from http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1356

    2009

    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. Sattler (Eds.), 22nd International Workshop on Description Logics (DL 2009) (pp. N/A). Aachen: CEUR. Retrieved from http://www.ceur-ws.org/Vol-477/

    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

    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_3

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

    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 http://gateway.webofknowledge.com/

    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 http://gateway.webofknowledge.com/

    2008

    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_21

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

    CEX and MEX: Logical Diff and Logic-based Module Extraction in a Fragment of OWL (Conference Paper)

    Konev, B., Lutz, C., Walther, D., & Wolter, F. (2008). CEX and MEX: Logical Diff and Logic-based Module Extraction in a Fragment of OWL. In C. Clark, & P. F. Patel-Schneider (Eds.), 4th international workshop OWL: EXPERIENCES AND DIRECTIONS, OWLED-08 DC (pp. NA). Washington: www.webont.org. Retrieved from http://www.webont.org/owled/2008dc/papers/owled2008dc_paper_12.pdf

    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 F. Baader, C. Lutz, & B. Motik (Eds.), 21st International Workshop on Description Logics (DL2008) Vol. 353 (pp. NA). Dresden: CEUR Workshop Proceedings. Retrieved from http://sunsite.informatik.rwth-aachen.de/

    Practical first-order temporal reasoning (Conference Paper)

    Dixon, C., Fisher, M., Konev, B., Lisitsa, A., & Soc, I. E. E. E. C. (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

    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/

    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 European Conference on Artificial Intelligence (ECAI 2008) Vol. 178 (pp. 55-59). Patras: I O S PRESS. doi:10.3233/978-1-58603-891-5-55

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

    2007

    Efficient First-Order Temporal Logic for Infinite-State Systems (Journal article)

    Dixon, C., Fisher, M., Konev, B., & Lisitsa, A. (n.d.). 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 http://gateway.webofknowledge.com/

    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 http://gateway.webofknowledge.com/

    2006

    Dynamic topological logics over spaces with continuous functions (Conference Paper)

    Konev, B., Kontchakov, R., Wolter, F., & Zakharyaschev, M. (2006). Dynamic topological logics over spaces with continuous functions. In G. Governatori, I. M. Hodkinson, & Y. Venema (Eds.), Sixth conference on "Advances in Modal Logic" (pp. 299-318). London: College Publications.

    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 http://gateway.webofknowledge.com/

    Logics in Artificial Intelligence (Conference Paper)

    Logics in Artificial Intelligence (2006). Springer Berlin Heidelberg. doi:10.1007/11853886

    DOI: 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.1119443

    DOI: 10.1145/1119439.1119443

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

    DOI: 10.1007/s11225-006-9005-x

    On Herbrand's theorem for intuitionistic logic (Conference Paper)

    Lyaletski, A., & Konev, B. (2006). On Herbrand's theorem for intuitionistic logic. In M. Fisher, W. van der Hoek, B. Konev, & A. Lisitsa (Eds.), 10th European Conference on Logics in Artificial Intelligence (JELIA'06), Vol. 4160 (pp. 293-305). Liverpool: Springer.

    Tableaux method with free variables for intuitionistic logic (Conference Paper)

    Konev, B., & Lyaletski, A. (2006). Tableaux method with free variables for intuitionistic logic. In M. A. Klopotek, S. T. Wierzchon, & K. Trojanowski (Eds.), Intelligent Information Processing and Web Mining (pp. 153-162). Ustron: Springer.

    2005

    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_15

    DOI: 10.1007/11532231_15

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

    DOI: 10.1007/s10817-005-7354-1

    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.005

    DOI: 10.1016/j.ic.2004.10.005

    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.

    Temporal logics over transitive states (Conference Paper)

    Konev, B., Wolter, F., & Zakharyaschev, M. (2005). Temporal logics over transitive states. In Conference on Automated Deduction CADE-20 Vol. 3632 (pp. 182-203). Berlin: Springer.

    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 http://gateway.webofknowledge.com/

    2003

    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_15

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

    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 http://gateway.webofknowledge.com/

    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 http://gateway.webofknowledge.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 http://gateway.webofknowledge.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 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 2381 LNAI (pp. 85-99).

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

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