MPI-INF Logo
Publications

Publications

Previous Page

Next Page

#YearAuthor(s) [non member]TitleType
1
Show details for Kaelbling, Leslie (ed.)Kaelbling, Leslie (ed.)
1
Show details for Kakas, A. C. (ed.)Kakas, A. C. (ed.)
1
Show details for Kaoen, Joost-Pieter (ed.)Kaoen, Joost-Pieter (ed.)
1
Show details for Kaplan, St. (ed.)Kaplan, St. (ed.)
2
Show details for Kapur, Deepak (ed.)Kapur, Deepak (ed.)
2
Show details for Kapur, D. (ed.)Kapur, D. (ed.)
1
Show details for Karmann, A. (ed.)Karmann, A. (ed.)
4
Show details for Kasper, ThomasKasper, Thomas
1
Show details for Kaufmann, MattKaufmann, Matt
1
Show details for Kaufmann, Matt (ed.)Kaufmann, Matt (ed.)
1
Show details for Kaufmann, Stefan (ed.)Kaufmann, Stefan (ed.)
1
Show details for Kavitha, M. (ed.)Kavitha, M. (ed.)
6
Hide details for Kazakov, YevgenyKazakov, Yevgeny
2006Kazakov, YevgenyAttachment IconSaturation-Based Decision Procedures For Extensions Of The Guarded Fragment
Universität des Saarlandes		Thesis - PhD thesis
2004Kazakov, YevgenyAttachment IconA Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment
In: Logics in artificial intelligence : 9th European Conference, JELIA 2004, 372-384		Proceedings Article
2004Kazakov, Yevgeny
de Nivelle, Hans		A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards
In: Automated reasoning : Second International Joint Conference, IJCAR 2004, 122-136		Proceedings Article
2004de Nivelle, Hans
Kazakov, Yevgeny		Attachment IconResolution Decision Procedures for the Guarded Fragment with
Transitive Guards		Report
2003Kazakov, Yevgeny
de Nivelle, Hans		Attachment IconSubsumption of Concepts in $FL_0$ for (Cyclic) Terminologies with Respect to Descriptive Semantics is PSPACE-complete
In: 2003 International Workshop on Description Logics (DL-03), 56-64		Proceedings Article
2002Kazakov, YevgenyAttachment IconRecursive resolution for modal logic
In: Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi, 11-15		Proceedings Article
3
Show details for Keen, EnnoKeen, Enno
1
Show details for Kepser, Stephan (ed.)Kepser, Stephan (ed.)
1
Show details for Kerber, ManfredKerber, Manfred
1
Show details for Kerber, Manfred (ed.)Kerber, Manfred (ed.)
1
Show details for Kerner, I. O. (ed.)Kerner, I. O. (ed.)
1
Show details for Khasidashvili, Zurab (ed.)Khasidashvili, Zurab (ed.)
1
Show details for Kijania-Placek, Katarzyna (ed.)Kijania-Placek, Katarzyna (ed.)
1
Show details for Kindler, EkkartKindler, Ekkart
4
Show details for Kirchner, Claude (ed.)Kirchner, Claude (ed.)
7
Show details for Kirchner, Hélène (ed.)Kirchner, Hélène (ed.)
1
Show details for Kirchner, H. (ed.)Kirchner, H. (ed.)

Next Page