Sven Thiele

Research Projects

• BioASP

  Reasoning on biological models using ASP techniques

  
  
  

• GrinGo

  A New Grounder for Answer Set Programming.   Martin Gebser, Torsten Schaub, and Sven Thiele.
  
  LPNMR'07 [PDF] [BibTeX]

• Platypus

  A platform for distributed answer set solving.   Jean Gressmann, Tomi Janhunen, Robert Mercer, Torsten Schaub, Sven Thiele, Richard Tichy.
  
  LPNMR'05 [PDF] [BibTeX]

Adresse

Dipl.-Inform. Sven Thiele
Universität Potsdam
Institut für Informatik
August-Bebel-Straße 89
D-14482 Potsdam

Büro Komplex III, Haus 4, Zimmer 02.10
direkt am S-Bahnhof Griebnitzsee

Wegbeschreibung

Fon +49-331-977-3083
Fax +49-331-977-3122

Email sthiele@cs.uni-potsdam.de