REWERSE - reasoning on the web

Wolfgang May

Member of REWERSE participant


Involvement in REWERSE packages

I5, I4, A3

Former and current employments

Universität Göttingen (Germany)
1995-2002: Universität Freiburg (Germany)
since 10.2002: Universität Göttingen

Current professional interests

XML & friends, XML & Logic, Logic Programming, Nonmonotonic Reasoning, information extraction from the Web

Former professional interests

deductive and active databases, integrity in relational databases, temporal and modal logics, theorem proving

Professional web page

go to top of page