ACL '82 Proceedings of the 20th annual meeting on Association for Computational Linguistics
On inference-based procedures for lexical disambiguation
COLING '96 Proceedings of the 16th conference on Computational linguistics - Volume 2
Integrating logic programs and schemata
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
A computational model of tractable reasoning: taking inspiration from cognition
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Using model theory to specify AI programs
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
A decidable first-order logic for knowledge representation
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
An optimally efficient limited inference system
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
A note on logic and information retrieval
MIRO'95 Proceedings of the Final conference on Multimedia Information Retrieval
| Hi-index | 0.00 |