Browse by People

Konev, Boris ORCID: 0000-0002-6507-0494 and Kutsia, Temur (2016) Anti-Unification of Concepts in Description Logic EL. In: 15th International Conference on Principles of Knowledge Representation and Reasoning, 2016-4-25 - 2016-4-29, Cape Town.

Chu, Ge (2021) Automation of Penetration Testing. PhD thesis, University of Liverpool.

Williams, Richard, Konev, Boris ORCID: 0000-0002-6507-0494 and Coenen, Frans ORCID: 0000-0003-1026-6649 (2015) Collaborating Low Cost Micro Aerial Vehicles: A Demonstration. TOWARDS AUTONOMOUS ROBOTIC SYSTEMS (TAROS 2015), 9287. 296 - 302.

Williams, Richard, Konev, Boris ORCID: 0000-0002-6507-0494 and Coenen, Frans ORCID: 0000-0003-1026-6649 (2015) Collaborating Low Cost Micro Aerial Vehicles: A Demonstration. TOWARDS AUTONOMOUS ROBOTIC SYSTEMS (TAROS 2015), 9287. pp. 296-302.

Konev, Boris ORCID: 0000-0002-6507-0494 and Lisitsa, Alexei (2015) Computer-aided proof of Erdős discrepancy properties. Artificial Intelligence, 224. 103 - 118.

Konev, Boris ORCID: 0000-0002-6507-0494 and Lisitsa, Alexei (2015) Computer-aided proof of Erdős discrepancy properties. Artificial Intelligence, 224. pp. 103-118.

Konev, B ORCID: 0000-0002-6507-0494, Lutz, C, Wolter, F and Zakharyaschev, M (2015) Conservative rewritability of description logic TBoxes: First results. In: 28th International Workshop on Description Logics, 2015-6-7 - 2015-6-10, Athens.

Dixon, Clare ORCID: 0000-0002-4610-9533, Konev, Boris ORCID: 0000-0002-6507-0494, Fisher, Michael and Nietiadi, Sherly (2013) Deductive temporal reasoning with constraints. JOURNAL OF APPLIED LOGIC, 11 (1). pp. 30-51.

Dixon, Clare, Fisher, Michael, Konev, Boris ORCID: 0000-0002-6507-0494 and Lisitsa, Alexei (2007) Efficient First-Order Temporal Logic for Infinite-State Systems.

Hustadt, U ORCID: 0000-0002-0455-0267, Nalon, C and Dixon, C ORCID: 0000-0002-4610-9533 (2018) Evaluating pre-processing techniques for the separated normal form for temporal logics. In: 6th Workshop on practical aspects of automated reasoning (PAAR-2018), 2018-7-19 - 2018-7-19, Oxford, UK.

Konev, Boris, Lutz, Carsten, Ozaki, Ana and Wolter, Frank (2018) Exact Learning of Light weight Description Logic Ontologies. JOURNAL OF MACHINE LEARNING RESEARCH, 18.

Konev, Boris ORCID: 0000-0002-6507-0494, Lutz, Carsten, Ozaki, Ana and Wolter, Frank (2018) Exact Learning of Lightweight Description Logic Ontologies. Journal of Machine Learning Research, 18 (201). pp. 1-63.

Konev, Boris, Lutz, Carsten, Ozaki, Ana and Wolter, Frank (2018) Exact Learning of Lightweight Description Logic Ontologies. Journal of Machine Learning Research, 18. 201:1 - 201:1.

Konev, B ORCID: 0000-0002-6507-0494, Ozaki, A and Wolter, F (2015) Exact learning description logic ontologies from data retrieval examples. In: 28th International Workshop on Description Logics, 2015-6-7 - 2015-6-10, Athens.

Duarte, Ricardo, Konev, Boris ORCID: 0000-0002-6507-0494 and Ozaki, Ana (2018) ExactLearner: A Tool for Exact Learning of εL Ontologies. In: 16th International Conference on Principles of Knowledge Representation and Reasoning, 2018-10-30 - 2018-11-2, Tempe, Arizona, USA.

Alajlan, Saad ORCID: 0000-0001-7192-820X (2021) Generating an RDF dataset from Twitter data: A Study Using Machine Learning. PhD thesis, University of Liverpool.

Botoeva, Elena, Konev, Boris ORCID: 0000-0002-6507-0494, Lutz, Carsten, Ryzhikov, Vladislav, Wolter, Frank and Zakharyaschev, Michael (2018) Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. .

Botoeva, Elena, Konev, Boris ORCID: 0000-0002-6507-0494, Lutz, Carsten, Ryzhikov, Vladislav, Wolter, Frank and Zakharyaschev, Michael (2018) Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. CoRR, abs/18.

Fortin, Marie, Konev, Boris ORCID: 0000-0002-6507-0494 and Wolter, Frank ORCID: 0000-0002-4470-606X (2022) Interpolants and Explicit Definitions in Extensions of the Description Logic EL. In: 19th International Conference on Principles of Knowledge Representation and Reasoning {KR-2022}, 2022-7-31 - 2022-8-5.

Fortin, Marie, Konev, Boris ORCID: 0000-0002-6507-0494 and Wolter, Frank (2022) Interpolants and Explicit Definitions in Extensions of the Description Logic EL. [Preprint]

Fortin, Marie, Konev, Boris ORCID: 0000-0002-6507-0494 and Wolter, Frank ORCID: 0000-0002-4470-606X (2021) Interpolants and Explicit Definitions in Horn Description Logics (Extended Abstract). In: 34th International Workshop on Description Logics, 2021-9-19 - 2021-9-21, Bratislava.

Konev, Boris ORCID: 0000-0002-6507-0494, Ozaki, Ana and Wolter, Frank ORCID: 0000-0002-4470-606X (2016) A Model for Learning Description Logic Ontologies Based on Exact Learning. .

Piro, Robert Model-theoretic characterisations of description logics. Doctor of Philosophy thesis, University of Liverpool.

Alajlan, Saad ORCID: 0000-0001-7192-820X, Coenen, Frans ORCID: 0000-0003-1026-6649, Konev, Boris ORCID: 0000-0002-6507-0494 and Mandya, Angrosh (2019) Ontology Learning from Twitter Data. In: 11th International Conference on Knowledge Engineering and Ontology Development, 2019-9-17 - 2019-9-19.

Almarwani, Maryam (2023) Querying Over Encrypted Databases and Flexible Access Control Using Advanced Encryption Adjustment Policies. PhD thesis, University of Liverpool.

Williams, Richard, Konev, Boris ORCID: 0000-0002-6507-0494 and Coenen, Frans ORCID: 0000-0003-1026-6649 (2015) Scalable Distributed Collaborative Tracking and Mapping with Micro Aerial Vehicles. In: 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2015-9-28 - 2015-10-2, Hamburg.

Hernich, Andre, Lutz, Carsten, Ozaki, Ana and Wolter, Frank (2015) Schema.org as a Description Logic. In: Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2015), 2015-7-25 - 2015-7-31, Buenos Aires, Argentina.

Niknafs-Kermani, Amir, Konev, Boris ORCID: 0000-0002-6507-0494 and Fisher, Michael (2012) Symmetric Temporal Theorem Proving. Master of Philosophy thesis, University of Liverpool.

Fortin, Marie, Konev, Boris ORCID: 0000-0002-6507-0494, Ryzhikov, Vladislav, Savateev, Yury, Wolter, Frank and Zakharyaschev, Michael (2022) Unique Characterisability and Learnability of Temporal Instance Queries. [Preprint]

Fortin, Marie, Konev, Boris ORCID: 0000-0002-6507-0494, Ryzhikov, Vladislav, Savateev, Yury, Wolter, Frank ORCID: 0000-0002-4470-606X and Zakharyaschev, Michael (2022) Unique Characterisability and Learnability of Temporal Instance Queries. In: 19th International Conference on Principles of Knowledge Representation and Reasoning {KR-2022}, 2022-7-31 - 2022-8-5.