Artificial Intelligence: Proceedings of the 1981 KL-ONE Workshop

ARCH ARPANET Artificial Intelligence assertions Beranek and Newman Bolt Beranek calculus of structural child classifier components Computer and Information Computer Science constraints context coref defined definition Department of Computer described differentiation domain entity example express extensional Figure files fillers FranzLisp function Hector Levesque implementation incoming description Individual Concept inference Information Science inheritance intensional Interlisp KL-ONE networks KL-ONE structures KloneTalk knowledge base knowledge representation lintel Lipkis Lisp Message.9 Message1 natural language Newman Inc nexus nexuses node number restriction objects paraindividuals Parentage possible predicate primitive problem prototype theory qua concept QUA link quantification realizer represent representation language Richard Fikes role chain role set relations Role Value Maps RoleSet RSR's rules Rusty Bobrow s-expression semantic networks Smalltalk SNePS specify structural descriptions subconcept subparts subset subsumes subsumption relationship Super SUPERC superconcept taxonomy Tbox technical discussions Tim Finin value restriction version of KL-ONE