| 2008 |
|---|
| 13 | EE | Renate A. Schmidt,
Dmitry Tishkovsky:
A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments.
IJCAR 2008: 194-209 |
| 12 | EE | Renate A. Schmidt,
Dmitry Tishkovsky:
On combinations of propositional dynamic logic and doxastic modal logics.
Journal of Logic, Language and Information 17(1): 109-129 (2008) |
| 2007 |
|---|
| 11 | EE | Renate A. Schmidt,
Dmitry Tishkovsky:
Deciding ALBO with Tableau.
Description Logics 2007 |
| 10 | EE | Renate A. Schmidt,
Dmitry Tishkovsky:
Using Tableau to Decide Expressive Description Logics with Role Negation.
ISWC/ASWC 2007: 438-451 |
| 9 | EE | Mikhail Sheremet,
Dmitry Tishkovsky,
Frank Wolter,
Michael Zakharyaschev:
A Logic for Concepts and Similarity.
J. Log. Comput. 17(3): 415-452 (2007) |
| 2006 |
|---|
| 8 | EE | Mikhail Sheremet,
Dmitry Tishkovsky,
Frank Wolter,
Michael Zakharyaschev:
From topology to metric: modal logic and quantification in metric spaces.
Advances in Modal Logic 2006: 429-448 |
| 7 | EE | Ullrich Hustadt,
Dmitry Tishkovsky,
Frank Wolter,
Michael Zakharyaschev:
Automated Reasoning About Metric and Topology.
JELIA 2006: 490-493 |
| 2005 |
|---|
| 6 | EE | Mikhail Sheremet,
Dmitry Tishkovsky,
Frank Wolter,
Michael Zakharyaschev:
'Closer' representation and reasoning.
Description Logics 2005 |
| 5 | EE | Mikhail Sheremet,
Dmitry Tishkovsky,
Frank Wolter,
Michael Zakharyaschev:
Comparative Similarity, Tree Automata, and Diophantine Equations.
LPAR 2005: 651-665 |
| 2004 |
|---|
| 4 | EE | Renate A. Schmidt,
Dmitry Tishkovsky:
Multi-Agent Dynamic Logics with Informational Test.
Ann. Math. Artif. Intell. 42(1-3): 5-36 (2004) |
| 3 | EE | Renate A. Schmidt,
Dmitry Tishkovsky,
Ullrich Hustadt:
Interactions between Knowledge, Action and Commitment within Agent Dynamic Logic.
Studia Logica 78(3): 381-415 (2004) |
| 2002 |
|---|
| 2 | | Renate A. Schmidt,
Dmitry Tishkovsky:
Combining Dynamic Logic with Doxastic Modal Logics.
Advances in Modal Logic 2002: 371-392 |
| 1 | EE | Renate A. Schmidt,
Dmitry Tishkovsky:
Multi-agent Logics of Dynamic Belief and Knowledge.
JELIA 2002: 38-49 |
