Knowledge Processing and Information Systems
claspD: a Solver for Disjunctive Logic Programs

Home
People
Publications

This site has moved to potassco.org/cemetery/claspD/. You will be redirected in 3 seconds.

Contact

University of Potsdam
Institute of Computer Science
An der Bahn 2
D-14476 Potsdam

Phone  +49 331 977-3081
Fax  +49 331 977-3122
Email  torsten@cs.uni-potsdam.de

Imprint - Privacy