Login / Signup
Anna Milena Rothermel
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 3
Top Topics
Theorem Prover
User Involvement
Mutual Adaptation
Skill Learning
Top Venues
Description Logics
RuleML+RR
RO-MAN
</>
Publications
</>
Anna Milena Rothermel
,
Anna M. H. Abrams
,
Astrid M. Rosenthal-von der Pütten
Feel for me! Robot's Reactions to Abuse Influence Humans' Empathy.
RO-MAN
(2023)
Christian Alrabbaa
,
Stefan Borgwardt
,
Anke Hirsch
,
Nina Knieriemen
,
Alisa Kovtunova
,
Anna Milena Rothermel
,
Frederik Wiehr
In the Head of the Beholder: Comparing Different Proof Representations.
RuleML+RR
(2022)
Christian Alrabbaa
,
Stefan Borgwardt
,
Nina Knieriemen
,
Alisa Kovtunova
,
Anna Milena Rothermel
,
Frederik Wiehr
In the Hand of the Beholder: Comparing Interactive Proof Visualizations.
Description Logics
(2021)