Comparing approaches to the exploration of the domain of residue classes
Journal of Symbolic Computation - Integrated reasoning and algebra systems
A Semantics for Proof Plans with Applications to Interactive Proof Planning
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
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
Proof Planning with Multiple Strategies
CL '00 Proceedings of the First International Conference on Computational Logic
Employing Theory Formation to Guide Proof Planning
AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Classifying Isomorphic Residue Classes
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
A task-oriented agent-based mechanism for mathematical assistant systems
Web Intelligence and Agent Systems
Constraint Solving for Proof Planning
Journal of Automated Reasoning
Proof planning with multiple strategies
Artificial Intelligence
Assertion application in theorem proving and proof planning
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Adaptable Mixed-Initiative Proof Planning for Educational Interaction
Electronic Notes in Theoretical Computer Science (ENTCS)
Failure Reasoning in Multiple-Strategy Proof Planning
Electronic Notes in Theoretical Computer Science (ENTCS)
On the Comparison of Proof Planning Systems: , Ωmega and IsaPlanner
Electronic Notes in Theoretical Computer Science (ENTCS)
Pedagogically founded courseware generation for web-based learning: an HTN-planning-based approach implemented in PAIGOS
Roles of math search in mathematics
MKM'06 Proceedings of the 5th 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
Impasse-driven reasoning in proof planning
MKM'05 Proceedings of the 4th international conference on Mathematical Knowledge Management
Reductio ad absurdum: planning proofs by contradiction
Reasoning, Action and Interaction in AI Theories and Systems
Design of automation systems for web based courseware using XML and XSLT
DNIS'05 Proceedings of the 4th international conference on Databases in Networked Information Systems
Proof planning for first-order temporal logic
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
System description: MULTI a multi-strategy proof planner
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
An approach to safe continuous planning
PRIMA'04 Proceedings of the 7th Pacific Rim international conference on Intelligent Agents and Multi-Agent Systems
A tactic language for declarative proofs
ITP'10 Proceedings of the First international conference on Interactive Theorem Proving
Hi-index | 0.00 |