- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j7 |      | Michal Zawidzki, Renate A. Schmidt, Dmitry Tishkovsky: Satisfiability problem for modal logic with global counting operators coded in binary is NExpTime-complete. Inf. Process. Lett. 113(1-2): 34-38 (2013) |
| 2012 | ||
| c15 | | Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky: An Abstract Tableau Calculus for the Description Logic SHOI Using Unrestricted Blocking and Rewriting. Description Logics 2012 |
| c14 | | Dmitry Tishkovsky, Renate A. Schmidt, Mohammad Khodadadi: The Tableau Prover Generator MetTeL2. JELIA 2012: 492-495 |
| c13 | | Clare Dixon, Boris Konev, Renate A. Schmidt, Dmitry Tishkovsky: Labelled Tableaux for Temporal Logic with Cardinality Constraints. SYNASC 2012: 111-118 |
| i1 | | Renate A. Schmidt, Dmitry Tishkovsky: Using Tableau to Decide Description Logics with Full Role Negation and Identity. CoRR abs/1208.1476 (2012) |
| 2011 | ||
| j6 | | Renate A. Schmidt, Dmitry Tishkovsky: Automated Synthesis of Tableau Calculi. Logical Methods in Computer Science 7(2) (2011) |
| c12 | | Dmitry Tishkovsky, Renate A. Schmidt, Mohammad Khodadadi: METTEL\textsc{Met\hspace{-.5pt}TeL}: A Tableau Prover with Logic-Independent Inference Engine. TABLEAUX 2011: 242-247 |
| 2010 | ||
| j5 | | Sergey Babenyshev, Vladimir V. Rybakov, Renate A. Schmidt, Dmitry Tishkovsky: A Tableau Method for Checking Rule Admissibility in S4. Electr. Notes Theor. Comput. Sci. 262: 17-32 (2010) |
| c11 | | Régis Alenda, Nicola Olivetti, Camilla Schwind, Dmitry Tishkovsky: Tableau Calculi for CSL\mathcal{CSL} over minspaces. CSL 2010: 52-66 |
| 2009 | ||
| c10 | | Renate A. Schmidt, Dmitry Tishkovsky: Automated Synthesis of Tableau Calculi. TABLEAUX 2009: 310-324 |
| 2008 | ||
| j4 | | 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) |
| c9 | | Renate A. Schmidt, Dmitry Tishkovsky: A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments. IJCAR 2008: 194-209 |
| 2007 | ||
| j3 | | Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev: A Logic for Concepts and Similarity. J. Log. Comput. 17(3): 415-452 (2007) |
| c8 | | |
| c7 | | Renate A. Schmidt, Dmitry Tishkovsky: Using Tableau to Decide Expressive Description Logics with Role Negation. ISWC/ASWC 2007: 438-451 |
| 2006 | ||
| c6 | | 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 |
| c5 | | Ullrich Hustadt, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev: Automated Reasoning About Metric and Topology. JELIA 2006: 490-493 |
| 2005 | ||
| c4 | | Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev: 'Closer' representation and reasoning. Description Logics 2005 |
| c3 | | Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev: Comparative Similarity, Tree Automata, and Diophantine Equations. LPAR 2005: 651-665 |
| 2004 | ||
| j2 | | Renate A. Schmidt, Dmitry Tishkovsky: Multi-Agent Dynamic Logics with Informational Test. Ann. Math. Artif. Intell. 42(1-3): 5-36 (2004) |
| j1 | | 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 | ||
| c2 |  | Renate A. Schmidt, Dmitry Tishkovsky: Combining Dynamic Logic with Doxastic Modal Logics. Advances in Modal Logic 2002: 371-392 |
| c1 | | Renate A. Schmidt, Dmitry Tishkovsky: Multi-agent Logics of Dynamic Belief and Knowledge. JELIA 2002: 38-49 |
Colors in the list of coauthors
Last update Sun May 19 00:42:54 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page