U. Hustadt

发表

U. Hustadt, B. Konevg, 2002 .
U. Hustadt, C. Dixon, Lan Zhang, 2008 .
Clare Dixon, Wiebe van der Hoek, John-Jules Meyer, 2000 .
Christian G. Fermüller, Alexander Leitsch, Ullrich Hustadt, 2001, Handbook of Automated Reasoning.
U. Hustadt, R. Schmidt, H. J. Ohlbach, 1995 .
M. Dorigo, G. D. Caro, M. Samples, 2004 .
U. Hustadt, C. Dixon, C. Nalon, 2022, Journal of Automated Reasoning.
U. Hustadt, R. Schmidt, L. Georgieva, 2007 .
Ullrich Hustadt, Renate A. Schmidt, U. Hustadt, 1997 .
U. Hustadt, C. Nalon, Fabio Papacchini, 2022, Journal of Automated Reasoning.
U. Hustadt, Ana Ozaki, Clare Dixon, 2020, Journal of Automated Reasoning.
U. Hustadt, M. Fisher, Clare Dixon, 2020, Formal Methods in System Design.
Michael Fisher, Alexei Lisitsa, Boris Konev, 2006 .
Clare Dixon, Ullrich Hustadt, Cláudia Nalon, 2017, IJCAI.
Boris Motik, Ulrike Sattler, Ullrich Hustadt, 2008, Inf. Comput..
Boris Konev, Ullrich Hustadt, B. Konev, 2003, CADE.
U. Hustadt, B. Konevg, 2002 .
Clare Dixon, Michael Fisher, Ullrich Hustadt, 2018, Formal Methods Syst. Des..
Clare Dixon, Michael Fisher, Boris Konev, 2005, Inf. Comput..
Ullrich Hustadt, Michel Ludwig, U. Hustadt, 2010, AI Commun..
Ian Horrocks, M. de Rijke, Maarten de Rijke, 2002, Artificial Intelligence Review.
Ullrich Hustadt, Renate A. Schmidt, Ewa Orlowska, 2003, RelMiCS.
Boris Motik, Ulrike Sattler, Ullrich Hustadt, 2005, IJCAI.
Boris Motik, Ulrike Sattler, Ullrich Hustadt, 2004, KR.
Clare Dixon, Michael Fisher, Boris Konev, 2005, Journal of Automated Reasoning.
Ullrich Hustadt, Renate A. Schmidt, Dmitry Tishkovsky, 2004, Stud Logica.
Clare Dixon, Michael Fisher, John-Jules Ch. Meyer, 2000, FAABS.
Ullrich Hustadt, Renate A. Schmidt, Hans Jürgen Ohlbach, 1996 .
Ullrich Hustadt, Renate A. Schmidt, U. Hustadt, 1998, TABLEAUX.
Ullrich Hustadt, Renate A. Schmidt, U. Hustadt, 2007, TOCL.
Ullrich Hustadt, Renate A. Schmidt, U. Hustadt, 2003, CADE.
Clare Dixon, Ullrich Hustadt, Cláudia Nalon, 2019, ACM Trans. Comput. Log..
Clare Dixon, Ullrich Hustadt, Cláudia Nalon, 2018, Journal of Automated Reasoning.
Clare Dixon, Ullrich Hustadt, Cláudia Nalon, 2015, TABLEAUX.
Clare Dixon, Ullrich Hustadt, Lan Zhang, 2014, J. Log. Comput..
Ullrich Hustadt, Renate A. Schmidt, U. Hustadt, 2013, Programming Logics.
Ullrich Hustadt, Renate A. Schmidt, U. Hustadt, 2002, Journal of Automated Reasoning.
Boris Konev, Ullrich Hustadt, Renate A. Schmidt, 2005, CADE.
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..
Boris Motik, Ulrike Sattler, Ullrich Hustadt, 2004 .
Ian Horrocks, Ulrike Sattler, Ullrich Hustadt, 2007, Handbook of Modal Logic.
Ullrich Hustadt, Renate A. Schmidt, U. Hustadt, 2000, TABLEAUX.
Boris Motik, Ulrike Sattler, Ullrich Hustadt, 2007, Journal of Automated Reasoning.
Valentin Goranko, Dimiter Vakarelov, Ullrich Hustadt, 2003, RelMiCS.
Clare Dixon, Michael Fisher, Ullrich Hustadt, 2017, FMICS-AVoCS.
Clare Dixon, Ullrich Hustadt, Ana Ozaki, 2020, J. Autom. Reason..
Boris Motik, Ulrike Sattler, Ullrich Hustadt, 2004, KR 2004.
Ullrich Hustadt, Andreas Nonnengart, U. Hustadt, 1993 .
Clare Dixon, Ullrich Hustadt, Lan Zhang, 2009, CADE.
Ullrich Hustadt, Michel Ludwig, U. Hustadt, 2009, CADE.
Boris Konev, Andrei Voronkov, Ullrich Hustadt, 2004, IJCAR.
Ullrich Hustadt, Renate A. Schmidt, Lilia Georgieva, 2003, J. Symb. Comput..
Clare Dixon, Michael Fisher, Ullrich Hustadt, 2000, FroCoS.
Ullrich Hustadt, Renate A. Schmidt, U. Hustadt, 2003, Theory and Applications of Relational Structures as Knowledge Instruments.
Clare Dixon, Ullrich Hustadt, Lan Zhang, 2010, AI Commun..
Clare Dixon, Ullrich Hustadt, Lan Zhang, 2014, ACM Trans. Comput. Log..
Ullrich Hustadt, Hans de Nivelle, Renate A. Schmidt, 2000, Log. J. IGPL.
Clare Dixon, Ullrich Hustadt, Cláudia Nalon, 2014, J. Log. Comput..
Clare Dixon, Michael Fisher, John-Jules Ch. Meyer, 2001, Proceedings Eighth International Symposium on Temporal Representation and Reasoning. TIME 2001.
Ullrich Hustadt, Renate A. Schmidt, U. Hustadt, 1997, IJCAI.
Ullrich Hustadt, Michel Ludwig, U. Hustadt, 2009, FTP.