Prof. Dr. Ringo Baumann
Abteilung für Formale Argumentation und Logisches Schließen

Since 2023 I'm a Heisenberg professor [->] and head of the group “Formale Argumentation und Logisches Schließen“. I'm further a principal investigator in the Center for Scalable Data Analytics and Artificial Intelligence [] and associated with the Onto-Med Research Group [->]. From 2002 to 2009 I studied mathematics, logic and philosophy of science as well as economics at Leipzig University (Germany) and the Universidad Nacional Mayor de San Marcos in Lima (Peru). I received my PhD (Dr. rer. nat.) [->] in 2014 and my habilitation degree (Dr. rer. nat. habil.) [->] in 2019. From Oktober 2018 to April 2019, I was a visiting research fellow at King's College in London (UK).
My main research interests are formal argumentation, formal ontology and formal logic, with a special focus on non-monotonic reasoning.


  • officially elected as a Standard Editor for AIJ [->]

  • the paper On Naive Labellings – Realizability, Construction and Patterns of Redundancy (together with A. Heine) is accepted for FOIKS 2024 [->]

  • December 04, 2023 dies academicus – full program [->] and my inaugural lecture [->]

  • the paper Bipolar Abstract Dialectical Frameworks are covered by Kleene's Three-valued Logic (together with M. Heinrich) is accepted for IJCAI 2023 [->]