Aktuelle Arbeiten

• C Kissig, Y Venema, "Complementation of Coalgebra Automata", CALCO 2009
• C Kissig, "Decidability of S2S" (Master of Logic Dissertation), 2007, ILLC MoL Series,
  [PDF] [Abstract, TXT]

Fruehere Veroeffentlichungen

• C Kissig, A-Y Turhan, "SONIC-Non-standard Inferences go OilEd", In Proceedings of the 2nd International Joint Conference on Automated Reasoning (IJCAR'04), LNCS, Springer-Verlag, 2004.
  [PDF] [PS] [Bibtex]
• C Kissig, A-Y Turhan, "SONIC-System Description", In Proceedings of the 2004 International Workshop on Description Logics (DL2004), CEUR-WS, 2004.
  [PDF] [PS] [Bibtex]