KR, Inc. Science, Math, Logic and Foundations, Organizations - KR, Inc.. Principles of Knowledge Representation and Reasoning, Incorporated. http://www.kr.org/
International Federation for Computational Logic (IFCoLog) Science, Math, Logic and Foundations, Organizations - International Federation for Computational Logic (IFCoLog). A federation of societies and groups active in computational logic. http://www.ifcolog.org/
ASL Science, Math, Logic and Foundations, Organizations - ASL. Association for Symbolic Logic. https://www.aslonline.org/
CSHPM Science, Math, Logic and Foundations, Organizations - CSHPM. Canadian Society for History and Philosophy of Mathematics. https://www.cshpm.org/