Web Directory by Internet-Web-Directory.com

Association for Symbolic Logic.

Canadian Society for History and Philosophy of Mathematics.

European Association for Logic, Language and Information. Meetings and publications.

A federation of societies and groups active in computational logic.

Principles of Knowledge Representation and Reasoning, Incorporated. A charitable organization fostering research and communication on knowledge representation and reasoning. Its primary activities include organizing a series of conferences, the Conferences on Principles of Knowledge Representation and Reasoning, cooperating with workshops on related topics, and maintaining informational materials on the World Wide Web, and maintaining KR-related mailing lists.