Artificial Intelligence

• AAAI
• Association for Uncertainty in AI
• Society for AI and Statistics
• British Computer Society Specialist Group on Expert Systems
• AI Personal Home Pages
• AI Electronic Journals
• Bibliographies on AI
• AI Resources on the Web
• CMU AI Repository
• Case-Based Reasoning on the Web
• Information Extraction - Natural Language Processing Laboratory

Formal Methods & Logics

• The Association of Logic Programming
• Logical Frameworks
• The WWW Virtual Library: Formal Methods
• Internet and WWW programming using LP and CLP
• The Logic Programming Group at Imperial College
• Automated Reasoning
• Stanford Temporal Prover
• Automated Mathematical Induction
• Specialist Groups of The British Computer Society
• Projects, People, Conferences and Specific Resources on Knowledge Representation

Knowledge Sharing & Ontologies

• Knowledge Sharing Effort
• Ontologies: a Catalogue
• Ontolingua Server
• John Sowa on KR ontology
• Ontosaurus
• On2broker
• KA2 Ontology
• TOVE Ontologies
• The Ontology Page
• Sites Relevant to Ontologies and Knowledge Sharing
• Ontology.Org - Enabling Virtual Business
• KBS/Ontology Projects Worldwide
• Ontological Foundations of Knowledge Engineering at Ladseb-CNR
• Ontology: A Resource Page
• Projects, People, Conferences and Specific Resources on Ontology

Software Design

• The Requirements Engineering Group of the British Computer Society
• CSRS - Collaborative SW Development
• Rapid Prototyping Lab - University of Sunderland
• Society for Requirements Engineering Archives
• SEweb - Requirements Engineering
• The RENOIR Requirements Engineering Network
• Leveson's Software Safety Group
• The Object Agency (library of OO stuff)
• ASSET - Software Engineering and Web Technology
• Cleanroom Development Tutorial
• NATURE (European Requirements Engineering Project) papers
• Toolkit for Conceptual Modelling

Conferences & Events

• IJCAI - The International Joint Conferences on AI
• The Association of Logic Programming - Upcoming Events
• Logic Related Conferences
• Agent Related Conferences and Events
• AAAI-Sponsored Conferences

Internet Bookshops & Libraries

• AddisonWesley Computing and Software Engineering
• Blackwell's Online Bookshop
• Computer Literacy
• eLib - Electronic Libraries Programme
• The Internet Book Shop
• Internet Libraries and Book Stores
• James Thin
• Libraries Automation Service at Oxford University
• O'Reilly and Associates
• The UCI Bookstore

Bits & Pieces

• Welcome to Edinburgh
• Edinburgh's Festivals Info
• Gateway to Scotland
• Kew Gardens
• Natural History Museum