logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
C

Christoph Benzmüller

otto friedrich university bamberg

26H-index
331Paper Count
2.6KCitation Count
Published Papers 2
Publication Date
logo
Dependently Typed Higher-Order Logic
errACM Transactions on Computational Logic
IF0
err2026-01-01
err0
PREAI
errRothgang, Colin; Rabe, Florian; Benzmuller, Christoph
errShare
errSave
Designing normative theories for ethical and legal reasoning: LOGIKEY framework, methodology, and tool support
errartificial intelligence review
IF4.6
err2020-10-01
err26
errOAAI
errBenzmuller, Christoph; Parent, Xavier; van der Torre, Leendert
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
L
Leendert van der Torre
H-index: 45 · Papers: 574
F
Florian Rabe
H-index: 17 · Papers: 124
X
Xavier Parent
H-index: 11 · Papers: 77
C
Colin Rothgang
H-index: 3 · Papers: 6
All loaded