Follow
Evgeny Zolin (Евгений Золин)
Evgeny Zolin (Евгений Золин)
Verified email at lpcs.math.msu.su - Homepage
Title
Cited by
Cited by
Year
Deciding semantic matching of stateless services
D Hull, E Zolin, A Bovykin, I Horrocks, U Sattler, R Stevens
AAAI, 1319-1324, 2006
822006
Completeness and definability in the logic of noncontingency
EE Zolin
Notre Dame Journal of Formal Logic 40 (4), 533-547, 1999
491999
Complexity of reasoning in Description Logics
E Zolin
Web-resource available at URL http://www.cs.man.ac.uk/~ezolin/dl/, 2007
45*2007
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
352007
Embeddings of propositional monomodal logics
EE Zolin
Logic Journal of IGPL 8 (6), 861-882, 2000
182000
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
172013
Query Answering via Modal Definability with FaCT++: First Blood.
S Kikot, D Tsarkov, M Zakharyaschev, E Zolin
Description Logics, 328-340, 2013
122013
Query answering based on modal correspondence theory
E Zolin
Proc. of the 4th “Methods for Modalities” Workshop (M4M-4), 21-37, 2005
92005
Filtration Safe Operations on Frames
S Kikot, I Shapirovsky, E Zolin
Advances in Modal Logic, 2014
82014
Infinitary expressibility of necessity in terms of contingency
E Zolin
Proceedings of the sixth ESSLLI student session, 325-334, 2001
82001
Undecidability of the transitive graded modal logic with converse
E Zolin
Journal of Logic and Computation 27 (5), 1399-1420, 2017
72017
Undecidability of the Problem of Recognizing Axiomatizations of Superintuitionistic Propositional Calculi
E Zolin
Studia Logica, 1-19, 2013
62013
Sequential reflexive logics with noncontingency operator
EE Zolin
Mathematical Notes 72 (5), 784-798, 2002
62002
Modal logic applied to query answering and the case for variable modalities
E Zolin
Workshop on Description Logics, 2007
52007
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
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
Completeness of logics with the transitive closure modality and related logics
S Kikot, I Shapirovsky, E Zolin
arXiv preprint arXiv:2011.02205, 2020
12020
Local Goldblatt–Thomason theorem
E Zolin
Logic Journal of IGPL 23 (6), 861-880, 2015
12015
On Completeness of Logics Enriched with Transitive Closure Modality
I Shapirovsky, E Zolin
This volume contains the abstracts of the talks presented at TACL 2015 …, 2015
12015
The system can't perform the operation now. Try again later.
Articles 1–20