Scholar
Christoph Benzmüller
Google Scholar ID: zD0vtfwAAAAJ
Professor for AI Systems Engineering, University of Bamberg
Artificial Intelligence
Automated Reasoning
Knowledge Representation and Reasoning
Logic
Formal
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
5,579
H-index
38
i10-index
135
Publications
20
Co-authors
0
Publications
10 items
Mathematical Proof Assistants for Teaching Logic: The LogiKEy Methodology
2026
Cited
0
Proofs Without Nominals: Gödel's Ontological Argument, its Shallow Embedding, and the Open Questions of the Monatshefte Notes
2026
Cited
0
Gödel's and Scott's Variants of the Ontological Argument in Lean 4
2026
Cited
0
Monadic Second-Order Logic in HOL: Deep and Shallow with Automated Faithfulness (Extended Preprint)
2026
Cited
0
A Comment on Modal Collapse and Ultrafilters in Gödel's Ontological Argument
2026
Cited
0
First-Order Modal Logic in HOL: Deep and Shallow Embeddings with Automated Faithfulness (Extended Preprint)
2026
Cited
0
Many Logics, One Methodology: A Plea for Logical Pluralism in Formalised Reasoning (preprint)
2026
Cited
0
Neuro-Symbolic Verification of LLM Outputs for Data-Sensitive Domains (extended preprint)
2026
Cited
0
Load more
