Mark Kaminski

	2011
13		Mark Kaminski, Thomas Schneider, Gert Smolka: Correctness and Worst-Case Optimality of Pratt-Style Decision Procedures for Modal and Hybrid Logics. TABLEAUX 2011: 196-210
12		Mark Kaminski, Gert Smolka: Clausal Tableaux for Hybrid PDL. Electr. Notes Theor. Comput. Sci. 278: 99-113 (2011)
11		Mark Kaminski, Sigurd Schneider, Gert Smolka: Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies Logical Methods in Computer Science 7(1): (2011)
	2010
10		Mark Kaminski, Gert Smolka: Terminating Tableaux for SOQ\mathcal{SOQ} with Number Restrictions on Transitive Roles. IFIP TCS 2010: 213-228
9		Mark Kaminski, Gert Smolka: Terminating Tableaux for Hybrid Logic with Eventualities. IJCAR 2010: 240-254
8		Mark Kaminski, Gert Smolka: Clausal Graph Tableaux for Hybrid Logic with Eventualities and Difference. LPAR (Yogyakarta) 2010: 417-431
7		Mark Kaminski, Gert Smolka: A Minimal Propositional Type Theory CoRR abs/1001.4021: (2010)
6		Daniel Götzmann, Mark Kaminski, Gert Smolka: Spartacus: A Tableau Prover for Hybrid Logic. Electr. Notes Theor. Comput. Sci. 262: 127-139 (2010)
	2009
5		Mark Kaminski, Gert Smolka: Terminating Tableaux for SOQ with Number Restrictions on Transitive Roles. Description Logics 2009
4		Mark Kaminski, Sigurd Schneider, Gert Smolka: Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies. TABLEAUX 2009: 235-249
3		Mark Kaminski, Gert Smolka: Hybrid Tableaux for the Difference Modality. Electr. Notes Theor. Comput. Sci. 231: 241-257 (2009)
2		Mark Kaminski, Gert Smolka: Terminating Tableau Systems for Hybrid Logic with Difference and Converse. Journal of Logic, Language and Information 18(4): 437-464 (2009)
	2008
1		Mark Kaminski, Gert Smolka: Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse. IJCAR 2008: 210-225

Coauthor Index

1	Daniel Götzmann	[6]
2	Sigurd Schneider	[4] [11]
3	Thomas Schneider	[13]
4	Gert Smolka	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page