|
|
Publications
2010 | 1. | R. Alenda, N. Olivetti, C. Schwind, and D. Tishkovsky, Tableau calculi for CSL over min-spaces, 2010, Accepted at The Annual Conference of the European Association for Computer Science Logic (CSL). [Extended version:pdf] | 2. | S. Babenyshev, V. Rybakov, R. A. Schmidt, and D. Tishkovsky, A Tableau Method for Checking Rule Admissibility in S4, 2010, Extended version of [8], in preparation. | 3. | S. Babenyshev, V. Rybakov, R. A. Schmidt, and D. Tishkovsky, A Tableau Method for Checking Rule Admissibility in S4, Electronic Notes in Theoretical Computer Science,
vol. 262,
pp. 17-32, 2010. | 4. | R. A. Schmidt and D. Tishkovsky, Automated Synthesis of Tableau Calculi, 2010, Invited paper to a special issue of Logical Methods in Computer Science, in preparation. | 5. | R. A. Schmidt and D. Tishkovsky, Using Tableau to Decide Expressive Description Logics with Role Negation, 2010, Revising for submission to Artificial Intelligence. |
|
---|
2009 | 6. | R. A. Schmidt and D. Tishkovsky, Synthesising Tableau Decision Procedures.
In:
U. Hustadt
(ed.):
Proceedings of the 16th Workshop on Automated Reasoning (ARW'09),
pp. 35-36, The University of Liverpool, April 21-22, 2009. | 7. | S. Babenyshev, V. Rybakov, R. A. Schmidt, and D. Tishkovsky, A Tableau Method for Checking Rule Admissibility in S4.
In:
C. Lynch, P. Narendran, F. Baader, S. Ghilardi, M. Hermann, V. Sofronie-Stokkermans, and A. Tiwari
(eds.):
Proceedings of the 23d International Workshop on Unification (UNIF'09) and the International Workshop on Automated Deduction: Decidability, Complexity, Tractability (ADDCT'09),
pp. 47-61, 2009. | 8. | S. Babenyshev, V. Rybakov, R. A. Schmidt, and D. Tishkovsky, A Tableau Method for Checking Rule Admissibility in S4.
In:
T. Bolander and T. Braüner
(eds.):
Methods for Modalities-6 Workshop Proceedings (M4M'09),
pp. 12-26, 2009. | 9. | R. A. Schmidt and D. Tishkovsky, Automated Synthesis of Tableau Calculi.
In:
M. Giese and A. Waaler
(eds.):
Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX'09),
vol. 5607 of Lecture Notes in Artificial Intelligence,
pp. 310-324, Springer, 2009. [Extended version:pdf] |
|
---|
2008 | 10. | R. A. Schmidt and D. Tishkovsky, On Combinations of Dynamic Logic and Doxastic Modal Logics, Journal of Logic, Language and Information,
vol. 17(1),
pp. 109-129, January, 2008. | 11. | R. A. Schmidt and D. Tishkovsky, A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments.
In:
A. Armando, P. Baumgartner, and G. Dowek
(eds.):
Proceedings of the 4th International Joint Conference on Automated Reasoning (IJCAR'08),
vol. 5195 of Lecture Notes in Computer Science,
pp. 194-209, Springer, 2008. |
|
---|
2007 | 12. | R. A. Schmidt and D. Tishkovsky, Analysis of Blocking Mechanisms for Description Logics.
In:
Proceedings of the 14th Workshop on Automated Reasoning (ARW'07),
pp. 51-52, Imperial College of Science, Technology and Medicine, London, April 19-20, 2007. | 13. | R. A. Schmidt and D. Tishkovsky, Deciding ALBO with Tableau.
In:
D. Calvanese, E. Franconi, V. Haarslev, D. Lembo, B. Motik, S. Tessaris, and A.-Y. Turhan
(eds.):
Proceedings of the 2007 International Workshop on Description Logics (DL'07),
pp. 135-146, 2007. | 14. | R. A. Schmidt and D. Tishkovsky, Using Tableau to Decide Expressive Description Logics with Role Negation.
In:
K. Aberer, K.-S. Choi, N. Noy, D. Allemang, K.-I. Lee, L. Nixon, J. Golbeck, P. Mika, D. Maynard, R. Mizoguchi, G. Schreiber, and P. Cudré-Mauroux
(eds.):
Proceedings of the 6th International Semantic Web Conference and the 2nd Asian Semantic Web Conference (ISWC'07),
vol. 4825 of Lecture Notes in Computer Science,
pp. 438-451, Springer, 2007. | 15. | R. A. Schmidt and D. Tishkovsky, Using Tableau to Decide Expressive Description Logics with Role Negation. Preprint
CSPP-42, University of Manchester, 2007. | 16. | M. Sheremet, D. Tishkovsky, F. Wolter, and M. Zakharyaschev, A Logic for Concepts and Similarity, Journal of Logic and Computation,
vol. 17(3),
pp. 415-452, 2007.
[ps,ps.gz]
|
|
---|
2006 | 17. | U. Hustadt, D. Tishkovsky, F. Wolter, and M. Zakharyaschev, Automated reasoning about metric and topology (System description).
In:
M. Fisher, W. van der Hoek, B. Konev, and A. Lisitsa
(eds.):
Proceedings of the 10th European Conference on Logics in Artificial Intelligence (JELIA'06),
vol. 4160 of Lecture Notes in Artificial Intelligence,
pp. 490-493, Springer, 2006.
[ps,pdf,ps.gz]
| 18. | M. Sheremet, D. Tishkovsky, F. Wolter, and M. Zakharyaschev, From topology to metric: modal logic and quantification in metric spaces.
In:
G. Governatori, I. Hodkinson, and Y. Venema
(eds.):
Advances in Modal Logic, Volume 6,
pp. 429-448, College Publications, 2006.
[ps,ps.gz]
|
|
---|
2005 | 19. | M. Sheremet, D. Tishkovsky, F. Wolter, and M. Zakharyaschev, `Closer' Representation and Reasoning.
In:
Proceedings of the 2005 International Workshop on Description Logics (DL'05),
pp. 25-36, 2005.
[ps,pdf,ps.gz]
| 20. | M. Sheremet, D. Tishkovsky, F. Wolter, and M. Zakharyaschev, Comparative similarity, tree automata, and Diophantine equations.
In:
G. Sutcliffe and A. Voronkov
(eds.):
Proceedings of the 12th International Conference on Logic Programming and Automated Reasoning (LPAR'05),
vol. 3835 of Lecture Notes in Artificial Intelligence,
pp. 651-665, Springer, 2005. |
|
---|
2004 | 21. | R. A. Schmidt, D. Tishkovsky, and U. Hustadt, Interaction between Knowledge, Action and Commitment within Agent Dynamic Logic, Studia Logica,
vol. 78(3),
pp. 381-415, December, 2004. | 22. | U. Hustadt, D. Tishkovsky, and F. Wolter, Logics of metric spaces with tessellation operator.
In:
Abstracts of TARSKI Workshop'04 of EU COST Action 274, 2004. | 23. | R. A. Schmidt and D. Tishkovsky, Multi-Agent Dynamic Logics with Informational Test, Annals of Mathematics and Artificial Intelligence,
vol. 42(1--3),
pp. 5-36, 2004, Special issue on Computational Logic in Multi-Agent Systems. |
|
---|
2003 | 24. | R. A. Schmidt and D. Tishkovsky, An Agent Logic Tableau System.
In:
Proceedings of the 10th Workshop on Automated Reasoning (ARW'03), University of Liverpool, April 15-16, 2003. | 25. | R. A. Schmidt and D. Tishkovsky, Combining Dynamic Logic with Doxastic Modal Logics.
In:
P. Balbiani, N.-Y. Suzuki, F. Wolter, and M. Zakharyaschev
(eds.):
Advances in Modal Logic, Volume 4,
pp. 371-392, King's College London Publ., 2003. | 26. | R. A. Schmidt and D. Tishkovsky, Combining Dynamic Logic with Doxastic Modal Logics. Preprint
CSPP-23, University of Manchester, 2003. | 27. | R. A. Schmidt, D. Tishkovsky, and U. Hustadt, Interaction between Knowledge, Action and Commitment within Agent Dynamic Logic. Preprint
CSPP-27, University of Manchester, 2003. |
|
---|
2002 | 28. | R. A. Schmidt and D. Tishkovsky, On Axiomatic Products of PDL and S5: Substitution, Tests and Knowledge.
In:
Proceedings of the 9th Workshop on Automated Reasoning (ARW'02), Imperial College of Science, Technology and Medicine, London, April 3-5, 2002. | 29. | R. A. Schmidt and D. Tishkovsky, Logics with commuting action and informational modalities.
In:
Advances in Modal Logic Conference Proceedings (AiML'02),
pp. 91-109, Toulouse, France, 30 September-2 October, 2002. | 30. | R. A. Schmidt and D. Tishkovsky, Multi-Agent Logics of Dynamic Belief and Knowledge.
In:
S. Greco, S. Flesca, N. Leone, and G. Ianni
(eds.):
Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA'02),
vol. 2424 of Lecture Notes in Artificial Intelligence,
pp. 38-49, Springer, 2002. | 31. | R. A. Schmidt and D. Tishkovsky, On Axiomatic Products of PDL and S5: Substitution, Tests and Knowledge, Bulletin of the Section of Logic,
vol. 31(1),
pp. 27-36, 2002. [pdf,ps.gz]
|
|
---|
2001 | 32. | D. E. Tishkovsky, On Beth Property in Extensions of Lukasiewicz Logics, Siberian Mathematical Journal,
vol. 43(1),
pp. 147-150, December, 2001. | 33. | R. A. Schmidt and D. Tishkovsky, A Decidable Dynamic Logic for Agents with Motivational Attitudes.
In:
Methods for Modalities-2 Workshop Proceedings (M4M'01), Amsterdam, November, 2001, 12 pages. [pdf,ps.gz]
[Extended version:pdf,ps.gz]
| 34. | R. A. Schmidt and D. Tishkovsky, An extension of *-free PDL for agent-based theories.
In:
Logic Colloquium'01 (the 2001 ASL European Summer Meeting). Book of abstracts of Invited and Contributed Talks, Vienna University of Technology, Vienna, Austria, August 6-11, 2001. | 35. | R. A. Schmidt and D. Tishkovsky, On Calculi and Kripke Semantics for Multi-agent Systems within the KARO framework.
In:
R. Gor\'e, A. Leitsch, and T. Nipkow
(eds.):
Short papers of the 1st International Joint Conference on Automated Reasoning (IJCAR'01),
pp. 150-159, University of Siena, Italy, June 18-23, 2001. | 36. | R. A. Schmidt and D. Tishkovsky, On Calculi and Kripke Semantics for Multi-agent Systems within the KARO framework.
In:
Proceedings of the 8th Workshop on Automated Reasoning (ARW'01),
pp. 30, The University of York, UK, March 22-23, 2001. | 37. | D. E. Tishkovsky, Algebraic Equivalents of Some Properties of Superintuitionistic Predicate Logics, Algebra and Logic,
vol. 40(2),
pp. 218-242, 2001. |
|
---|
2000 | 38. | D. Tishkovsky, On algebraic counterparts of some properties of superintuitionistic predicate and intuitionistic polymodal logics.
In:
Logic Colloquium'00 (the 2000 ASL European Summer Meeting). Book of abstracts of Invited and Contributed Talks,
pp. 248, Paris, France, July 23-31, 2000. |
|
---|
1999 | 39. | D. Tishkovsky, Interpolation and Beth Properties of Superintuitionistic Predicate and Intuitionistic Polymodal Logics.
In:
Logic Colloquium'99 (the 1999 ASL European Summer Meeting). Book of abstracts of Invited and Contributed Talks,
pp. 64, Utrecht, Netherlands, August 1-6, 1999. | 40. | D. E. Tishkovsky, Algebraization of superintuitionistic predicate logics. PhD thesis, Institute of Mathematics of Siberian Branch of Russian Academy of Science, Novosibirsk State University, 1999, 101 pages. | 41. | D. E. Tishkovsky, An autoreview of the PhD thesis "Algebraization of superintuitionistic predicate logics". Technical Report, Institute of Mathematics of Siberian Branch of Russian Academy of Science, Novosibirsk State University, 1999, 18 pages. | 42. | D. E. Tishkovsky, On algebraic semantics for superintuitionistic predicate logics, Algebra and Logic,
vol. 38(1),
pp. 36-50, 1999. |
|
---|
1998 | 43. | D. Tishkovsky, On Algebraic Counterpart of Beth Property of Superintuitionistic Predicate Logics.
In:
Logic Colloquium'98 (the 1998 ASL European Summer Meeting). Book of abstracts of Invited and Contributed Talks,
pp. 106, Prague, Czech Republic, August 9-15, 1998. | 44. | D. E. Tishkovsky, Algebraic equivalents of some properties of superintuitionistic predicate logics. Technical Report
38, Novosibirsk State University, 1998, 15 pages. | 45. | D. E. Tishkovsky, Interpolation property and superintuitionistic predicate logics, Siberian Mathematical Journal,
vol. 39(1),
pp. 172-180, 1998. |
|
---|
1996 | 46. | D. E. Tishkovsky, On algebraic semantics for superintuitionistic first-order logics.
In:
Minisemester on Logic, Algebra and Computer Science (Helena Rasiowa in memoriam), Abstracts,
pp. 32, Warsaw, Poland, December 2-22, 1996. | 47. | D. E. Tishkovsky, Constructing total algebraic semantics for superintuitionistic first-order logics.
In:
Abstracts of the Conference on Universal Algebra and Lattice Theory (UALT'96),
pp. 59, Szeged, Hungary, July 15-19, 1996. |
|
---|
1995 | 48. | D. E. Tishkovsky, Some Superintuitionistic Predicate Logics without Interpolation Property.
In:
Second Workshop on Non-Standard Logics and Logical Aspects of Computer Science, Abstracts of Papers,
pp. 80, Irkutsk, Russia, June 15-98, 1995. |
|
---|
|
|
|