ACM Computing Surveys (CSUR)
Taking the initiative in natural language data base interactions: justifying why
COLING '82 Proceedings of the 9th conference on Computational linguistics - Volume 1
A deductive model of control of a problem solver
ACM SIGART Bulletin
A selected descriptor-indexed bibliography to the literature on belief revision
ACM SIGART Bulletin
Reasoning about knowledge and action
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
Vocabularies for problem solver state descriptions
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
A network-based knowledge representation and its natural deduction system
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
| Hi-index | 0.00 |