Proof Development with Omega-MEGA: sqrt(2) Is Irrational
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
A task-oriented agent-based mechanism for mathematical assistant systems
Web Intelligence and Agent Systems
Constraint Solving for Proof Planning
Journal of Automated Reasoning
Translation of resolution proofs into short first-order proofs without choice axioms
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
Interpreting semi-formal utterances in dialogs about mathematical proofs
Data & Knowledge Engineering - Special issue: Application of natural language to information systems (NLDB04)
Visualizing Proof Search for Theorem Prover Development
Electronic Notes in Theoretical Computer Science (ENTCS)
Managing Proof Documents for Asynchronous Processing
Electronic Notes in Theoretical Computer Science (ENTCS)
Domain-Knowledge Manipulation for Dialogue-Adaptive Hinting
Proceedings of the 2005 conference on Artificial Intelligence in Education: Supporting Learning through Intelligent and Socially Informed Technology
Fault-Tolerant Interpretation of Mathematical Formulas in Context
Proceedings of the 2005 conference on Artificial Intelligence in Education: Supporting Learning through Intelligent and Socially Informed Technology
Generating Responses to Formally Flawed Problem-Solving Statements
Proceedings of the 2007 conference on Artificial Intelligence in Education: Building Technology Rich Learning Contexts That Work
A review of methods for automatic understanding of natural language mathematical problems
Artificial Intelligence Review
Assertion application in theorem proving and proof planning
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Fault-tolerant context-based interpretation of mathematical formulas
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
The TPTP Problem Library and Associated Infrastructure
Journal of Automated Reasoning
Electronic Notes in Theoretical Computer Science (ENTCS)
Adaptable Mixed-Initiative Proof Planning for Educational Interaction
Electronic Notes in Theoretical Computer Science (ENTCS)
Thoughts on Requirements and Design Issues of User Interfaces for Proof Assistants
Electronic Notes in Theoretical Computer Science (ENTCS)
Failure Reasoning in Multiple-Strategy Proof Planning
Electronic Notes in Theoretical Computer Science (ENTCS)
Verification of Clock Synchronization Algorithms: Experiments on a Combination of Deductive Tools
Electronic Notes in Theoretical Computer Science (ENTCS)
Translation of resolution proofs into short first-order proofs without choice axioms
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
Textbook proofs meet formal logic: the problem of underspecification and granularity
MKM'05 Proceedings of the 4th international conference on Mathematical Knowledge Management
A generic modular data structure for proof attempts alternating on ideas and granularity
MKM'05 Proceedings of the 4th international conference on Mathematical Knowledge Management
Interpretation of implicit parallel structures. a case study with “vice-versa”
NLDB'05 Proceedings of the 10th international conference on Natural Language Processing and Information Systems
System description: MULTI a multi-strategy proof planner
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
Handling errors in mathematical formulas
ITS'06 Proceedings of the 8th international conference on Intelligent Tutoring Systems
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
lim+, δ+, and Non-Permutability of β-Steps
Journal of Symbolic Computation
| Hi-index | 0.00 |