Evaluating general purpose automated theorem proving systems
Artificial Intelligence
MBase: representing knowledge and context for the intergration of mathematical software systems
Journal of Symbolic Computation - Calculemus-99: integrating computation and deduction
Adaptation of declaratively represented methods in proof planning
Annals of Mathematics and Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
The Heine–Borel Challenge Problem. In Honor of Woody Bledsoe
Journal of Automated Reasoning
Integrating Computer Algebra into Proof Planning
Journal of Automated Reasoning
Comparing approaches to the exploration of the domain of residue classes
Journal of Symbolic Computation - Integrated reasoning and algebra systems
Critical Agents Supporting Interactive Theorem Proving
EPIA '99 Proceedings of the 9th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
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
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Flexibly Interleaving Processes
ICCBR '99 Proceedings of the Third International Conference on Case-Based Reasoning and Development
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Isar - A Generic Interpretative Approach to Readable Formal Proof Documents
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
A Science of Reasoning (Extended Abstract)
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Proof Planning with Multiple Strategies
CL '00 Proceedings of the First International Conference on Computational Logic
Experiments with an Agent-Oriented Reasoning System
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
AISC '00 Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation
Inductive Theorem Proving and Computer Algebra in the MathWeb Software Bus
AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
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
Presenting Proofs in a Human-Oriented Way
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
System Description: inka 5.0 - A Logic Voyager
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
JProver: Integrating Connection-Based Theorem Proving into Interactive Proof Assistants
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
P.rex: An Interactive Proof Explainer
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Presenting Mathematical Concepts as an Example for Inference-Rich Domains
NLDB '00 Proceedings of the 5th International Conference on Applications of Natural Language to Information Systems-Revised Papers
Classifying Isomorphic Residue Classes
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
Handbook of automated reasoning
A Refinement of de Bruijn's Formal Language of Mathematics
Journal of Logic, Language and Information
Web Interfaces for Proof Assistants
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Generating referential descriptions in multimedia environments
ReferringPhenomena '97 Referring Phenomena in a Multimedia Context and their Computational Treatment
Exploiting the addressee's inferential capabilities in presenting mathematical proofs
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Using a cognitive architecture to plan dialogs for the adaptive explanation of proofs
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Electronic Notes in Theoretical Computer Science (ENTCS)
Presenting inequations in mathematical proofs
Information Sciences: an International Journal
Dealing with algebraic expressions over a field in Coq using Maple
Journal of Symbolic Computation
Translating between language and logic: what is easy and what is difficult
CADE'11 Proceedings of the 23rd international conference on Automated deduction
Roles of math search in mathematics
MKM'06 Proceedings of the 5th international conference on Mathematical Knowledge Management
European collaboration on automated reasoning
AI Communications - ECAI 2012 Turing and Anniversary Track
| Hi-index | 0.00 |