Hustadt, Ullrich

4 publications

IJCAI 2017 KSP: A Resolution-Based Prover for Multimodal K, Abridged Report Cláudia Nalon, Ullrich Hustadt, Clare Dixon

IJCAI 2005 Data Complexity of Reasoning in Very Expressive Description Logics Ullrich Hustadt, Boris Motik, Ulrike Sattler

IJCAI 1999 On the Relation of Resolution and Tableaux Proof Systems for Description Logics Ullrich Hustadt, Renate A. Schmidt

IJCAI 1997 On Evaluating Decision Procedures for Modal Logic Ullrich Hustadt, Renate A. Schmidt