Yevgeny Kazakov, Ulrike Sattler, Evgeny Zolin.
How many legs do I have? Non-simple roles in number restrictions revisited.
In
Proc. of the 14th Int. Conf. on Logic for Programming, Artificial Intelligence, and Reasoning
(LPAR'2007), Yerevan, Armenia
October 15-19, 2007.
vol. 4790
in
LNAI,
pp. 303-317, Springer Verlag, 2007.
[ pdf ]
An accompanying technical report:
Y.Kazakov, U.Sattler, E.Zolin.
Is your RBox safe?
Information Management Group, School of Computer Science, The University of Manchester,
2007.
[ pdf,
pps ]
Evgeny Zolin.
Modal logic applied to query answering and the case for variable modalities.
In Proc. of the 20th Int. Workshop on Description Logics
(DL'2007),
Free University of Bozen–Bolzano,
Brixen-Bressanone, Italy, June 8–10, 2007.
Vol. 250 in
CEUR,
pp. 515–522, 2007.
Available at CEUR
[ pdf ]
or locally
[paper: pdf,
slides: pps ].
An accompanying technical report:
Modal logic with variable modalities with applications to querying knowledge bases.
The University of Manchester, 2006
[TR: pdf, abstract:
htm,
slides: pps ]
2006
Andrey Bovykin and Evgeny Zolin.
A formal framework for describing information providing web services.
In Proc. of the 13th Workshop on Automated Reasoning
(ARW 2006),
Bristol, UK, April 3–4, 2006, pp. 3–4.
[extended abstract: pdf,
poster: pps ]
Duncan Hull, Ulrike Sattler, Evgeny Zolin, Robert Stevens, Andrey Bovykin, Ian Horrocks.
Deciding semantic matching of stateless services.
In Proc. of the 21st National Conf. on Artificial Intelligence
(AAAI'2006),
Boston, Massachusetts, USA, July 16–20, 2006, pp. 1319–1324.
ISBN 978-1-57735-281-5.
[ pdf ]
An extended abstract will appear in Proc. of the 5th UK e-Science All Hands Meeting
(AHM'2006).
Nottingham (UK), September 18–21, 2006.
[extended abstract: pdf,
poster: pps ]
2005
Andrey Bovykin and Evgeny Zolin.
A formal framework for describing information providing web services.
Technical Report. The University of Manchester, 2005.
[ pdf ]
Evgeny Zolin.
Query answering based on modal correspondence theory.
In Proc. of the 4th "Methods for Modalities" Workshop
(M4M–4),
Berlin – Adlershof, Germany, December 1–2, 2005, pp. 21–37.
[ paper:
pdf,
ps.zip;
slides:
pps ]
2002
PhD Thesis: Modal Logics with the Non-Contingency Operator
Scientific advisors:
Sergei N. Artemov,
Vladimir A. Uspensky.
In Russian. [extended abstract:
pdf,
ps.zip;
full text:
pdf,
ps.zip ]
The content is mainly covered by the papers listed below.
E.E.Zolin.
Sequential reflexive logics with a non-contingency operator.
Mathematical Notes,
vol. 72, no. 5–6,
pp. 784–798. Springer New York, November 2002.
[ paper:
pdf;
abstract:
pdf,
htm ]
Original paper in Russian:
Е.Е.Золин.
Секвенциальные рефлексивные логики с оператором разрешимости.
Математические заметки,
2002, том 72, вып. 6, стр. 853-868.
[ paper:
pdf,
ps.zip;
abstract:
htm ]
Evgeni E. Zolin.
Infinitary definability of necessity in terms of contingency.
In Proc. of
ESSLLI Student Session.
Finland, Helsinki, August 13–24, 2001, pp. 310–319.
[ paper:
pdf;
extended abstract:
pdf ]
[full proceedings of the student session:
pdf ]
Evgeni E. Zolin.
Sequential logic of arithmetic decidability.
Vestnik Moskovskogo Universiteta.
Seriya 1: Matematika, Mekhanika.
2001, no. 6, pp. 43–48, 65. (in Russian)
[ paper:
pdf,
ps.zip;
abstract (both in English and in Russian):
pdf,
ps.zip ]
Evgeni E. Zolin.
Linear modalities in the minimal modal logic.
Vestnik Moskovskogo Universiteta.
Seriya 1: Matematika, Mekhanika. 2001, no. 4, pp. 47–50, 71.
(in Russian)
[ paper:
pdf,
ps.zip ]
Evgeni E. Zolin.
Completeness and Definability in the Logic of Noncontingency.
Notre Dame Journal of Formal Logic,
1999, vol. 40, no. 4, pp. 533–547.
[ paper:
pdf,
ps.zip;
abstract:
htm ]
Note: in fact, this paper has been written and submitted in 2001, but at that time
the NDJFL was in the process of releasing the 1999 issue.
1997
Evgeni E. Zolin.
The Craig interpolation property in logics of proofs with a strong provability operator.
Vestnik Moskovskogo Universiteta.
Seriya 1: Matematika, Mekhanika.
1997, no. 4, pp. 53–55. (in Russian)
[ htm ]