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
1,655
 
H-index
19
 
i10-index
41
 
Publications
20
 
Co-authors
0
 
Contact
No contact links provided.
Publications
2 items
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)