The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Boris Konev" ( http://dblp.L3S.de/Authors/Boris_Konev )

  Author page on DBLP  Author page in RDF  Community of Boris Konev in ASPL-2

Publication years (Num. hits)
2001-2006 (20) 2007-2009 (16) 2010-2013 (15) 2014-2015 (16) 2016-2019 (12)
Publication types (Num. hits)
article(18) incollection(2) inproceedings(50) proceedings(9)
Venues (Conferences, Journals, ...)
Description Logics(10) CoRR(7) CADE(5) KR(5) TIME(4) FroCoS(3) IJCAI(3) IJCAR(3) AAAI(2) Artif. Intell.(2) ECAI(2) JELIA(2) PAAR@IJCAR(2) TAROS(2) ACM Trans. Comput. Log.(1) Advances in Modal Logic(1) More (+10 of total 41)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 13 occurrences of 11 keywords

Results
Found 80 publication records. Showing 79 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Maryam Almarwani, Boris Konev, Alexei Lisitsa Flexible Access Control and Confidentiality over Encrypted Data for Document-based Database. Search on Bibsonomy ICISSP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Elena Botoeva, Boris Konev, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Mario Ricardo Cruz Duarte, Boris Konev, Ana Ozaki ExactLearner: A Tool for Exact Learning of EL Ontologies. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Mario Ricardo Cruz Duarte, Boris Konev, Ana Ozaki Exact Learning of EL Ontologies. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Boris Konev, Josef Urban, Philipp Rümmer (eds.) 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. Search on Bibsonomy PAAR@FLoC The full citation details ... 2018 DBLP  BibTeX  RDF
1Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter Exact Learning of Lightweight Description Logic Ontologies. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter Exact Learning of Lightweight Description Logic Ontologies. Search on Bibsonomy J. Mach. Learn. Res. The full citation details ... 2017 DBLP  BibTeX  RDF
1Boris Konev, Stephan Schulz 0001, Laurent Simon (eds.) IWIL@LPAR 2015, 11th International Workshop on the Implementation of Logics, Suva, Fiji, November 23, 2015 Search on Bibsonomy IWIL@LPAR The full citation details ... 2016 DBLP  BibTeX  RDF
1Boris Konev, Ana Ozaki, Frank Wolter A Model for Learning Description Logic Ontologies Based on Exact Learning. Search on Bibsonomy AAAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Elena Botoeva, Boris Konev, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. Search on Bibsonomy Reasoning Web The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Boris Konev, Temur Kutsia Anti-Unification of Concepts in Description Logic EL. Search on Bibsonomy KR The full citation details ... 2016 DBLP  BibTeX  RDF
1Boris Konev, Carsten Lutz, Frank Wolter, Michael Zakharyaschev Conservative Rewritability of Description Logic TBoxes. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Boris Konev, Alexei Lisitsa Computer-aided proof of Erdős discrepancy properties. Search on Bibsonomy Artif. Intell. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Richard Williams, Boris Konev, Frans Coenen Collaborating Low Cost Micro Aerial Vehicles: A Demonstration. Search on Bibsonomy TAROS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Boris Konev, Ana Ozaki, Frank Wolter Exact Learning Description Logic Ontologies from Data Retrieval Examples. Search on Bibsonomy Description Logics The full citation details ... 2015 DBLP  BibTeX  RDF
1Boris Konev, Carsten Lutz, Frank Wolter, Michael Zakharyaschev Conservative Rewritability of Description Logic TBoxes: First Results. Search on Bibsonomy Description Logics The full citation details ... 2015 DBLP  BibTeX  RDF
1Diego Calvanese, Boris Konev (eds.) Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015. Search on Bibsonomy Description Logics The full citation details ... 2015 DBLP  BibTeX  RDF
1Stephan Schulz 0001, Leonardo de Moura, Boris Konev (eds.) 4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR 2014, Vienna, Austria, 2014 Search on Bibsonomy PAAR@IJCAR The full citation details ... 2015 DBLP  BibTeX  RDF
1Richard Williams, Boris Konev, Frans Coenen Scalable distributed collaborative tracking and mapping with Micro Aerial Vehicles. Search on Bibsonomy IROS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Boris Konev, Michel Ludwig, Dirk Walther 0002, Frank Wolter The Logical Difference for the Lightweight Description Logic EL. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Boris Konev, Alexei Lisitsa Computer-Aided Proof of Erdos Discrepancy Properties. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Boris Konev, Alexei Lisitsa A SAT Attack on the Erdos Discrepancy Conjecture. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Richard Williams, Boris Konev, Frans Coenen Multi-agent Environment Exploration with AR.Drones. Search on Bibsonomy TAROS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Michel Ludwig, Boris Konev Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference. Search on Bibsonomy KR The full citation details ... 2014 DBLP  BibTeX  RDF
1Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter Exact Learning of Lightweight Description Logic Ontologies. Search on Bibsonomy KR The full citation details ... 2014 DBLP  BibTeX  RDF
1William Gatens, Boris Konev, Frank Wolter Lower and Upper Approximations for Depleting Modules of Description Logic Ontologies. Search on Bibsonomy Description Logics The full citation details ... 2014 DBLP  BibTeX  RDF
1Boris Konev, Alexei Lisitsa A SAT Attack on the Erdős Discrepancy Conjecture. Search on Bibsonomy SAT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1William Gatens, Boris Konev, Frank Wolter Lower and Upper Approximations for Depleting Modules of Description Logic Ontologies. Search on Bibsonomy ECAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Boris Konev, Carsten Lutz, Dirk Walther 0002, Frank Wolter Model-theoretic inseparability and modularity of description logic ontologies. Search on Bibsonomy Artif. Intell. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Clare Dixon, Boris Konev, Michael Fisher 0001, Sherly Nietiadi Deductive temporal reasoning with constraints. Search on Bibsonomy J. Applied Logic The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1William Gatens, Boris Konev, Frank Wolter Module Extraction for Acyclic Ontologies. Search on Bibsonomy WoMO The full citation details ... 2013 DBLP  BibTeX  RDF
1Michel Ludwig, Boris Konev Towards Practical Uniform Interpolation and Forgetting for ALC TBoxes. Search on Bibsonomy Description Logics The full citation details ... 2013 DBLP  BibTeX  RDF
1Boris Konev, Carsten Lutz, Frank Wolter Exact Learning of TBoxes in EL and DL-Lite. Search on Bibsonomy Description Logics The full citation details ... 2013 DBLP  BibTeX  RDF
1Richard Williams, Boris Konev Propositional Temporal Proving with Reductions to a SAT Problem. Search on Bibsonomy CADE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Boris Konev, Michel Ludwig, Dirk Walther 0002, Frank Wolter The Logical Difference for the Lightweight Description Logic EL. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Amir Niknafs-Kermani, Boris Konev, Michael Fisher 0001 Symmetric Temporal Theorem Proving. Search on Bibsonomy TIME The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Boris Konev, Michel Ludwig, Frank Wolter Logical Difference Computation with CEX2.5. Search on Bibsonomy IJCAR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Renate A. Schmidt, Stephan Schulz 0001, Boris Konev (eds.) Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning, PAAR-2010, Edinburgh, Scotland, UK, July 14, 2010 Search on Bibsonomy PAAR@IJCAR The full citation details ... 2012 DBLP  BibTeX  RDF
1Clare Dixon, Boris Konev, Renate A. Schmidt, Dmitry Tishkovsky Labelled Tableaux for Temporal Logic with Cardinality Constraints. Search on Bibsonomy SYNASC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider 0002, Frank Wolter, Michael Zakharyaschev Conjunctive Query Inseparability of OWL 2 QL TBoxes. Search on Bibsonomy AAAI The full citation details ... 2011 DBLP  BibTeX  RDF
1Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider 0002, Frank Wolter, Michael Zakharyaschev Module Extraction via Query Inseparability in OWL 2 QL. Search on Bibsonomy Description Logics The full citation details ... 2011 DBLP  BibTeX  RDF
1Boris Konev, Renate A. Schmidt, Stephan Schulz 0001 Special issue on practical aspects of automated reasoning. Search on Bibsonomy AI Commun. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Boris Konev, Carsten Lutz, Denis K. Ponomaryov, Frank Wolter Decomposing Description Logic Ontologies. Search on Bibsonomy KR The full citation details ... 2010 DBLP  BibTeX  RDF
1Boris Konev, Dirk Walther 0002, Frank Wolter Forgetting and Uniform Interpolation in Extensions of the Description Logic EL. Search on Bibsonomy Description Logics The full citation details ... 2009 DBLP  BibTeX  RDF
1Clare Dixon, Michael Fisher 0001, Boris Konev Taming the Complexity of Temporal Epistemic Reasoning. Search on Bibsonomy FroCoS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Boris Konev, Dirk Walther 0002, Frank Wolter Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies. Search on Bibsonomy IJCAI The full citation details ... 2009 DBLP  BibTeX  RDF
1Michael Fisher 0001, Boris Konev, Alexei Lisitsa Temporal Verification of Fault-Tolerant Protocols. Search on Bibsonomy Methods, Models and Tools for Fault Tolerance The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Boris Konev, Carsten Lutz, Dirk Walther 0002, Frank Wolter Formal Properties of Modularisation. Search on Bibsonomy Modular Ontologies The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Piotr Rudnicki, Geoff Sutcliffe, Boris Konev, Renate A. Schmidt, Stephan Schulz 0001 (eds.) Proceedings of the LPAR 2008 Workshops, Knowledge Exchange: Automated Provers and Proof Assistants, and the 7th International Workshop on the Implementation of Logics, Doha, Qatar, November 22, 2008 Search on Bibsonomy LPAR Workshops The full citation details ... 2008 DBLP  BibTeX  RDF
1Clare Dixon, Michael Fisher 0001, Boris Konev, Alexei Lisitsa Practical First-Order Temporal Reasoning. Search on Bibsonomy TIME The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Boris Konev, Carsten Lutz, Dirk Walther 0002, Frank Wolter Logical Difference and Module Extraction with CEX and MEX. Search on Bibsonomy Description Logics The full citation details ... 2008 DBLP  BibTeX  RDF
1Boris Konev, Carsten Lutz, Dirk Walther 0002, Frank Wolter CEX and MEX: Logical Diff and Logic-based Module Extraction in a Fragment of OWL. Search on Bibsonomy OWLED (Spring) The full citation details ... 2008 DBLP  BibTeX  RDF
1Boris Konev, Dirk Walther 0002, Frank Wolter The Logical Difference Problem for Description Logic Terminologies. Search on Bibsonomy IJCAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Boris Konev, Renate A. Schmidt, Stephan Schulz 0001 (eds.) Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, Sydney, Australia, August 10-11, 2008 Search on Bibsonomy PAAR/ESHOL The full citation details ... 2008 DBLP  BibTeX  RDF
1Boris Konev, Carsten Lutz, Dirk Walther 0002, Frank Wolter Semantic Modularity and Module Extraction in Description Logics. Search on Bibsonomy ECAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Clare Dixon, Michael Fisher 0001, Boris Konev, Alexei Lisitsa Efficient First-Order Temporal Logic for Infinite-State Systems Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Clare Dixon, Michael Fisher 0001, Boris Konev Temporal Logic with Capacity Constraints. Search on Bibsonomy FroCoS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Boris Konev, Frank Wolter (eds.) Frontiers of Combining Systems, 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007, Proceedings Search on Bibsonomy FroCoS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Clare Dixon, Michael Fisher 0001, Boris Konev Tractable Temporal Reasoning. Search on Bibsonomy IJCAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Boris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev On Dynamic Topological and Metric Logics. Search on Bibsonomy Studia Logica The full citation details ... 2006 DBLP  DOI  BibTeX  RDF topological logic, temporal logic, topology, modal logic, dynamical system, decidability, metric space
1Anatoli Degtyarev, Michael Fisher 0001, Boris Konev Monodic temporal resolution. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Temporal logic, resolution, automated theorem proving
1Michael Fisher 0001, Wiebe van der Hoek, Boris Konev, Alexei Lisitsa (eds.) Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings Search on Bibsonomy JELIA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Alexander V. Lyaletski, Boris Konev On Herbrand's Theorem for Intuitionistic Logic. Search on Bibsonomy JELIA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Clare Dixon, Michael Fisher 0001, Boris Konev Is There a Future for Deductive Temporal Verification? Search on Bibsonomy TIME The full citation details ... 2006 DBLP  DOI  BibTeX  RDF fragments of PTL, deductive verification, clausal temporal resolution, complexity
1Boris Konev, Alexander V. Lyaletski Tableau Method with Free Variables for Intuitionistic Logic. Search on Bibsonomy Intelligent Information Systems The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Boris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev Dynamic topological logics over spaces with continuous functions. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2006 DBLP  BibTeX  RDF
1Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher 0001, Ullrich Hustadt Mechanising first-order temporal resolution. Search on Bibsonomy Inf. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1M. Carmen Fernández Gago, Ullrich Hustadt, Clare Dixon, Michael Fisher 0001, Boris Konev First-Order Temporal Verification in Practice. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2005 DBLP  DOI  BibTeX  RDF temporal logics of knowledge, theorem proving, resolution, first-order temporal logic
1Michael Fisher 0001, Boris Konev, Alexei Lisitsa Practical Infinite-State Verification with Temporal Reasoning. Search on Bibsonomy VISSAS The full citation details ... 2005 DBLP  BibTeX  RDF
1Boris Konev, Frank Wolter, Michael Zakharyaschev Temporal Logics over Transitive States. Search on Bibsonomy CADE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Ullrich Hustadt, Boris Konev, Renate A. Schmidt Deciding Monodic Fragments by Temporal Resolution. Search on Bibsonomy CADE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Ullrich Hustadt, Boris Konev, Alexandre Riazanov, Andrei Voronkov TeMP: A Temporal Monodic Prover. Search on Bibsonomy IJCAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Anatoli Degtyarev, Michael Fisher 0001, Boris Konev Monodic temporal resolution Search on Bibsonomy CoRR The full citation details ... 2003 DBLP  BibTeX  RDF
1Boris Konev, Anatoli Degtyarev, Michael Fisher 0001 Handling Equality in Monodic Temporal Resolution. Search on Bibsonomy LPAR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher 0001, Ullrich Hustadt Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case. Search on Bibsonomy TIME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Anatoli Degtyarev, Michael Fisher 0001, Boris Konev Monodic Temporal Resolution. Search on Bibsonomy CADE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Ullrich Hustadt, Boris Konev TRP++2.0: A Temporal Resolution Prover. Search on Bibsonomy CADE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Anatoli Degtyarev, Michael Fisher 0001, Boris Konev A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic. Search on Bibsonomy TABLEAUX The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Evgeny Dantsin, Michael Gavrilovich, Edward A. Hirsch, Boris Konev MAX SAT approximation beyond the limits of polynomial-time approximation. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #79 of 79 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license