Prof. Dr. Ringo Baumann
Universitätsprofessor
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.




News

  • Matti Berthold successfully defended his PhD titled On Forgetting and What Can Be Learned from It, 2026. Congratulations! Well done!

  • the chapter Nichtmonotones Schließen – die Kunst des Revidierens (in Handbuch der Künstlichen Intelligenz, De Gruyter, 2026) is now available [->]

  • the paper Inference Operators for Argumentation Formalisms – The Case of Dung-style Frameworks (together with L. van der Torre) is accepted for NMR 2025 [->]

  • the article Characterizing Conflict-free and Naive Labellings – Realizability, Uniqueness and Patterns of Redundancy (together with A. Heine) is accepted for The Knowledge Engineering Review [->]