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