Assistant Researcher
Intelligent
Systems Department
Computer Science Institute
University of
Leipzig
Johannisgasse 26 (Interim) Room 5-40
04109 Leipzig,
Germany
email:
mylastname@informatik.uni-leipzig.de
phone:
0049-341- 97-32365
Publications
[1]
R. Baumann:
The
Mereotopological Structure of the Brentanoraum B(3)
and
Material Entities,
Diplomarbeit, Department of Mathematics, University of Leipzig,
2009. [pdf]
[2]
R. Baumann, G. Brewka, H. Strass, M. Thielscher and V.
Zaslawski:
State
Defaults and Ramifications in the Unifying Action Calculus,
in Proc. KR 2010. [pdf]
[3]
R. Baumann and G. Brewka:
Expanding
Argumentation Frameworks: Enforcing and Monotonicity Results,
in
Proc. COMMA 2010. [pdf]
[4]
R. Baumann:
Splitting
an Argumentation Framework,
in Proc. LPNMR 2011. [pdf]
[5]
R. Baumann, G. Brewka and Renata Wong:
Splitting
Argumentation Frameworks: An Empirical Evaluation,
in
Proc. TAFA 2011. [pdf]
[program]
[6]
R. Baumann:
Normal
and Strong Expansion Equivalence for Argumentation
Frameworks,
submitted
to Artificial
Intelligence Journal .
[pdf]
[7]
R. Baumann and H. Herre:
The
Axiomatic Foundation of Space in GFO,
submitted
to Applied Ontology Journal
.
[pdf]
[8]
R. Baumann, F. Loebe and H. Herre:
Ontology
of Time in GFO,
accepted
for FOIS 2012.
[9]
R. Baumann, G. Brewka, W. Dvorak, S. Woltran:
Parametrized
Splitting: A Simple Modification-Based Approach,
to
appear 2012.
[10]
R. Baumann:
Minimal
Change,
under
review.
Co-Supervised Bachelor thesis
▪
Renata
Wong: An
Implementation of Splitting for Dung Style Argumentation Frameworks,
2011.
▪ Christopher
Hermann: Weak
Expansion Equivalence for Argumentation Frameworks,
to appear 2012.
Reviews
▪ PC
member of IJCAI 2011, International Joint Conference on Artificial
Intelligence
▪ AIJ
2010 - 2011, Artificial Intelligence Journal