Miscellaneous

Useful links

• Petri Nets World
• Association for Logic Programming
• Association for Automated Reasoning
• Association for Constraint Programming
• Principles of Knowledge Representation and Reasoning, Incorporated (KR Inc.)
• GT Bioss
• CoLoMoTo (Consortium for Logical Models and Tools)
• International Society for Computational Biology (ISCB)