Christoph Benzmüller
发表
J. Siekmann,
Christoph Benzmüller,
S. Autexier,
2005
.
Adam Pease,
Christoph Benzmüller,
A. Pease,
2010
.
Designing Normative Theories of Ethical Reasoning: Formal Framework, Methodology, and Tool Support
pdf
Leon van der Torre,
Xavier Parent,
Christoph Benzmüller,
2019,
ArXiv.
Lawrence C. Paulson,
Christoph Benzmüller,
Lawrence Charles Paulson,
2008
.
B. W. Paleo,
Christoph Benzmüller,
2016
.
B. W. Paleo,
Christoph Benzmüller,
2019
.
Bruno Woltzenlogel Paleo,
Christoph Benzmüller,
B. W. Paleo,
2017
.
Christoph Benzmüller,
D. Fuenmayor,
2018
.
Christoph Benzmüller,
J. Otten,
2018
.
J. Siekmann,
Christoph Benzmüller,
2004
.
Christoph Benzmüller,
Michael Kohlhase,
Chad E. Brown,
2003
.
J. Siekmann,
Christoph Benzmüller,
Claus-Peter Wirth,
2007
.
J. Siekmann,
Christoph Benzmüller,
S. Autexier,
2008
.
Christoph Benzmüller,
2004
.
G. Sutcliffe,
Christoph Benzmüller,
2019
.
Chad E. Brown,
Christoph Benzmüller,
2006
.
Orlin G. Grigorov,
D. McGuinness,
D. Aspinall,
2008
.
Xavier Parent,
Christoph Benzmüller,
Leendert van der Torre,
2019,
Artif. Intell..
Christoph Benzmüller,
David Streit,
2019
.
Christoph Benzmüller,
2018
.
Christoph Benzmüller,
X. Parent,
A. Farjami,
2018
.
Martin Pollet,
Christoph Benzmüller,
Armin Fiedler,
2019,
The Seventeen Provers of the World.
Christoph Benzmüller,
Michael Kohlhase,
Chad E. Brown,
2008
.
Adam Pease,
Christoph Benzmüller,
A. Pease,
2011
.
Christoph Benzmüller,
2005
.
Christoph Benzmüller,
D. Fuenmayor,
2019,
Bulletin of the Section of Logic.
Bruno Woltzenlogel Paleo,
Christoph Benzmüller,
B. W. Paleo,
2013
.
Tim Landgraf,
R. Romeike,
Christoph Benzmüller,
2021,
ICON.
Volker Sorge,
Christoph Benzmüller,
Andreas Meier,
2001
.
Jesse Josua Benjamin,
Arne Berger,
A. Bischof,
2022,
i-com.
G. Sutcliffe,
Christoph Benzmüller,
D. Fuenmayor,
2022,
ArXiv.
A. Meier,
V. Sorge,
E. Melis,
2002
.
Christoph Benzmüller,
D. Fuenmayor,
2019,
Bulletin of the Section of Logic.
Christoph Benzmüller,
2016,
Journal of Philosophical Logic.
Christoph Benzmüller,
2019
.
Volker Sorge,
Jörg H. Siekmann,
Karsten Konrad,
1999
.
Christoph Benzmüller,
S. Reiche,
2021,
ArXiv.
Christoph Benzmüller,
Michael Kohlhase,
Chad E. Brown,
2006
.
M. Kohlhase,
Christoph Benzmüller,
C. Brown,
2007
.
Geoff Sutcliffe,
Christoph Benzmüller,
Bernd Fischer,
2006
.
Christoph Benzmüller,
Marvin R. G. Schiller,
Marvin R. G. Schiller,
2009,
KI.
Jörg H. Siekmann,
Christoph Benzmüller,
Marvin R. G. Schiller,
2011,
Resource-Adaptive Cognitive Processes.
Christoph Benzmüller,
Marvin R. G. Schiller,
Marvin R. G. Schiller,
2009,
AIED.
Christoph Benzmüller,
Dominik Dietrich,
Marvin R. G. Schiller,
2008,
Teaching Mathematics and Computer Science.
Adam Pease,
Christoph Benzmüller,
A. Pease,
2013,
AI Commun..
Volker Sorge,
Christoph Benzmüller,
V. Sorge,
1998,
AIMSA.
Lawrence C. Paulson,
Christoph Benzmüller,
Lawrence Charles Paulson,
2009,
Logica Universalis.
Lawrence C. Paulson,
Christoph Benzmüller,
Lawrence Charles Paulson,
2010,
Log. J. IGPL.
Yuzuru Tanaka,
Christoph Benzmüller,
Randy Goebel,
2020,
CICM.
Jörg H. Siekmann,
Christoph Benzmüller,
Serge Autexier,
2006,
J. Appl. Log..
Christoph Benzmüller,
Manfred Kerber,
Mateja Jamnik,
2001
.
Christoph Benzmüller,
Christoph Benzmüller,
1999
.
Jörg H. Siekmann,
Christoph Benzmüller,
Serge Autexier,
2009,
ArXiv.
Jörg H. Siekmann,
Christoph Benzmüller,
Serge Autexier,
2009,
Logic from Russell to Church.
G. Sutcliffe,
Christoph Benzmüller,
D. Fuenmayor,
2022,
PAAR@IJCAR.
Christoph Benzmüller,
D. Fuenmayor,
Bertram Lomfeld,
2022
.
Christoph Benzmüller,
David Fuenmayor,
Christoph Benzmüller,
2021,
ITP.
Jörg H. Siekmann,
Christoph Benzmüller,
Andreas Meier,
2002,
LPAR.
Volker Sorge,
Jörg H. Siekmann,
Karsten Konrad,
1997,
CADE.
Volker Sorge,
Christoph Benzmüller,
Manfred Kerber,
1999,
Calculemus.
Dale Miller,
Christoph Benzmüller,
Christoph Benzmüller,
2014,
Computational Logic.
Volker Sorge,
Christoph Benzmüller,
Andreas Meier,
2005,
Mechanizing Mathematical Reasoning.
Christoph Benzmüller,
Bertram Lomfeld,
Christoph Benzmüller,
2020,
KI.
Xavier Parent,
Leendert van der Torre,
David Fuenmayor,
2020,
Data in brief.
Christoph Benzmüller,
Christoph Benzmüller,
2020,
KR.
Christoph Benzmüller,
Christoph Benzmüller,
2011,
Annals of Mathematics and Artificial Intelligence.
Christoph Benzmüller,
Christoph Benzmüller,
2010,
CLIMA.
Christoph Benzmüller,
Christoph Benzmüller,
2010,
ArXiv.
Christoph Benzmüller,
Christoph Benzmüller,
2010,
Verification, Induction, Termination Analysis.
Xavier Parent,
Christoph Benzmüller,
Ali Farjami,
2018,
FLAP.
Leon van der Torre,
Xavier Parent,
Christoph Benzmüller,
2018,
CiE.
Christoph Benzmüller,
Christoph Benzmüller,
2017,
SBMF.
Christoph Benzmüller,
Alexander Steen,
Max Wisniewski,
2017,
LPAR.
Christoph Benzmüller,
Alexander Steen,
Tobias Gleißner,
2017,
LPAR.
Christoph Benzmüller,
Christoph Benzmüller,
2017,
ArXiv.
Christoph Benzmüller,
Alexander Steen,
Max Wisniewski,
2016,
GCAI.
Christoph Benzmüller,
Dana S. Scott,
D. Scott,
2016,
ICMS.
Christoph Benzmüller,
Alexander Steen,
Max Wisniewski,
2016,
ICMS.
Christoph Benzmüller,
Christoph Benzmüller,
2015,
TABLEAUX.
Lawrence C. Paulson,
Christoph Benzmüller,
Nik Sultana,
2015,
FroCos.
Bruno Woltzenlogel Paleo,
Christoph Benzmüller,
B. W. Paleo,
2014,
ECAI.
Christoph Benzmüller,
Thomas Raths,
Christoph Benzmüller,
2013,
LPAR.
Bruno Woltzenlogel Paleo,
Christoph Benzmüller,
B. W. Paleo,
2013,
ArXiv.
Adam Pease,
Christoph Benzmüller,
A. Pease,
2012,
J. Web Semant..
Geoff Sutcliffe,
Christoph Benzmüller,
G. Sutcliffe,
2010,
J. Formaliz. Reason..
Christoph Benzmüller,
Serge Autexier,
Dominik Dietrich,
2008
.
Geoff Sutcliffe,
Christoph Benzmüller,
Florian Rabe,
2008,
IJCAR.
Some Reflections on a Computer-aided Theory Exploration Study in Category Theory (Extended Abstract)
Christoph Benzmüller,
Dana S. Scott,
D. Scott,
2018
.
Christoph Benzmüller,
David Fuenmayor,
Christoph Benzmüller,
2018
.
Bruno Woltzenlogel Paleo,
Christoph Benzmüller,
B. W. Paleo,
2016
.
Bruno Woltzenlogel Paleo,
Christoph Benzmüller,
B. W. Paleo,
2013,
Arch. Formal Proofs.
Christoph Benzmüller,
Christoph Benzmüller,
2017,
J. Philos. Log..
Christoph Benzmüller,
Christoph Benzmüller,
2015
.
Christoph Benzmüller,
Alexander Steen,
Max Wisniewski,
2017,
IWIL@LPAR.
Christoph Benzmüller,
John Harrison,
Carsten Schürmann,
2006,
ArXiv.
Christoph Benzmüller,
D. Fuenmayor,
2020,
ITP.
A. Meier,
V. Sorge,
E. Melis,
1999,
Formal Aspects of Computing.
Christoph Benzmüller,
Serge Autexier,
Marc Wagner,
2007,
UITP@FLoC.
Jörg H. Siekmann,
Christoph Benzmüller,
J. Siekmann,
2004,
KI.
Volker Sorge,
Jörg H. Siekmann,
Christoph Benzmüller,
2002,
CADE.
Volker Sorge,
Christoph Benzmüller,
Manfred Kerber,
2001,
KI/ÖGAI.
Jörg H. Siekmann,
Christoph Benzmüller,
Serge Autexier,
2011,
Resource-Adaptive Cognitive Processes.
Jörg H. Siekmann,
Christoph Benzmüller,
Andreas Meier,
2003
.
Volker Sorge,
Jörg H. Siekmann,
Andreas Meier,
2002
.
Christoph Benzmüller,
Michael Kohlhase,
M. Kohlhase,
1998,
CADE.
Volker Sorge,
Jörg H. Siekmann,
Karsten Konrad,
1997
.
Christoph Benzmüller,
Christoph Benzmüller,
2019,
Sci. Comput. Program..
Christoph Benzmüller,
Dana S. Scott,
D. Scott,
2019,
Journal of Automated Reasoning.
Christoph Benzmüller,
2020,
KR.
Christoph Benzmüller,
Christoph Benzmüller,
2019,
Data in brief.
Christoph Benzmüller,
Edward N. Zalta,
Daniel Kirchner,
2017,
The Review of Symbolic Logic.
Bruno Woltzenlogel Paleo,
Christoph Benzmüller,
B. W. Paleo,
2016,
IJCAI.
Christoph Benzmüller,
David Fuenmayor,
Christoph Benzmüller,
2017,
Arch. Formal Proofs.
Lawrence Charles Paulson,
Christoph Benzmüller,
2012,
Logica Universalis.
Christoph Benzmüller,
Peter B. Andrews,
Christoph Benzmüller,
2006
.
Christoph Benzmüller,
Michael Kohlhase,
Chad E. Brown,
2004,
Journal of Symbolic Logic.
Christoph Benzmüller,
David Fuenmayor,
Christoph Benzmüller,
2020,
ECAI.
Tim Landgraf,
Christoph Benzmüller,
Veronika Solopova,
2023,
UNLP.
Christoph Benzmüller,
Alexander Steen,
Max Wisniewski,
2016,
HDI.
Christoph Benzmüller,
D. Fuenmayor,
2021
.
Christoph Benzmüller,
David Fuenmayor,
Christoph Benzmüller,
2019,
PRICAI.
Jörg H. Siekmann,
Ivana Kruijff-Korbayová,
Manfred Pinkal,
2005,
Cognitive Systems.
Christoph Benzmüller,
Corinna Hahn,
Christoph Benzmüller,
2004
.
Christoph Benzmüller,
Christoph Benzmüller,
2003
.
Christoph Benzmüller,
David Fuenmayor,
Christoph Benzmüller,
2018,
Arch. Formal Proofs.
Christoph Benzmüller,
Alexander Steen,
Christoph Benzmüller,
2016
.
Volker Sorge,
Christoph Benzmüller,
Manfred Kerber,
2008,
J. Appl. Log..
Christoph Benzmüller,
Alexander Steen,
Max Wisniewski,
2014
.
Xavier Parent,
Christoph Benzmüller,
Ali Farjami,
2018,
FLAP.
Xavier Parent,
Christoph Benzmüller,
Christoph Benzmüller,
2018,
ArXiv.
Xavier Parent,
Christoph Benzmüller,
Ali Farjami,
2018,
DEON.
Bruno Woltzenlogel Paleo,
Christoph Benzmüller,
B. W. Paleo,
2015,
Reasoning Web.
Christoph Benzmüller,
Christoph Benzmüller,
1997
.
Christoph Benzmüller,
Christoph Benzmüller,
2009,
ArXiv.
Christoph Benzmüller,
X. Parent,
2023,
ArXiv.
Geoff Sutcliffe,
Christoph Benzmüller,
Chad E. Brown,
2009,
CADE.
Christoph Benzmüller,
Frank Theiss,
Christoph Benzmüller,
2006
.
G. Sutcliffe,
Christoph Benzmüller,
B. Fischer,
2006
.
Lawrence C. Paulson,
Christoph Benzmüller,
Nik Sultana,
2015,
Journal of Automated Reasoning.
Christoph Benzmüller,
Christoph Benzmüller,
2002,
Synthese.
Christoph Benzmüller,
Christoph Benzmüller,
1999,
CADE.
Christoph Benzmüller,
Manfred Kerber,
Christoph Benzmüller,
2001
.
Volker Sorge,
Christoph Benzmüller,
Manfred Kerber,
1999
.
Volker Sorge,
Christoph Benzmüller,
Manfred Kerber,
2000,
ARW.
Volker Sorge,
Christoph Benzmüller,
V. Sorge,
1999,
EPIA.
Volker Sorge,
Christoph Benzmüller,
Matthew Bishop,
1999,
J. Univers. Comput. Sci..
Christoph Benzmüller,
Mark Buckley,
Christoph Benzmüller,
2004
.
Christoph Benzmüller,
Maximilian Claus,
Nik Sultana,
2015,
PxTP@CADE.
Christoph Benzmüller,
X. Parent,
A. Farjami,
2021,
Logic, Argumentation & Reasoning.
Christoph Benzmüller,
Edward N. Zalta,
Daniel Kirchner,
2019,
Open Philosophy.
Christoph Benzmüller,
Valeria Zahoransky,
Christoph Benzmüller,
2019,
MIREL@JURIX.
Jörg H. Siekmann,
Ivana Kruijff-Korbayová,
Manfred Pinkal,
2022
.
Christoph Benzmüller,
D. Fuenmayor,
Bertram Lomfeld,
2020,
ArXiv.