Folgen
Evgeny Zolin (Евгений Золин)
Evgeny Zolin (Евгений Золин)
Bestätigte E-Mail-Adresse bei lpcs.math.msu.su - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20