Super Logic Programs: Related Links

• DisLoP-Project (University of Koblenz)
• Library of Logic Programming Systems and Test Cases
• DisLog-System (University of Tuebingen)
• DeReS, a Default Reasoning System (University of Kentucky)
• dlv
• Blaubaer, a System for Bottom-Up Computation of DWFS&DSTABLE (Hannover)
• LPNMR, Special Interest Group on Logic Programming and Nonmonotonic Reasoning
• Dagstuhl-Seminar on "Disjunctive logic programming and databases" (1996)
• Database Group in Hannover (Headed by Udo Lipeck)
• DDDB (University of Maryland)