Libraries/Archives

Libraries, archives, information collections.

Contents

• Some LP Links

• Public-domain Software at IC

• A Bibliography on Integrating Object-Oriented and Logic Programming

• The TPTP Problem Library and BSTP Benchmark Suite

• LICS Bibliography

• ICIS-L: Information Systems bulletin board

• CMU Artificial Intelligence Repository

• The CCL Project Archive

• ICOT Free Software

• Logical Frameworks

• Bibtex Entries for LP Conferences/Journals

• OOLP WWW Page

• New Zealand Digital Library

• Library of Logic Programming Systems and Test Cases

• City University Constraints

• Abstract Interpretation Bibliography

• LP and the Web