Christoph Benzmüller
发表
Christoph Benzmüller,
Christoph Benzmüller,
2020,
KR.
Christoph Benzmüller,
Christoph Benzmüller,
2009,
ArXiv.
Christoph Benzmüller,
Corrado Giromini,
Andreas Nonnengart,
2002
.
Christoph Benzmüller,
Alexander Steen,
Max Wisniewski,
2016,
HDI.
Christoph Benzmüller,
2009,
SEC.
Volker Sorge,
Christoph Benzmüller,
Manfred Kerber,
2001,
KI/ÖGAI.
Bruno Woltzenlogel Paleo,
Christoph Benzmüller,
L. Weber,
2017,
Logica Universalis.
Jörg H. Siekmann,
Christoph Benzmüller,
Andreas Meier,
2002,
LPAR.
Ivana Kruijff-Korbayová,
Christoph Benzmüller,
Magdalena Wolska,
2003
.
Geoff Sutcliffe,
Christoph Benzmüller,
Florian Rabe,
2008,
IJCAR.
Christoph Benzmüller,
Dana S. Scott,
2016,
ArXiv.
Christoph Benzmüller,
Alexander Steen,
2019,
KI.
Christoph Benzmüller,
Maximilian Claus,
Nik Sultana,
2015,
PxTP@CADE.
Christoph Benzmüller,
David Fuenmayor,
2018,
CLAR.
Christoph Benzmüller,
John Harrison,
Carsten Schürmann,
2006,
ArXiv.
Christoph Benzmüller,
Jens Otten,
Thomas Raths,
2012,
ECAI.
Christoph Benzmüller,
2013,
LICS 2013.
Volker Sorge,
Christoph Benzmüller,
Manfred Kerber,
2008,
J. Appl. Log..
Christoph Benzmüller,
Marvin R. G. Schiller,
Marvin R. G. Schiller,
2009,
AIED.
Christoph Benzmüller,
2013,
ICAART.
Christoph Benzmüller,
Sebastian Reiche,
2020,
DaLí.
Christoph Benzmüller,
Alexander Steen,
Max Wisniewski,
2016,
IJCAR.
Christoph Benzmüller,
2014,
ARQNL@IJCAR.
Jörg H. Siekmann,
Christoph Benzmüller,
Serge Autexier,
2006,
J. Appl. Log..
Christoph Benzmüller,
Quoc Bao Vo,
Helmut Horacek,
2004,
Electron. Notes Theor. Comput. Sci..
Bruno Woltzenlogel Paleo,
Christoph Benzmüller,
B. W. Paleo,
2016
.
Christoph Benzmüller,
Serge Autexier,
Dominik Dietrich,
2008
.
Christoph Benzmüller,
Chad E. Brown,
2007
.
Jörg H. Siekmann,
Ivana Kruijff-Korbayová,
Manfred Pinkal,
2003
.
Christoph Benzmüller,
Mark Buckley,
2005
.
Volker Sorge,
Christoph Benzmüller,
Andreas Meier,
2001
.
Christoph Benzmüller,
Christoph Benzmüller,
2010,
CLIMA.
Christoph Benzmüller,
Alexander Steen,
Max Wisniewski,
2014
.
Leon van der Torre,
Xavier Parent,
Christoph Benzmüller,
2018,
CiE.
Xavier Parent,
Christoph Benzmüller,
Ali Farjami,
2018,
FLAP.
Christoph Benzmüller,
David Fuenmayor,
Christoph Benzmüller,
2018
.
Christoph Benzmüller,
Christoph Benzmüller,
1997
.
Christoph Benzmüller,
Alexander Steen,
Max Wisniewski,
2016,
ICMS.
Christoph Benzmüller,
David Fuenmayor,
2017
.
Geoff Sutcliffe,
Christoph Benzmüller,
G. Sutcliffe,
2010,
J. Formaliz. Reason..
Volker Sorge,
Christoph Benzmüller,
V. Sorge,
1998,
AIMSA.
Jörg H. Siekmann,
Christoph Benzmüller,
Erica Melis,
2004
.
Christoph Benzmüller,
2013,
IJCAI.
Geoff Sutcliffe,
Christoph Benzmüller,
Bernd Fischer,
2006
.
Christoph Benzmüller,
Mark Buckley,
2005
.
Christoph Benzmüller,
Corinna Hahn,
Christoph Benzmüller,
2004
.
Heiner Stuckenschmidt,
Christoph Benzmüller,
2019,
KI.
Christoph Benzmüller,
Christoph Benzmüller,
2017,
J. Philos. Log..
Christine L. Lisetti,
Christoph Benzmüller,
Martin Theobald,
2017,
GCAI.
Christoph Benzmüller,
David Fuenmayor,
Christoph Benzmüller,
2018,
Arch. Formal Proofs.
Christoph Benzmüller,
Alexander Steen,
Max Wisniewski,
2017,
IWIL@LPAR.
Christoph Benzmüller,
Manfred Kerber,
Mateja Jamnik,
2001
.
Lawrence C. Paulson,
Christoph Benzmüller,
Nik Sultana,
2015,
Journal of Automated Reasoning.
Christoph Benzmüller,
Nik Sultana,
2013,
ArXiv.
Jörg H. Siekmann,
Christoph Benzmüller,
J. Siekmann,
2004,
KI.
Volker Sorge,
Christoph Benzmüller,
V. Sorge,
1999,
EPIA.
Bruno Woltzenlogel Paleo,
Christoph Benzmüller,
B. W. Paleo,
2013,
ArXiv.
Christoph Benzmüller,
David Fuenmayor,
Christoph Benzmüller,
2020,
ECAI.
Xavier Parent,
Christoph Benzmüller,
Ali Farjami,
2018,
FLAP.
Volker Sorge,
Christoph Benzmüller,
2009,
ArXiv.
Christoph Benzmüller,
Christoph Benzmüller,
2015
.
Christoph Benzmüller,
2013
.
Volker Sorge,
Christoph Benzmüller,
Manfred Kerber,
2000,
ARW.
Xavier Parent,
Christoph Benzmüller,
Ali Farjami,
2018,
DEON.
Bruno Woltzenlogel Paleo,
Christoph Benzmüller,
Matthias Bentert,
2016
.
Christoph Benzmüller,
Dana S. Scott,
2018,
Arch. Formal Proofs.
Christoph Benzmüller,
Christoph Benzmüller,
2015,
TABLEAUX.
Christoph Benzmüller,
Michael Kohlhase,
Chad E. Brown,
2009,
Log. Methods Comput. Sci..
Christoph Benzmüller,
Serge Autexier,
2007,
Electron. Notes Theor. Comput. Sci..
Lawrence C. Paulson,
Christoph Benzmüller,
Lawrence Charles Paulson,
2009,
Logica Universalis.
Christoph Benzmüller,
Marvin R. G. Schiller,
Serge Autexier,
2007,
KI.
Jörg H. Siekmann,
Christoph Benzmüller,
Serge Autexier,
2009,
Logic from Russell to Church.
Encoding Legal Balancing: Automating an Abstract Ethico-Legal Value Ontology in Preference Logic
pdf
Christoph Benzmüller,
David Fuenmayor,
Bertram Lomfeld,
2020,
ArXiv.
Geoff Sutcliffe,
Christoph Benzmüller,
2009
.
Xavier Parent,
Christoph Benzmüller,
Christoph Benzmüller,
2018,
ArXiv.
Volker Sorge,
Christoph Benzmüller,
Manfred Kerber,
1999
.
Christoph Benzmüller,
Alexander Steen,
Max Wisniewski,
2017,
IWIL@LPAR.
Christoph Benzmüller,
Alexander Steen,
Max Wisniewski,
2017,
LPAR.
Volker Sorge,
Jörg H. Siekmann,
Christoph Benzmüller,
2002,
CADE.
Leon van der Torre,
Xavier Parent,
Christoph Benzmüller,
2017
.
Jörg H. Siekmann,
Christoph Benzmüller,
Serge Autexier,
2009,
ArXiv.
Christoph Benzmüller,
Chad E. Brown,
2005,
TPHOLs.
Volker Sorge,
Christoph Benzmüller,
Manfred Kerber,
2004,
LPAR.
Dale Miller,
Christoph Benzmüller,
Christoph Benzmüller,
2014,
Computational Logic.
Christoph Benzmüller,
Serge Autexier,
2003
.
Christoph Benzmüller,
Manfred Kerber,
Christoph Benzmüller,
2001
.
Christoph Benzmüller,
Jens Otten,
Thomas Raths,
2012,
PAAR@IJCAR.
Jörg H. Siekmann,
Christoph Benzmüller,
Syed Sajjad Hussain,
2005
.
Christoph Benzmüller,
Edward N. Zalta,
Daniel Kirchner,
2019,
Open Philosophy.
Lawrence C. Paulson,
Christoph Benzmüller,
Arnaud Fietzke,
2008,
IJCAR.
Christoph Benzmüller,
David Fuenmayor,
2019,
FroCos.
Christoph Benzmüller,
David Fuenmayor,
2020,
CLAR.
Lawrence C. Paulson,
Christoph Benzmüller,
Nik Sultana,
2015,
FroCos.
Christoph Benzmüller,
Marvin R. G. Schiller,
Dominik Dietrich,
2007
.
Christoph Benzmüller,
Arnaud Fietzke,
Lawrence C. Paulson,
2007
.
Christoph Benzmüller,
David Fuenmayor,
2017,
Arch. Formal Proofs.
Christoph Benzmüller,
Christoph Benzmüller,
1999
.
Dieter Hutter,
Christoph Benzmüller,
Serge Autexier,
2003
.
Volker Sorge,
Jörg H. Siekmann,
Karsten Konrad,
1997
.
Adam Pease,
Christoph Benzmüller,
2010
.
Volker Sorge,
Jörg H. Siekmann,
Karsten Konrad,
1999
.
Christoph Benzmüller,
Christoph Benzmüller,
2017,
SBMF.
Xavier Parent,
Francesco Ricca,
Christoph Benzmüller,
2018,
Lecture Notes in Computer Science.
Christoph Benzmüller,
Christoph Benzmüller,
2019,
Sci. Comput. Program..
Christoph Benzmüller,
Michael Kohlhase,
1998,
CADE.
Christoph Benzmüller,
Manfred Kerber,
Mateja Jamnik,
2001
.
Christoph Benzmüller,
Marvin R. G. Schiller,
Marvin R. G. Schiller,
2009,
KI.
Christoph Benzmüller,
Harold Boley,
Meng Luan,
2016,
RuleML.
Christoph Benzmüller,
Christoph Benzmüller,
2002,
Synthese.
Christoph Benzmüller,
Serge Autexier,
Ramses A. Heckler,
1992
.
Volker Sorge,
Christoph Benzmüller,
Manfred Kerber,
1999,
Calculemus.
Xavier Parent,
Christoph Benzmüller,
Leendert van der Torre,
2019,
Artif. Intell..
Adam Pease,
Christoph Benzmüller,
2010,
PAAR@IJCAR.
Xavier Parent,
Christoph Benzmüller,
2018,
ArXiv.
Christoph Benzmüller,
Alexander Steen,
2015,
LPAR.
Christoph Benzmüller,
Quoc Bao Vo,
2005,
AAAI.
Christoph Benzmüller,
Alexander Steen,
Max Wisniewski,
2015,
CICM.
Bruno Woltzenlogel Paleo,
Christoph Benzmüller,
B. W. Paleo,
2014,
ECAI.
Christoph Benzmüller,
Andreas Meier,
Serge Autexier,
2005,
MKM.
Christoph Benzmüller,
Dana S. Scott,
D. Scott,
2016,
ICMS.
Ivana Kruijff-Korbayová,
Christoph Benzmüller,
Magdalena Wolska,
2006,
LREC.
Christoph Benzmüller,
Serge Autexier,
2009,
Electron. Notes Theor. Comput. Sci..
Christoph Benzmüller,
Nik Sultana,
2013,
PxTP@CADE.
Christoph Benzmüller,
Nik Sultana,
2012,
IWIL@LPAR.
Christoph Benzmüller,
Bertram Lomfeld,
Christoph Benzmüller,
2020,
KI.
Christoph Benzmüller,
2003
.
Christoph Benzmüller,
Peter B. Andrews,
Christoph Benzmüller,
2006
.
Christoph Benzmüller,
Arnaud Fietzke,
Lawrence C. Paulson,
2007
.
Christoph Benzmüller,
Christoph Benzmüller,
2019,
Data in brief.
Christoph Benzmüller,
Serge Autexier,
2007
.
Christoph Benzmüller,
Alexander Steen,
2020,
ECAI.
Ivana Kruijff-Korbayová,
Christoph Benzmüller,
Magdalena Wolska,
2003
.
Christoph Benzmüller,
Christoph Benzmüller,
2010,
ArXiv.
Christoph Benzmüller,
Alexander Steen,
2019,
ArXiv.
Volker Sorge,
Christoph Benzmüller,
Matthew Bishop,
1999,
J. Univers. Comput. Sci..
Christoph Benzmüller,
Serge Autexier,
Marc Wagner,
2007,
UITP@FLoC.
Christoph Benzmüller,
Alexander Steen,
Max Wisniewski,
2015
.
Lawrence C. Paulson,
Christoph Benzmüller,
Lawrence Charles Paulson,
2010,
Log. J. IGPL.
Christoph Benzmüller,
Max Wisniewski,
2016,
ICAART.
Jörg H. Siekmann,
Christoph Benzmüller,
Serge Autexier,
2004
.
Some Reflections on a Computer-aided Theory Exploration Study in Category Theory (Extended Abstract)
Christoph Benzmüller,
Dana S. Scott,
D. Scott,
2018
.
Jörg H. Siekmann,
Christoph Benzmüller,
Marvin R. G. Schiller,
2011,
Resource-Adaptive Cognitive Processes.
Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument
pdf
Christoph Benzmüller,
David Fuenmayor,
2019,
ArXiv.
Jörg H. Siekmann,
Christoph Benzmüller,
Serge Autexier,
2011,
Resource-Adaptive Cognitive Processes.
Christoph Benzmüller,
Alexander Steen,
Max Wisniewski,
2016,
GCAI.
Adam Pease,
Christoph Benzmüller,
A. Pease,
2013,
AI Commun..
Bruno Woltzenlogel Paleo,
Christoph Benzmüller,
2015,
CSR.
Christoph Benzmüller,
David Fuenmayor,
Christoph Benzmüller,
2019,
PRICAI.
Volker Sorge,
Jörg H. Siekmann,
Karsten Konrad,
1997,
CADE.
Bruno Woltzenlogel Paleo,
Christoph Benzmüller,
2014
.
Christoph Benzmüller,
Manfred Kerber,
Mateja Jamnik,
2003,
Log. J. IGPL.
Jörg H. Siekmann,
Christoph Benzmüller,
Michael Kohlhase,
2004
.
Volker Sorge,
Jörg H. Siekmann,
Karsten Konrad,
1998
.
Geoff Sutcliffe,
Christoph Benzmüller,
Florian Rabe,
2008,
PAAR/ESHOL.
Christoph Benzmüller,
Thomas Raths,
2012,
ArXiv.
Christoph Benzmüller,
Irina Makarenko,
2020,
KI.
Jörg H. Siekmann,
Manfred Pinkal,
Christoph Benzmüller,
2001
.
Christoph Benzmüller,
Alexander Steen,
Tobias Gleißner,
2017,
LPAR.
Jörg H. Siekmann,
Christoph Benzmüller,
Andreas Meier,
2002
.
Christoph Benzmüller,
Christoph Benzmüller,
2017,
ArXiv.
Volker Sorge,
Jörg H. Siekmann,
Andreas Meier,
2002
.
Bruno Woltzenlogel Paleo,
Christoph Benzmüller,
B. W. Paleo,
2016,
IJCAI.
Jörg H. Siekmann,
Manfred Pinkal,
Christoph Benzmüller,
2004
.
Christoph Benzmüller,
2009,
ArXiv.
Christoph Benzmüller,
2020
.
Christoph Benzmüller,
Manfred Kerber,
Mateja Jamnik,
2001
.
Higher-order Logic as Lingua Franca - Integrating Argumentative Discourse and Deep Logical Analysis
pdf
Christoph Benzmüller,
David Fuenmayor,
2020,
ArXiv.
Christoph Benzmüller,
Jens Otten,
2018
.
Christoph Benzmüller,
Corrado Giromini,
Andreas Nonnengart,
2002
.
Christoph Benzmüller,
Thomas Raths,
Christoph Benzmüller,
2013,
LPAR.
Christoph Benzmüller,
Michael Kohlhase,
Chad E. Brown,
2003
.
Christoph Benzmüller,
Frank Theiss,
Christoph Benzmüller,
2006
.
Christoph Benzmüller,
Quoc Bao Vo,
Serge Autexier,
2003
.
Yuzuru Tanaka,
Christoph Benzmüller,
Randy Goebel,
2020,
CICM.
Adam Pease,
Christoph Benzmüller,
2010
.
Christoph Benzmüller,
2013
.
Christoph Benzmüller,
Mark Buckley,
2006,
Ershov Memorial Conference.
Bruno Woltzenlogel Paleo,
Christoph Benzmüller,
B. W. Paleo,
2013
.
Christoph Benzmüller,
2006,
J. Appl. Log..
Christoph Benzmüller,
Marvin R. G. Schiller,
2009,
CSEDU.
Adam Pease,
Christoph Benzmüller,
A. Pease,
2012,
J. Web Semant..
Christoph Benzmüller,
Max Wisniewski,
2014
.
Christoph Benzmüller,
Valerio Genovese,
2012,
ArXiv.
Christoph Benzmüller,
Edward N. Zalta,
Daniel Kirchner,
2017,
The Review of Symbolic Logic.
Christoph Benzmüller,
Christoph Benzmüller,
2011,
Annals of Mathematics and Artificial Intelligence.
Adam Pease,
Christoph Benzmüller,
A. Pease,
2011
.
Christoph Benzmüller,
Christoph Benzmüller,
2003
.
Ivana Kruijff-Korbayová,
Christoph Benzmüller,
Magdalena Wolska,
2006,
KI.
Volker Sorge,
Jörg H. Siekmann,
Paul Libbrecht,
2000
.
Christoph Benzmüller,
2006
.
Christoph Benzmüller,
Claus-Peter Wirth,
2009
.
Bruno Woltzenlogel Paleo,
Christoph Benzmüller,
B. W. Paleo,
2013,
Arch. Formal Proofs.
Christoph Benzmüller,
Michael Kohlhase,
M. Kohlhase,
1998,
CADE.
Christoph Benzmüller,
David Streit,
2019
.
Christoph Benzmüller,
Dana S. Scott,
Miroslav Benda,
2020,
RAMiCS.
Volker Sorge,
Christoph Benzmüller,
Manfred Kerber,
2001
.
Geoff Sutcliffe,
Christoph Benzmüller,
Chad E. Brown,
2009,
CADE.
Christoph Benzmüller,
Marvin R. G. Schiller,
2010,
EMSQMS@IJCAR.
Xavier Parent,
Francesco Ricca,
Christoph Benzmüller,
2019,
AI Mag..
Christoph Benzmüller,
Michael Kohlhase,
Chad E. Brown,
2004,
Journal of Symbolic Logic.
Dieter Hutter,
Christoph Benzmüller,
2003
.
Christoph Benzmüller,
David Fuenmayor,
2019,
ArXiv.
Volker Sorge,
Christoph Benzmüller,
Andreas Meier,
2005,
Mechanizing Mathematical Reasoning.
Volker Sorge,
Jörg H. Siekmann,
Karsten Konrad,
1999,
Formal Aspects of Computing.
Volker Sorge,
Jörg H. Siekmann,
Karsten Konrad,
1999
.
Christoph Benzmüller,
Quoc Bao Vo,
Serge Autexier,
2003,
IJCAI.
Dov M. Gabbay,
Christoph Benzmüller,
Valerio Genovese,
2012,
Annals of Mathematics and Artificial Intelligence.
Christoph Benzmüller,
1993
.
Christoph Benzmüller,
Valeria Zahoransky,
Christoph Benzmüller,
2019,
MIREL@JURIX.
Christoph Benzmüller,
Mark Buckley,
Christoph Benzmüller,
2004
.
Christoph Benzmüller,
Chad E. Brown,
2006
.
Christoph Benzmüller,
Michael Kohlhase,
Chad E. Brown,
2006,
IJCAR.
Ivana Kruijff-Korbayová,
Christoph Benzmüller,
Magdalena Wolska,
2004,
LREC.
Christoph Benzmüller,
Christoph Benzmüller,
1999,
CADE.
Christoph Benzmüller,
Alexander Steen,
2018,
ARQNL@IJCAR.
Christoph Benzmüller,
Alexander Steen,
2020,
ArXiv.
Bruno Woltzenlogel Paleo,
Christoph Benzmüller,
2014,
WADT.
Christoph Benzmüller,
Dana S. Scott,
D. Scott,
2019,
Journal of Automated Reasoning.
Christoph Benzmüller,
David Fuenmayor,
Christoph Benzmüller,
2017,
Arch. Formal Proofs.
Jörg H. Siekmann,
Ivana Kruijff-Korbayová,
Manfred Pinkal,
2005,
Cognitive Systems.
Bruno Woltzenlogel Paleo,
Christoph Benzmüller,
B. W. Paleo,
2015,
Reasoning Web.
Jörg H. Siekmann,
Ivana Kruijff-Korbayová,
Manfred Pinkal,
2003,
IJCAI 2003.
Christoph Benzmüller,
Christoph Benzmüller,
2010,
Verification, Induction, Termination Analysis.
Christoph Benzmüller,
Andreas Meier,
Serge Autexier,
2004,
Electron. Notes Theor. Comput. Sci..
Christoph Benzmüller,
Alexander Steen,
2018,
IJCAR.
Jörg H. Siekmann,
Christoph Benzmüller,
Andreas Meier,
2003
.
Jörg H. Siekmann,
Ivana Kruijff-Korbayová,
Manfred Pinkal,
2022
.
Christoph Benzmüller,
David Fuenmayor,
2017,
KI.
Christoph Benzmüller,
Marvin R. G. Schiller,
Ann van de Veire,
2006,
ICLP 2006.
Christoph Benzmüller,
Serge Autexier,
2009
.
Xavier Parent,
Christoph Benzmüller,
Ali Farjami,
2018,
ArXiv.
Volker Sorge,
Christoph Benzmüller,
1999
.
Christoph Benzmüller,
Alexander Steen,
Max Wisniewski,
2016,
ARQNL@IJCAR.
Christoph Benzmüller,
David Fuenmayor,
Christoph Benzmüller,
2021,
ITP.
Christoph Benzmüller,
Sebastian Reiche,
2021,
Arch. Formal Proofs.
Modeling and Automating Public Announcement Logic with Relativized Common Knowledge as a Fragment of HOL in LogiKEy
pdf
Christoph Benzmüller,
Sebastian Reiche,
2021,
ArXiv.
Christoph Benzmüller,
Dominik Dietrich,
Marvin R. G. Schiller,
2008,
Teaching Mathematics and Computer Science.
Geoff Sutcliffe,
Christoph Benzmüller,
Florian Rabe,
2007
.
Volker Sorge,
Christoph Benzmüller,
2001
.
Lawrence C. Paulson,
Christoph Benzmüller,
Lawrence Charles Paulson,
2008
.
Christoph Benzmüller,
Marco Ziener,
2013
.
Christoph Benzmüller,
Michael Kohlhase,
Chad E. Brown,
2006
.
Volker Sorge,
Christoph Benzmüller,
Erica Melis,
2001
.
Bruno Woltzenlogel Paleo,
Christoph Benzmüller,
B. W. Paleo,
2017
.
Christoph Benzmüller,
Michael Kohlhase,
1997
.
Christoph Benzmüller,
1999
.
Christoph Benzmüller,
Andreas Meier,
Martin Pollet,
2007
.
Christoph Benzmüller,
2015
.
Christoph Benzmüller,
Marvin R. G. Schiller,
2006
.
Designing Normative Theories of Ethical Reasoning: Formal Framework, Methodology, and Tool Support
pdf
Leon van der Torre,
Xavier Parent,
Christoph Benzmüller,
2019,
ArXiv.
Richard Statman,
Jörg H. Siekmann,
Christoph Benzmüller,
2010
.
Christoph Benzmüller,
Michael Kohlhase,
Chad E. Brown,
2008
.
Christoph Benzmüller,
Andreas Meier,
Martin Pollet,
2002
.
Adam Pease,
Christoph Benzmüller,
A. Pease,
2010
.
Bruno Woltzenlogel Paleo,
Christoph Benzmüller,
2013
.
Christoph Benzmüller,
Alexander Steen,
Christoph Benzmüller,
2016
.