Dr. Eva Richter

Research Scientist

Project Secretary of CoeGSS

photo


Contact Details

Institute for Computer Science
University of Potsdam
August-Bebel-Str. 89
14482 Potsdam, Germany
House 4, Office 1.14
Phone: +49 (0)331/ 977 3065

E-Mail: erichter [at] cs [dot] uni [minus] potsdam [dot] de



Research Interests

Logics in computer science, especially



Papers

D.Kozen, C.Kreitz, E.Richter "Automating Proofs in Category Theory", PDF, International Joint Conference on Automated Reasoning, Seattle(USA), 2006

R. Booth, E.Richter: "On revising fuzzy belief bases",
(extended version with all proofs)
Studia Logica, vol. 80, nr. 1, 2005
PDF

E.Richter: "Nonmonotonic Fuzzy Inference", PDF(PhD Thesis), 2003

R. Booth, E.Richter: "On revising fuzzy belief bases",
UAI International Conference on Uncertainty in Artificial Intelligence,
Acapulco, Mexico, 2003 PSPDF

E.Richter: "Nonmonotonic Inference Operators for Fuzzy Logic",
Workshop "Uncertainty and Nonmonotonic Reasoning", KR2002, Toulouse
DVIPS

Teaching (in German)

Biographical sketch

Last update: 07/28/2015
 XHTML · CSS