Login / Signup
Ringo Baumann
ORCID
Publication Activity (10 Years)
Years Active: 2010-2024
Publications (10 Years): 40
Top Topics
Strong Equivalence
Formal Evaluation
Abstract Argumentation
Horn Contraction
Top Venues
IJCAI
KR
Artif. Intell.
AAAI
</>
Publications
</>