| |
| * | 2009 | |
|---|---|---|
| 4 | EE | Mark Kaminski, Gert Smolka: Terminating Tableaux for SOQ with Number Restrictions on Transitive Roles. Description Logics 2009 |
| 3 | EE | Mark Kaminski, Sigurd Schneider, Gert Smolka: Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies. TABLEAUX 2009: 235-249 |
| 2 | EE | Mark Kaminski, Gert Smolka: Hybrid Tableaux for the Difference Modality. Electr. Notes Theor. Comput. Sci. 231: 241-257 (2009) |
| 2008 | ||
| 1 | EE | Mark Kaminski, Gert Smolka: Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse. IJCAR 2008: 210-225 |
| 1 | Sigurd Schneider | [3] |
| 2 | Gert Smolka | [1] [2] [3] [4] |