Knowledge-based proof planning
Artificial Intelligence
&OHgr;-ANTS- combining interactive and automated theorem proving
Symbolic computation and automated reasoning
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
CADE-18 Proceedings of the 18th International Conference on Automated Deduction
Reconstruction Proofs at the Assertion Level
CADE-12 Proceedings of the 12th International Conference on Automated Deduction
A task-oriented agent-based mechanism for mathematical assistant systems
Web Intelligence and Agent Systems
Analysis of mixed natural and symbolic language input in mathematical dialogs
ACL '04 Proceedings of the 42nd Annual Meeting on Association for Computational Linguistics
Mathematical domain reasoning tasks in natural language tutorial dialog on proofs
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Interactive Theorem Proving with Tasks
Electronic Notes in Theoretical Computer Science (ENTCS)
Handling errors in mathematical formulas
ITS'06 Proceedings of the 8th international conference on Intelligent Tutoring Systems
| Hi-index | 0.00 |