Ullrich Hustadt

发表

Ullrich Hustadt, Hans de Nivelle, Renate A. Schmidt, 2000, Log. J. IGPL.
Ullrich Hustadt, Renate A. Schmidt, U. Hustadt, 2003, Theory and Applications of Relational Structures as Knowledge Instruments.
Christian G. Fermüller, Alexander Leitsch, Ullrich Hustadt, 2001, Handbook of Automated Reasoning.
Clare Dixon, Ullrich Hustadt, Ana Ozaki, 2017, CADE.
Clare Dixon, Ullrich Hustadt, Lan Zhang, 2009, CADE.
Ullrich Hustadt, Renate A. Schmidt, 2010, PAAR@IJCAR.
Boris Motik, Ullrich Hustadt, 2005, Description Logics.
Clare Dixon, Michael Fisher, Boris Konev, 2005, Inf. Comput..
Harald Ganzinger, Ullrich Hustadt, Renate A. Schmidt, 1998, Advances in Modal Logic.
Ullrich Hustadt, Renate A. Schmidt, 2002, KR.
Clare Dixon, Michael Fisher, Ullrich Hustadt, 2017, FMICS-AVoCS.
Clare Dixon, Michael Fisher, John-Jules Ch. Meyer, 2001, Proceedings Eighth International Symposium on Temporal Representation and Reasoning. TIME 2001.
Ian Horrocks, M. de Rijke, Maarten de Rijke, 2002, Artificial Intelligence Review.
Ullrich Hustadt, Michel Ludwig, U. Hustadt, 2009, FTP.
Michael Fisher, Alexei Lisitsa, Boris Konev, 2006 .
Ullrich Hustadt, Renate A. Schmidt, U. Hustadt, 1997, IJCAI.
Clare Dixon, Michael Fisher, John-Jules Ch. Meyer, 2000, FAABS.
Ullrich Hustadt, Renate A. Schmidt, Lilia Georgieva, 2002, CADE.
Ullrich Hustadt, Renate A. Schmidt, Hans Jürgen Ohlbach, 1996 .
Clare Dixon, Ullrich Hustadt, Paul Gainer, 2016, TAROS.
Boris Motik, Ulrike Sattler, Ullrich Hustadt, 2008, Inf. Comput..
Clare Dixon, Ullrich Hustadt, Lan Zhang, 2010, AI Commun..
Clare Dixon, Ullrich Hustadt, Cláudia Nalon, 2019, ACM Trans. Comput. Log..
Ullrich Hustadt, Renate A. Schmidt, U. Hustadt, 2013, Programming Logics.
Clare Dixon, Michael Fisher, Boris Konev, 2005, Journal of Automated Reasoning.
Clare Dixon, Ullrich Hustadt, Lan Zhang, 2014, SR.
Boris Motik, Ulrike Sattler, Ullrich Hustadt, 2004, ECAI.
Ullrich Hustadt, Renate A. Schmidt, U. Hustadt, 2003, CADE.
Clare Dixon, Ullrich Hustadt, Lan Zhang, 2014, J. Log. Comput..
Ullrich Hustadt, Renate A. Schmidt, 1999, J. Appl. Non Class. Logics.
Ullrich Hustadt, Renate A. Schmidt, Lilia Georgieva, 2001, LPAR.
Boris Motik, Ulrike Sattler, Ullrich Hustadt, 2004, KR 2004.
Clare Dixon, Ullrich Hustadt, Cláudia Nalon, 2018, Journal of Automated Reasoning.
Clare Dixon, Ullrich Hustadt, Cláudia Nalon, 2018, PAAR@FLoC.
Ullrich Hustadt, Andreas Nonnengart, U. Hustadt, 1993 .
Ullrich Hustadt, Renate A. Schmidt, U. Hustadt, 2002, Journal of Automated Reasoning.
Clare Dixon, Ullrich Hustadt, Lan Zhang, 2014, ACM Trans. Comput. Log..
Ullrich Hustadt, Michel Ludwig, 2009, 2009 16th International Symposium on Temporal Representation and Reasoning.
Boris Motik, Ulrike Sattler, Ullrich Hustadt, 2007, Journal of Automated Reasoning.
Frank Wolter, Michael Zakharyaschev, Ullrich Hustadt, 2006, JELIA.
Ullrich Hustadt, Renate A. Schmidt, Andreas Nonnengart, 1992 .
Ullrich Hustadt, Renate A. Schmidt, 2000, CADE.
Christoph Weidenbach, Ullrich Hustadt, Renate A. Schmidt, 1999, Description Logics.
Boris Motik, Ulrike Sattler, Ullrich Hustadt, 2004 .
Ullrich Hustadt, Renate A. Schmidt, U. Hustadt, 1998, TABLEAUX.
Ullrich Hustadt, Renate A. Schmidt, Lilia Georgieva, 2002, Description Logics.
Ullrich Hustadt, Renate A. Schmidt, Lilia Georgieva, 2003, J. Symb. Comput..
Ullrich Hustadt, Renate A. Schmidt, 1999, CADE.
Clare Dixon, Ullrich Hustadt, Cláudia Nalon, 2017, IJCAI.
Boris Motik, Ulrike Sattler, Ullrich Hustadt, 2005, IJCAI.
Ullrich Hustadt, Michel Ludwig, U. Hustadt, 2009, CADE.
Christoph Weidenbach, Manfred Jaeger, Ullrich Hustadt, 1994 .
Ullrich Hustadt, Michel Ludwig, U. Hustadt, 2010, AI Commun..
Clare Dixon, Ullrich Hustadt, Lan Zhang, 2015, TABLEAUX.
Clare Dixon, Ullrich Hustadt, Cláudia Nalon, 2016, IJCAR.
Ullrich Hustadt, Renate A. Schmidt, U. Hustadt, 1997 .
Christoph Weidenbach, Ullrich Hustadt, Renate A. Schmidt, 1998 .
Clare Dixon, Michael Fisher, Ullrich Hustadt, 2000, FroCoS.
Boris Konev, Ullrich Hustadt, Renate A. Schmidt, 2005, CADE.
Clare Dixon, Ullrich Hustadt, Ana Ozaki, 2020, J. Autom. Reason..
Ian Horrocks, Ulrike Sattler, Ullrich Hustadt, 2007, Handbook of Modal Logic.
Ullrich Hustadt, Renate A. Schmidt, Ewa Orlowska, 2003, RelMiCS.
Boris Konev, Ullrich Hustadt, B. Konev, 2003, CADE.
Ullrich Hustadt, Renate A. Schmidt, Dmitry Tishkovsky, 2004, Stud Logica.
Ullrich Hustadt, Renate A. Schmidt, U. Hustadt, 2000, TABLEAUX.
Boris Motik, Ulrike Sattler, Ullrich Hustadt, 2005, LPAR.
Clare Dixon, Michael Fisher, Boris Konev, 2003, 10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings..
Valentin Goranko, Dimiter Vakarelov, Ullrich Hustadt, 2003, RelMiCS.
Ullrich Hustadt, Renate A. Schmidt, U. Hustadt, 2007, TOCL.
Clare Dixon, Michael Fisher, Ullrich Hustadt, 2018, Formal Methods Syst. Des..
Boris Motik, Ulrike Sattler, Ullrich Hustadt, 2004, KR.
Clare Dixon, Ullrich Hustadt, Cláudia Nalon, 2015, TABLEAUX.
Boris Konev, Andrei Voronkov, Ullrich Hustadt, 2004, IJCAR.
Clare Dixon, Ullrich Hustadt, Cláudia Nalon, 2021, CADE.
Ullrich Hustadt, Michel Ludwig, U. Hustadt, 2009 .
Clare Dixon, Ullrich Hustadt, Cláudia Nalon, 2014, J. Log. Comput..