1 |
| Kaoen, Joost-Pieter (ed.) |
| |
| | 2004 | de Nivelle, Hans
Kazakov, Yevgeny | | | Resolution Decision Procedures for the Guarded Fragment with
Transitive Guards | Report | |
| | 2004 | Kazakov, Yevgeny
de Nivelle, Hans | [Basin, David]
[Rusinowitch, Michael] | | A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards
In: Automated reasoning : Second International Joint Conference, IJCAR 2004, 122-136 | Proceedings Article | |
| | 2003 | Kazakov, Yevgeny
de Nivelle, Hans | [Calvanese, Diego]
[De Giacomo, Giuseppe]
[Franconi, Enrico] | | Subsumption 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 | |
| | 2002 | Kazakov, Yevgeny | Charatonik, Witold
Ganzinger, Harald | | Recursive resolution for modal logic
In: Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi, 11-15 | Proceedings Article | |
1 |
| Khasidashvili, Zurab (ed.) |
| |
1 |
| Kijania-Placek, Katarzyna (ed.) |
| |