Evgeny Zolin (Евгений Золин)
Evgeny Zolin (Евгений Золин)
Verified email at lpcs.math.msu.su - Homepage
TitleCited byYear
Deciding semantic matching of stateless services
D Hull, E Zolin, A Bovykin, I Horrocks, U Sattler, R Stevens
AAAI, 1319-1324, 2006
80*2006
Complexity of reasoning in Description Logics
E Zolin
Web-resource available at URL http://www.cs.man.ac.uk/~ezolin/dl/, 2007
37*2007
Completeness and definability in the logic of noncontingency
EE Zolin
Notre Dame Journal of Formal Logic 40 (4), 533-547, 1999
361999
How many legs do I have? Non-simple roles in number restrictions revisited
Y Kazakov, U Sattler, E Zolin
International Conference on Logic for Programming Artificial Intelligence …, 2007
312007
Embeddings of propositional monomodal logics
EE Zolin
Logic Journal of IGPL 8 (6), 861-882, 2000
162000
Modal definability of first-order formulas with free variables and query answering
S Kikot, E Zolin
Journal of Applied Logic 11 (2), 190-216, 2013
122013
Query Answering via Modal Definability with FaCT++: First Blood.
S Kikot, D Tsarkov, M Zakharyaschev, E Zolin
Description Logics, 328-340, 2013
82013
Query answering based on modal correspondence theory
E Zolin
Proc. of the 4th “Methods for Modalities” Workshop (M4M-4), 21-37, 2005
82005
Filtration Safe Operations on Frames
S Kikot, I Shapirovsky, E Zolin
Advances in Modal Logic, 2014
62014
Undecidability of the Problem of Recognizing Axiomatizations of Superintuitionistic Propositional Calculi
E Zolin
Studia Logica, 1-19, 2013
62013
Modal logic applied to query answering and the case for variable modalities
E Zolin
Workshop on Description Logics, 2007
62007
Infinitary expressibility of necessity in terms of contingency
E Zolin
Proceedings of the sixth ESSLLI student session, 325-334, 2001
52001
Undecidability of the transitive graded modal logic with converse
E Zolin
Journal of Logic and Computation 27 (5), 1399-1420, 2016
42016
A Framework for Describing Information Providing Web Services
A Bovykin, E Zolin
Proceedings of the 13th Workshop on Automated Reasoning (ARW 2006), 3-4, 2006
4*2006
A formal framework for describing information providing web services
A Bovykin, E Zolin
Technical report, University of Manchester. Available at http://dynamo. man …, 2005
32005
Sequential reflexive logics with noncontingency operator
EE Zolin
Mathematical Notes 72 (5-6), 784-798, 2002
32002
Deciding semantic matching of stateless services
A Bovykin, E Zolin
Proceedings of the 5th UK e-Science All Hands Meeting (AHM 2006), 682-685, 2006
22006
Is your RBox safe
Y Kazakov, U Sattler, E Zolin
Technical report. The University of Manchester, 2007
12007
Относительная интерпретируемость модальных логик
ЕЕ Золин
Фундаментальная и прикладная математика 7 (1), 47-69, 2001
12001
Sequential logic of arithmetic decidability
EE Zolin
MOSCOW UNIVERSITY MATHEMATICS BULLETIN C/C OF VESTNIK-MOSKOVSKII UNIVERSITET …, 2001
12001
The system can't perform the operation now. Try again later.
Articles 1–20