Peter Baumgartner

发表

Peter Baumgartner, Cesare Tinelli, C. Tinelli, 2005, CADE.
Peter Baumgartner, Leonhard Heis, Andreas Lachmann, 2016, 2016 IEEE International Reliability Physics Symposium (IRPS).
Peter Baumgartner, Peter Baumgartner, 2014 .
Peter Baumgartner, Peter Baumgartner, 2013 .
Jürgen Dix, Peter Baumgartner, Ulrich Furbach, 1998, Künstliche Intell..
Peter Baumgartner, Ulrich Furbach, Uwe Petermann, 2007 .
Wolfram Burgard, Olivier Buffet, Christian Balkenius, 2007, IJCAI.
Peter Baumgartner, Christian G. Fermüller, Nicolas Peltier, 2000, CADE.
Peter Baumgartner, Sylvie Thiébaux, Felipe W. Trevizan, 2017, TABLEAUX.
Peter Baumgartner, Peter Baumgartner, 2017 .
Peter Baumgartner, Cesare Tinelli, Alexander Fuchs, 2008, LPAR.
Peter Baumgartner, 2013 .
Peter Baumgartner, 2015 .
Peter Baumgartner, Ulrich Furbach, 1996, DDLP.
Peter Baumgartner, 2017 .
Peter Baumgartner, Peter Baumgartner, 2013 .
Peter Baumgartner, Reiner Hähnle, Joachim Posegga, 1996, Lecture Notes in Computer Science.
Peter Baumgartner, Ulrich Furbach, 1997, ILPS.
Peter Baumgartner, 2017 .
Peter Baumgartner, Franz Baader, Andrei Voronkov, 2005, Deduction and Applications.
Peter Baumgartner, Ulrich Furbach, U. Furbach, 2003, Annals of Mathematics and Artificial Intelligence.
Peter Baumgartner, Peter Fröhlich, Ulrich Furbach, 1997, TABLEAUX.
Peter Baumgartner, Ulrich Furbach, 1993, J. Symb. Comput..
Peter Baumgartner, Frieder Stolzenburg, F. Stolzenburg, 1995, TABLEAUX.
Peter Baumgartner, 2015 .
Peter Baumgartner, Franz Baader, Andrei Voronkov, 2006 .
Jürgen Dix, Peter Baumgartner, Ulrich Furbach, 1996, Künstliche Intell..
Peter Baumgartner, Alessandro Armando, Gilles Dowek, 2008 .
Peter Baumgartner, Renate A. Schmidt, Peter Baumgartner, 2006, Journal of Automated Reasoning.
Peter Baumgartner, 2015 .
Peter Baumgartner, 2014 .
Norbert Eisinger, Peter Baumgartner, Ulrich Furbach, 2000, Intellectics and Computational Logic.
Peter Baumgartner, 2015 .
Peter Baumgartner, Uwe Waldmann, Joshua Bax, 2014, IJCAR.
Peter Baumgartner, 2013 .
Peter Baumgartner, M. Sasikumar, M. Kavitha, 2004 .
Peter Baumgartner, Peter Baumgartner, 2017 .
Peter Baumgartner, Koen Claessen, Geoff Sutcliffe, 2012, LPAR.
Peter Baumgartner, Uwe Waldmann, 2010, Journal of Automated Reasoning.
Peter Baumgartner, 2012 .
Peter Baumgartner, Uwe Waldmann, Uwe Waldmann, 2013, CADE.
Peter Baumgartner, Peter Baumgartner, 1998 .
Peter Baumgartner, Barbara L. Grabowski, Erica Melis, 2004, Softwaretechnik-Trends.
Peter Baumgartner, 2015 .
Peter Baumgartner, Cesare Tinelli, Alexander Fuchs, 2009, J. Appl. Log..
Peter Baumgartner, Ilkka Niemelä, Ulrich Furbach, 1996, JELIA.
Peter Baumgartner, Peter Baumgartner, 2012 .
Peter Baumgartner, Peter Fröhlich, Ulrich Furbach, 1997, IJCAI.
Peter Baumgartner, Alessandro Armando, Gilles Dowek, 2008 .
Peter Baumgartner, Ulrich Furbach, Björn Pelzer, 2010, J. Log. Comput..
Peter Baumgartner, Dana Abi Ghanem, Arno Bammé, 2008 .
Peter Baumgartner, Ulrich Furbach, Frieder Stolzenburg, 1995, IJCAI.
Peter Baumgartner, 2013 .
Peter Baumgartner, 2014 .
Peter Baumgartner, Cesare Tinelli, Alexander Fuchs, 2006, Int. J. Artif. Intell. Tools.
Peter Baumgartner, Ulrich Furbach, Alex Sinner, 2004, Journal of Automated Reasoning.
Wolfgang Bibel, Peter Baumgartner, Richard J. Waldinger, 2015, Journal of Automated Reasoning.
Peter Baumgartner, Cesare Tinelli, 2011, CADE.
Peter Baumgartner, Peter Baumgartner, 2014, IEEE Intelligent Systems.
Peter Baumgartner, 1990, AIMSA.
Peter Baumgartner, Fabian M. Suchanek, Peter Baumgartner, 2006, PPSWR.
Peter Baumgartner, Uwe Waldmann, Joshua Bax, 2015, CADE.
Peter Baumgartner, Ulrich Furbach, 2004, Journal of Automated Reasoning.
Chandrabose Aravindan, Peter Baumgartner, C. Aravindan, 1997, ILPS.
Peter Baumgartner, Cesare Tinelli, Björn Pelzer, 2012, J. Symb. Comput..
Peter Baumgartner, Alfredo Gabaldon, Kevin Lee, 2009, TABLEAUX.
Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, 2003, Wirtschaftsinformatik.
Peter Baumgartner, Peter Baumgartner, 1996, Journal of Automated Reasoning.
Peter Baumgartner, Cesare Tinelli, Alexander Fuchs, 2006, LPAR.
Peter Baumgartner, Andreas Lachmann, Reiner Schwab, 2016, 2016 International Conference on Microelectronic Test Structures (ICMTS).
Peter Baumgartner, Joshua Bax, 2013, LPAR.
Peter Baumgartner, Ulrich Furbach, U. Furbach, 2005, Mechanizing Mathematical Reasoning.
Peter Baumgartner, 2013 .
Peter Baumgartner, 2017 .
Peter Baumgartner, Peter Baumgartner, 2017 .
Peter Baumgartner, Ulrich Furbach, 1994, CADE.
Peter Baumgartner, 2012 .
Peter Baumgartner, Uwe Waldmann, 2019, Description Logic, Theory Combination, and All That.
Peter Baumgartner, Ulrich Furbach, Björn Pelzer, 2007, CADE.
Peter Baumgartner, Mark Johnson, Jacob Adams, 2013 .
Peter Baumgartner, Cesare Tinelli, C. Tinelli, 2003, CADE.
Peter Baumgartner, Peter Baumgartner, 2007 .
Martin Diller, Peter Baumgartner, Michael Norrish, 2013, TABLEAUX.
Peter Baumgartner, 2015 .
Peter Baumgartner, 2013 .
Peter Baumgartner, Fabio Massacci, F. Massacci, 2000, Computational Logic.
Peter Baumgartner, Sylvie Thiébaux, Felipe W. Trevizan, 2018, KR.
Peter Baumgartner, Uwe Waldmann, Uwe Waldmann, 2009, CADE.
Peter Baumgartner, 2013 .
Peter Baumgartner, 1992, LPAR.
Peter Baumgartner, 2013 .
Jürgen Dix, Chandrabose Aravindan, Peter Baumgartner, 1996, JICSLP.
Peter Baumgartner, Peter Baumgartner, 1998, TABLEAUX.
Peter Baumgartner, Peter Baumgartner, 2017 .
Peter Baumgartner, Aljoscha Burchardt, 2004, JELIA.
Peter Baumgartner, Franz Baader, Andrei Voronkov, 2005, Deduction and Applications.
Peter Baumgartner, 2017 .
Peter Baumgartner, Stefan Brüning, Peter Baumgartner, 1997, Journal of Automated Reasoning.
Peter Baumgartner, Evgenij Thorstensen, Peter Baumgartner, 2010, KI - Künstliche Intelligenz.
Peter Baumgartner, Peter Baumgartner, 1999 .
Peter Baumgartner, Peter Baumgartner, 2000, CADE.
Peter Baumgartner, 2018 .
Peter Baumgartner, Ulrich Furbach, U. Furbach, 1994, CADE.
Peter Baumgartner, Peter Baumgartner, 1998, Lecture Notes in Computer Science.
Peter Baumgartner, Ulrich Furbach, Frieder Stolzenburg, 1997, Artif. Intell..
Peter Baumgartner, Ulrich Furbach, Adnan H. Yahya, 2005, Künstliche Intell..
Peter Baumgartner, 2017 .
Chandrabose Aravindan, Peter Baumgartner, C. Aravindan, 2000, J. Symb. Comput..
Peter Baumgartner, Sarah Rhea, Caroline Kery, 2021, Antimicrobial Stewardship & Healthcare Epidemiology.
Peter Baumgartner, Ulrich Furbach, Christoph Wernhard, 2003 .
Peter Baumgartner, Peter Baumgartner, 2003 .
Peter Baumgartner, Susanne Heyer, 2007 .