The use of theorem-proving techniques in question-answering systems
ACM '68 Proceedings of the 1968 23rd ACM national conference
Predicate logic involving data structure as a knowledge representation language
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
Experience with KRL-O: one cycle of a knowledge representation language
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
Expanding the utility of semantic networks through partitioning
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
Semantic networks and the generation of context
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
Hi-index | 22.14 |
A new method of increase user gain in man-machine interaction is discussed. In particular, attention is directed to describing a model in the computer. An intelligent system provided with the knowledge base and the inference mechanism is proposed for the purpose, whereby illustration is given of the system describing both structure and attributes of the real object in the same framework.