The following pages link to (Q5721424):
Displaying 30 items.
- John McCarthy's legacy (Q543573) (← links)
- Diagram processing: Computing with diagrams (Q814449) (← links)
- Conservation principles and action schemes in the synthesis of geometric concepts (Q1028905) (← links)
- Controlling recursive inference (Q1097714) (← links)
- MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics (Q1118426) (← links)
- A refutational approach to geometry theorem proving (Q1124373) (← links)
- Geometric construction by assembling solved subfigures (Q1128611) (← links)
- A semantic backward chaining proof system (Q1193483) (← links)
- A theory of abstraction (Q1199923) (← links)
- Plane geometry theorem proving using forward chaining (Q1215410) (← links)
- Knowledge and reasoning in program synthesis (Q1216171) (← links)
- Non-resolution theorem proving (Q1238434) (← links)
- Hybrid reasoning using universal attachment (Q1329365) (← links)
- Semantical and computational aspects of Horn approximations (Q1575175) (← links)
- Higher order rule characterization of heuristics of compass and straight edge constructions in geometry (Q1846745) (← links)
- On the evolution of artificial intelligence (Q2540658) (← links)
- An examination of the geometry theorem machine (Q2542288) (← links)
- Generalized means-ends analysis and artificial intelligence (Q2545653) (← links)
- Finding resolution proofs and using duplicate goals in AND/OR trees (Q2549243) (← links)
- An admissible and optimal algorithm for searching AND/OR graphs (Q2549574) (← links)
- A program that computes limits using heuristics to evaluate the indeterminate forms (Q2562568) (← links)
- Portfolio theorem proving and prover runtime prediction for geometry (Q2631959) (← links)
- Can one design a geometry engine? Can one design a geometry engine? On the (un)decidability of certain affine Euclidean geometries (Q2631966) (← links)
- DPLL: The Core of Modern Satisfiability Solvers (Q3305326) (← links)
- KNOWLEDGE REPRESENTATION: A SURVEY OF ITS MECHANISMS, A SKETCH OF ITS SEMANTICS (Q3345812) (← links)
- Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems (Q3452277) (← links)
- A complete semantic back chaining proof system (Q6488519) (← links)
- Machine learning and information theory concepts towards an AI mathematician (Q6554714) (← links)
- Geometry machines: from AI to SMC (Q6560378) (← links)
- Elements for a history of artificial intelligence (Q6602215) (← links)
