Christoph Benzmüller
Scholar

Christoph Benzmüller

Google Scholar ID: zD0vtfwAAAAJ
Professor for AI Systems Engineering, University of Bamberg
Artificial IntelligenceAutomated ReasoningKnowledge Representation and ReasoningLogicFormal
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
5,579
 
H-index
38
 
i10-index
135
 
Publications
20
 
Co-authors
0
 
Contact
No contact links provided.
Publications
4 items
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
Faithful Logic Embeddings in HOL -- A recipe to have it all: deep and shallow, automated and interactive, heavy and light, proofs and counterexamples, meta and object level
2025
Cited
0
Logical Modalities within the European AI Act: An Analysis
2025
Cited
0
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)