Ringo Baumann

I am a postdoctoral researcher, employed as a research assistant (Akademischer Assistent), in the group of Prof. Dr. Gerhard Brewka. I'm further associated with the Onto-Med Research Group led by Prof. Dr. Heinrich Herre. From 2002 to 2009 I studied mathematics, logic and philosphy of science as well as economics at the University of Leipzig (Germany) and the Universidad Nacional Mayor de San Marcos in Lima (Peru). I received my PhD (Dr. rer. nat.) in 2014 with a thesis titled “Metalogical Contributions to the Nonmonotonic Theory of Abstract Argumentation”. Currently I'm working towards a habilitation thesis concerned with abstract logics and knowledge representation formalisms in general. From Oktober 2018 to April 2019, I will be a visiting researcher fellow at King's College in London collaborating with Prof. Dr. Dov Gabbay and Dr. Odinaldo Rodrigues focusing on relations between metalevel and objectlevel operators in classical logics.

My main research interests are formal ontology and logic-based knowledge representation and reasoning, with a special focus on non-monotonic reasoning.



publications google scholar teaching dblp


Ringo Baumann
Intelligent Systems Department
Computer Science Institute
University of Leipzig
Augustusplatz 10
Room P812, Paulinum
04109 Leipzig, Germany

email: mylastname@informatik.uni-leipzig.de phone: 0049-341- 97-32365