Renate A. Schmidt

发表

Ullrich Hustadt, Hans de Nivelle, Renate A. Schmidt, 2000, Log. J. IGPL.
Patrick Koopmann, Renate A. Schmidt, P. Koopmann, 2015, Description Logics.
Ullrich Hustadt, Renate A. Schmidt, U. Hustadt, 2003, Theory and Applications of Relational Structures as Knowledge Instruments.
Renate A. Schmidt, R. Schmidt, 2009, Annals of Mathematics and Artificial Intelligence.
Clare Dixon, Boris Konev, Renate A. Schmidt, 2012, 2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
Ullrich Hustadt, Renate A. Schmidt, 2010, PAAR@IJCAR.
Heinrich Wansing, Renate A. Schmidt, Ian Pratt-Hartmann, 2002 .
Renate A. Schmidt, Yizheng Zhao, R. Schmidt, 2016, Description Logics.
Renate A. Schmidt, Dmitry Tishkovsky, Stefan Minica, 2012, PAAR@IJCAR.
Hao Feng, Giorgos Stoilos, Renate A. Schmidt, 2019, AAAI.
Renate A. Schmidt, R. Schmidt, 2000 .
Andrei Voronkov, Renate A. Schmidt, 2006 .
Renate A. Schmidt, Olaf Beyersdorff, Leroy Chew, 2016, SAT.
Geoff Sutcliffe, Renate A. Schmidt, Stephan Schulz, 2009, J. Appl. Log..
Harald Ganzinger, Ullrich Hustadt, Renate A. Schmidt, 1998, Advances in Modal Logic.
Renate A. Schmidt, David E. Rydeheard, John G. Stell, 2014, Advances in Modal Logic.
Georg Struth, Renate A. Schmidt, 2008, J. Log. Algebraic Methods Program..
Renate A. Schmidt, Dmitry Tishkovsky, Mohammad Khodadadi, 2011, TABLEAUX.
Renate A. Schmidt, Katarina Britz, Chris Brink, 2002 .
Renate A. Schmidt, 1998, RTA.
Boris Konev, Renate A. Schmidt, Stephan Schulz, 2010, AI Commun..
Dov M. Gabbay, Renate A. Schmidt, Andrzej Szałas, 2008 .
Ullrich Hustadt, Renate A. Schmidt, 2002, KR.
Patrick Koopmann, Renate A. Schmidt, Sophie Tourret, 2020, KR.
Renate A. Schmidt, Dmitry Tishkovsky, R. Schmidt, 2012, ACM Trans. Comput. Log..
Clare Dixon, Michael Fisher, John-Jules Ch. Meyer, 2001, Proceedings Eighth International Symposium on Temporal Representation and Reasoning. TIME 2001.
Yongsheng Gao, Renate A. Schmidt, Jieying Chen, 2019, K-CAP.
Boris Konev, Renate A. Schmidt, Dmitry Tishkovsky, 2012 .
Renate A. Schmidt, Rudolf Berghammer, R. Schmidt, 2006, Theory and Applications of Relational Structures as Knowledge Instruments.
Patrick Koopmann, Renate A. Schmidt, P. Koopmann, 2013, FroCos.
Renate A. Schmidt, Dmitry Tishkovsky, R. Schmidt, 2008, J. Log. Lang. Inf..
Peter Baumgartner, Renate A. Schmidt, Peter Baumgartner, 2006, Journal of Automated Reasoning.
Renate A. Schmidt, Yizheng Zhao, R. Schmidt, 2016, IJCAI.
Patrick Koopmann, Renate A. Schmidt, 2014, IJCAR.
Renate A. Schmidt, Dmitry Tishkovsky, Mohammad Khodadadi, 2012, JELIA.
Ullrich Hustadt, Renate A. Schmidt, U. Hustadt, 1997, IJCAI.
Renate A. Schmidt, R. Schmidt, 2008, JELIA.
Renate A. Schmidt, Dmitry Tishkovsky, 2007, ISWC/ASWC.
Heinrich Wansing, Renate A. Schmidt, Pratt-Hartmann, 2004 .
Renate A. Schmidt, Yizheng Zhao, Hao Feng, 2020, AAAI.
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 .
Renate A. Schmidt, Brigitte Pientka, 2010, Journal of Automated Reasoning.
Renate A. Schmidt, David E. Rydeheard, John G. Stell, 2014, RAMICS.
Renate A. Schmidt, Fabio Papacchini, 2013, FroCos.
Boris Konev, Renate A. Schmidt, Stephan Schulz, 2006 .
Ullrich Hustadt, Renate A. Schmidt, U. Hustadt, 2013, Programming Logics.
Renate A. Schmidt, R. Schmidt, 2006, Advances in Modal Logic.
Renate A. Schmidt, Hans Jürgen Ohlbach, R. Schmidt, 1993, J. Log. Comput..
Ullrich Hustadt, Renate A. Schmidt, U. Hustadt, 2003, CADE.
Renate A. Schmidt, Fabio Papacchini, R. Schmidt, 2011, M4M/LAMAS.
Renate A. Schmidt, Dmitry Tishkovsky, Mohammad Khodadadi, 2013, Description Logics.
Renate A. Schmidt, Warren Del-Pinto, 2017, SOQE.
Patrick Koopmann, Renate A. Schmidt, P. Koopmann, 2013, WoMO.
Renate A. Schmidt, Sen Zheng, 2020, PAAR+SC²@IJCAI.
Renate A. Schmidt, Warren Del-Pinto, 2018, ArXiv.
Ullrich Hustadt, Renate A. Schmidt, 1999, J. Appl. Non Class. Logics.
Renate A. Schmidt, Yizheng Zhao, R. Schmidt, 2015, Description Logics.
Renate A. Schmidt, Dmitry Tishkovsky, R. Schmidt, 2009, TABLEAUX.
Ullrich Hustadt, Renate A. Schmidt, Lilia Georgieva, 2001, LPAR.
Ullrich Hustadt, Renate A. Schmidt, U. Hustadt, 2002, Journal of Automated Reasoning.
Patrick Koopmann, Renate A. Schmidt, P. Koopmann, 2014, AAAI.
Patrick Koopmann, Renate A. Schmidt, P. Koopmann, 2015, ORE.
Renate A. Schmidt, Dmitry Tishkovsky, 2011, Log. Methods Comput. Sci..
Renate A. Schmidt, Dmitry Tishkovsky, R. Schmidt, 2002, Advances in Modal Logic.
Renate A. Schmidt, R. Schmidt, 1996, Advances in Modal Logic.
Renate A. Schmidt, Uwe Waldmann, Uwe Waldmann, 2015, TABLEAUX.
Dirk Walther, Yongsheng Gao, Renate A. Schmidt, 2019, Description Logics.
Ullrich Hustadt, Renate A. Schmidt, Andreas Nonnengart, 1992 .
Ullrich Hustadt, Renate A. Schmidt, 2000, CADE.
Christophe Ringeissen, Pascal Fontaine, Renate A. Schmidt, 2013, Lecture Notes in Computer Science.
Renate A. Schmidt, Fabio Papacchini, 2012 .
Renate A. Schmidt, David E. Rydeheard, John G. Stell, 2016, J. Log. Algebraic Methods Program..
Christoph Weidenbach, Ullrich Hustadt, Renate A. Schmidt, 1999, Description Logics.
Renate A. Schmidt, Dmitry Tishkovsky, R. Schmidt, 2002, JELIA.
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.
Renate A. Schmidt, R. Schmidt, 2000, ARW.
Renate A. Schmidt, 2004, Journal of Automated Reasoning.
Renate A. Schmidt, Ruba Alassaf, Yizheng Zhao, 2018, Description Logics.
Giorgos Stoilos, Hao Feng, Renate A. Schmidt, 2019, Description Logics.
Renate A. Schmidt, Chris Brink, Ingrid Rewitzky, 1991, Comput. J..
Renate A. Schmidt, R. Schmidt, 2010, M4M.
Renate A. Schmidt, Dmitry Tishkovsky, Michal Zawidzki, 2013, Inf. Process. Lett..
Renate A. Schmidt, Dmitry Tishkovsky, Mohammad Khodadadi, 2012, PAAR@IJCAR.
Renate A. Schmidt, Dmitry Tishkovsky, R. Schmidt, 2004, Annals of Mathematics and Artificial Intelligence.
Cesare Tinelli, Philipp Rümmer, Renate A. Schmidt, 2019, Dagstuhl Reports.
Patrick Koopmann, Renate A. Schmidt, P. Koopmann, 2013, LPAR.
Christoph Weidenbach, Manfred Jaeger, Ullrich Hustadt, 1994 .
Renate A. Schmidt, Sen Zheng, 2020, ArXiv.
Renate A. Schmidt, Dmitry Tishkovsky, R. Schmidt, 2001 .
Renate A. Schmidt, Warren Del-Pinto, R. Schmidt, 2019, AAAI.
Renate A. Schmidt, Katarina Britz, Chris Brink, 1993, Formal Aspects of Computing.
Renate A. Schmidt, Xuan Wu, Chang Lu, 2020, Description Logics.
Ullrich Hustadt, Renate A. Schmidt, U. Hustadt, 1997 .
Giorgos Stoilos, Renate A. Schmidt, Yizheng Zhao, 2018, WOP@ISWC.
Renate A. Schmidt, Yizheng Zhao, R. Schmidt, 2018, Description Logics.
Renate A. Schmidt, R. Schmidt, 1998, RelMiCS.
Christoph Weidenbach, Ullrich Hustadt, Renate A. Schmidt, 1998 .
Renate A. Schmidt, Dmitry Tishkovsky, R. Schmidt, 2013, ArXiv.
Patrick Koopmann, Renate A. Schmidt, P. Koopmann, 2014, Description Logics.
Clare Dixon, Michael Fisher, Ullrich Hustadt, 2000, FroCoS.
Renate A. Schmidt, Cláudia Nalon, R. Schmidt, 2017, Lecture Notes in Computer Science.
Dov M. Gabbay, Andrzej Szalas, Renate A. Schmidt, 2008, Studies in logic : Mathematical logic and foundations.
Boris Konev, Ullrich Hustadt, Renate A. Schmidt, 2005, CADE.
Bijan Parsia, Giorgos Stoilos, Birte Glimm, 2015 .
Christoph Weidenbach, Renate A. Schmidt, Thomas Hillenbrand, 2007, CADE.
Ian Horrocks, Ulrike Sattler, Ullrich Hustadt, 2007, Handbook of Modal Logic.
Ullrich Hustadt, Renate A. Schmidt, Ewa Orlowska, 2003, RelMiCS.
Renate A. Schmidt, Dmitry Tishkovsky, Mohammad Khodadadi, 2012, Description Logics.
Ullrich Hustadt, Renate A. Schmidt, Dmitry Tishkovsky, 2004, Stud Logica.
Renate A. Schmidt, Vladimir V. Rybakov, Dmitry Tishkovsky, 2010, M4M.
Ullrich Hustadt, Renate A. Schmidt, U. Hustadt, 2000, TABLEAUX.
Valentin Goranko, Dimiter Vakarelov, Ullrich Hustadt, 2003, RelMiCS.
Ullrich Hustadt, Renate A. Schmidt, U. Hustadt, 2007, TOCL.
Renate A. Schmidt, Yizheng Zhao, R. Schmidt, 2017, Description Logics.
Renate A. Schmidt, Fabio Papacchini, R A Schmidt, 2012 .
Renate A. Schmidt, Hans Jürgen Ohlbach, 1997, J. Log. Comput..
Anna Zamansky, Renate A. Schmidt, Dmitry Tishkovsky, 2019, Description Logic, Theory Combination, and All That.
Renate A. Schmidt, Yizheng Zhao, R. Schmidt, 2018, IJCAR.
Renate A. Schmidt, Dmitry Tishkovsky, 2007, Description Logics.
Renate A. Schmidt, Warren Del-Pinto, R. Schmidt, 2019, FroCos.
Renate A. Schmidt, Dmitry Tishkovsky, Mohammad Khodadadi, 2012 .
Renate A. Schmidt, Dmitry Tishkovsky, R. Schmidt, 2017, TABLEAUX.
Patrick Koopmann, Renate A. Schmidt, Sophie Tourret, 2020, ArXiv.
Renate A. Schmidt, Mostafa Sakr, R. Schmidt, 2021, FroCoS.
Renate A. Schmidt, Ghadah Alghamdi, Yizheng Zhao, 2021, Description Logics.
Ulrike Sattler, Renate A. Schmidt, Ruba Alassaf, 2021, SOQE@KR.
Renate A. Schmidt, Ghadah Alghamdi, Warren Del-Pinto, 2021, Description Logics.
Christoph Weidenbach, Renate A. Schmidt, Thomas Hillenbrand, 2007 .
Renate A. Schmidt, Yizheng Zhao, R. Schmidt, 2016 .
Renate A. Schmidt, Fabio Papacchini, 2015 .
Renate A. Schmidt, Dmitry Tishkovsky, Mohammad Khodadadi, 2012 .
Renate A. Schmidt, Dmitry Tishkovsky, R. Schmidt, 2002 .
Patrick Koopmann, Renate A. Schmidt, P. Koopmann, 2014 .
Renate A. Schmidt, Dmitry Tishkovsky, .
Renate A. Schmidt, Fabio Papacchini, 2013, FroCoS 2013.