Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Konev, Boris
36  Ergebnisse:
Personensuche X
?
1

Zero Update Encryption Adjustment on Encrypted Database Que..:

, In: Communications in Computer and Information Science; Information Systems Security and Privacy,
Almarwani, Maryam ; Konev, Boris ; Lisitsa, Alexei - p. 25-47 , 2023
Link: https://doi.org/10.1007/..
 
?
2

Frontiers of Combining Systems: 13th International Symposiu.. 

Lecture Notes in Artificial Intelligence, 12941
Konev, Boris ; Reger, Giles - 1st ed. 2021 . , 2021
Link: https://doi.org/10.1007/..
 
?
3

Fine-Grained Access Control for Querying Over Encrypted Doc..:

, In: Communications in Computer and Information Science; Information Systems Security and Privacy,
Almarwani, Maryam ; Konev, Boris ; Lisitsa, Alexei - p. 403-425 , 2020
Link: https://doi.org/10.1007/..
 
?
4

Release-Aware Encryption Adjustment Query processing for Do..:

, In: Proceedings of the 2020 4th International Conference on Cloud and Big Data Computing,
Almarwani, Maryam ; Konev, Boris ; Lisitsa, Alexei - p. 48-51 , 2020
Link: https://dl.acm.org/doi/1..
 
?
5

Exact learning of lightweight description logic ontologies:

Konev, Boris ; Ozaki, Ana ; Wolter, Frank.. (2018)  201 - p. 1-63
Link: http://www.jmlr.org/pape..
 
?
6

Inseparability and conservative extensions of description l.. 

, In: Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering / edited by Jeff Z. Pan, Diego Calvanese, Thomas Eiter, Ian Horrocks, Michael Kifer, Fangzhen Lin, Yuting Zhao
a survey 
Botoeva, Elena ; Konev, Boris ; Ryzhikov, Vladislav.... (2017)  - p. 27-89
Link: https://doi.org/10.1007/..
 
?
7

Computer-aided proof of Erdős discrepancy properties:

Konev, Boris ; Lisitsa, Alexei
Artificial Intelligence.  224 (2015)  - p. 103-118 , 2015
Link: https://doi.org/10.1016/..
 
?
8

Deductive temporal reasoning with constraints:

Dixon, Clare ; Konev, Boris ; Fisher, Michael.
Journal of Applied Logic.  11 (2013)  1 - p. 30-51 , 2013
Link: https://doi.org/10.1016/..
 
?
9

Model-theoretic inseparability and modularity of descriptio..:

Konev, Boris ; Lutz, Carsten ; Walther, Dirk.
Artificial Intelligence.  203 (2013)  - p. 66-103 , 2013
Link: https://doi.org/10.1016/..
 
?
10

Frontiers of combining systems 

6th international symposium, FroCoS 2007, Liverpool, UK, Se...  Lecture notes in computer science ; 4720, Lecture notes in artificial intelligence
Konev, Boris ; Wolter, Frank , 2007
Link: http://dx.doi.org/10.100..
 
?
11

Logics in Artificial Intelligence 

10th European Conference, JELIA 2006, Liverpool, UK, Septem...  Lecture Notes in Computer Science ; 4160;SpringerLink, Bücher
Konev, Boris ; Lisitsa, Alexei ; Fisher, Michael. , 2006
Link: http://dx.doi.org/10.100..
 
?
12

Foreword:

Konev, Boris ; Schmidt, Renate ; Schulz, Stephan
Journal of Applied Non-Classical Logics.  16 (2006)  1-2 - p. 7-8 , 2006
Link: https://doi.org/10.1080/..
 
?
13

Monodic temporal resolution:

Degtyarev, Anatoli ; Fisher, Michael ; Konev, Boris
ACM Transactions on Computational Logic (TOCL).  7 (2006)  1 - p. 108-150 , 2006
Link: https://dl.acm.org/doi/1..
 
?
14

Monodic temporal resolution:

Degtyarev, Anatoli ; Fisher, Michael ; Konev, Boris
ACM Transactions on Computational Logic.  7 (2006)  1 - p. 108-150 , 2006
Link: https://doi.org/10.1145/..
 
?
15

Mechanising first-order temporal resolution:

Konev, Boris ; Degtyarev, Anatoli ; Dixon, Clare..
Information and Computation.  199 (2005)  1-2 - p. 55-86 , 2005
Link: https://doi.org/10.1016/..
 
1-15