Links

Here you will find a compendium of links to various resources on logic, artificial intelligence, computability, complexity as well as links to conferences, journals and other research groups.

General Resources

• Abstract State Machine homepage at Michigan State
• Mathematical Logic around the world
• Formal Methods
• Finite Model Theory Homepage
• Theoretical Computer Science on the Web
• Wolfram's Mathworld
• Logic Resources on the Web
• AI on the Web
• CMU Artificial Intelligence Repository

Professional Associations and Societies

• American Association of Artificial Intelligence
• Canadian Society for the Computational Studies of Intelligence
• Principles of Knowledge Representation and Reasoning, Incorporated
• Association for Symbolic Logic
• IJCAI Home Page
• Nonmonotonic Reasoning Workshops
• ECCAI's World Wide Web Homepage
• IFCoLog | DFKI Saarbrücken
• ETAI area Reasoning about Actions and Change
• Assoc for Uncertainty in AI
• SIGART Electronic Information Service
• The Association of Logic Programming (ALP)
• SEP Home Page
• FoLLI's Home Page

Conferences

• AI conferences from AAAI
• IEEE Symposium on Logic in Computer Science
• Principles of Knowledge Representation and Reasoning 2004
• International Workshop on Non-Monotonic Reasoning 2004
• Canadian AI Conference 2004
• MITACS 5th Annual Conference

Journals

• The Directory of Computing Science Journals
• Computational Intelligence
• Logic Journal of the IGPL
• ACM Transactions on Computational Logic
• Electronic Transactions on Artificial Intelligence, ETAI
• On-Line Index of Artificial Intelligence Journals

External Research Groups/Researchers

• SRI's Artificial Intelligence Center
• Cognitive Robotics at the University of Toronto
• Texas Action Group
• Research groups in Logic and Theoretical Computer Science
• People in Computability Theory

SFU Research Groups\Labs

• Centre for Systems Science
• Logic and Functional Programming Group, Computing Science
• Intelligent Systems Lab, Computing Science
• Natural Language Lab, Computing Science
• Mathematics for Information Technology and Complex Systems [MITACS]
• Pacific Institute for the Mathematical Sciences [PIMS]
• Centre for Experimental and Constructive Mathematics [CECM]
• Database and Data Mining Lab, Computing Science
• Lab for Logic and Experimental Philosophy, Philosophy
• Intelligent Robotics and Manufacturing Systems Lab, Engineering Science