Subproblem finder and instance checker, two cooperating modules for theorem provers
Journal of the ACM (JACM)
Communications of the ACM - Special issue on parallelism
An application of knowledge-base technology in education: a geometry theorem prover
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
Geometry theorem proving using Hilbert's Nullstellensatz
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
Intelligence in scientific computing
Communications of the ACM
A complete and practical algorithm for geometric theorem proving (extended abstract)
Proceedings of the eleventh annual symposium on Computational geometry
Knowledge compilation and theory approximation
Journal of the ACM (JACM)
Automatic Theorem Proving With Renamable and Semantic Resolution
Journal of the ACM (JACM)
Experiments With Some Programs That Search Game Trees
Journal of the ACM (JACM)
A Planning Problem Solver Based on Look-Ahead in Stochastic Game Trees
Journal of the ACM (JACM)
Another Generalization of Resolution
Journal of the ACM (JACM)
The Graphic-Linguistic DistinctionExploring Alternatives
Artificial Intelligence Review
Communications of the ACM
The Graphic-Linguistic DistinctionExploring Alternatives
Artificial Intelligence Review
Diagrammatic Reasoning: An Artificial IntelligencePerspective
Artificial Intelligence Review
On Automating Diagrammatic Proofs of Arithmetic Arguments
Journal of Logic, Language and Information
Editorial: Efficacy of Diagrammatic Reasoning
Journal of Logic, Language and Information
A dynamic-symbolic interface for geometric theorem discovery
Computers & Education
External Representations Contribute to the Dynamic Construction of Ideas
DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference
Automated Geometry Diagram Construction and Engineering Geometry
ADG '98 Proceedings of the Second International Workshop on Automated Deduction in Geometry
Higher-Order Intuitionistic Formalization and Proofs in Hilbert's Elementary Geometry
ADG '00 Revised Papers from the Third International Workshop on Automated Deduction in Geometry
Diagrammatic Reasoning for Geometry ITS to Teach Auxiliary Line Construction Problems
ITS '98 Proceedings of the 4th International Conference on Intelligent Tutoring Systems
Diagram processing: computing with diagrams
Artificial Intelligence
Limitations in pattern recognition and problem solving
ACM '72 Proceedings of the ACM annual conference - Volume 1
Computers in the study of learning: BOGART—A discovery and induction program for games
ACM '65 Proceedings of the 1965 20th national conference
AMORD explicit control of reasoning
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
Framework of the decision support expert systems
WSC '84 Proceedings of the 16th conference on Winter simulation
Conservation principles and action schemes in the synthesis of geometric concepts
Artificial Intelligence
ACM Turing award lectures
A Semantically Guided Deductive System for Automatic Theorem Proving
IEEE Transactions on Computers
A Hole in Goal Trees: Some Guidance from Resolution Theory
IEEE Transactions on Computers
An algorithm for automatic checking of exercises in a dynamic geometry system: iGeom
Computers & Education
Spatial aggregation: theory and applications
Journal of Artificial Intelligence Research
Heuristic algorithms for automated space planning
IJCAI'71 Proceedings of the 2nd international joint conference on Artificial intelligence
Automated theory formation in mathematics
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
Visual reasoning in geometry theorem proving
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
WHISPER: a problem-solving system utilizing diagrams and a parallel processing retina
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
Cognitive processes and ill-defined problems: a case study from design
IJCAI'69 Proceedings of the 1st international joint conference on Artificial intelligence
Knowledge and reasoning in program synthesis
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
A semantically guided deductive system for automatic theorem-proving
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
Doing arithmetic with diagrams
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
A hole in goal trees: some guidance from resolution theory
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
ETHER: a parallel problem solving system
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
EGS: a transformational approach to automatic example generation
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Intended models, circumscription and commonsense reasoning
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
A survey of automated deduction
Artificial intelligence today
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Visually Dynamic Presentation of Proofs in Plane Geometry
Journal of Automated Reasoning
Knowledge compilation using horn approximations
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
Machine discovery based on numerical data generated in computer experiments
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Thinking through diagrams: discovery in game playing
SC'04 Proceedings of the 4th international conference on Spatial Cognition: reasoning, Action, Interaction
Journal of Automated Reasoning
Circumscription And Generic Mathematical Objects
Fundamenta Informaticae
Automatic deduction in (dynamic) geometry: Loci computation
Computational Geometry: Theory and Applications
| Hi-index | 0.05 |