Automation
of Reasoning
Mechanisation
of Mathematics
Philosophy
and AI
Formalised
Mathematics
NRC Subject Index
Journal of Artificial Intelligence Research
Artificial Intelligence FAQs
AIhorizon.com
Ontology
The Ontolingua Server
- an online ontology editor at Stanford.
People
John McCarthy
- Logicist AI
Daniel Dennet
- philosopher, connectionist, hyper-darwinian
Marvin Minsky
Aaron Sloman
- interests include the philosophy of mind and the philosophical implications of Artificial Intelligence.
Distributed Knowledge Mangling
ARPA I
3
Reference Architecture
- Intelligent Integration of Information
KIF
- Knowledge Interchange Format
ARPA Knowledge Sharing Effort
- at Stanford University
Knowledge Systems Laboratory
- at Stanford University
HPKB
- High Performance Knowledge Base
Corporations
CYCORP
- "the world leader in commercializing software with common sense".
KR
- Principles of Knowledge Representation and Reasoning, Incorporated.
©
created 1994-11-01 modified 2012-01-19
© 
created 1994-11-01 modified 2012-01-19