JELIA '96 Proceedings of the European Workshop on Logics in Artificial Intelligence
Living Book -- Deduction, Slicing, and Interaction
Journal of Automated Reasoning
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
An application of automated reasoning in natural language question answering
AI Communications - Practical Aspects of Automated Reasoning
A natural language question answering system as a participant in human Q&A portals
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
| Hi-index | 0.00 |