Bookmarks

Following temporariry lists my bookmarked pages.

Computatational Logic

• The TPTP Problem Library for Automated Theorem Proving
• OpenCyc for the Semantic Web

• Potassco, the Potsdam Answer Set Solving Collection, bundles tools for Answer Set Programming developed at the University of Potsdam

  • Install clasp on Mac OSX

Programming Tools

• SAXON The XSLT and XQuery Processor