scientific article; zbMATH DE number 3185223
From MaRDI portal
Publication:5721424
zbMath0114.06901MaRDI QIDQ5721424
Publication date: 1960
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (26)
Hybrid reasoning using universal attachment ⋮ Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems ⋮ Portfolio theorem proving and prover runtime prediction for geometry ⋮ Can one design a geometry engine? Can one design a geometry engine? On the (un)decidability of certain affine Euclidean geometries ⋮ Controlling recursive inference ⋮ MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics ⋮ A refutational approach to geometry theorem proving ⋮ Geometric construction by assembling solved subfigures ⋮ DPLL: The Core of Modern Satisfiability Solvers ⋮ A semantic backward chaining proof system ⋮ A theory of abstraction ⋮ John McCarthy's legacy ⋮ Plane geometry theorem proving using forward chaining ⋮ Knowledge and reasoning in program synthesis ⋮ KNOWLEDGE REPRESENTATION: A SURVEY OF ITS MECHANISMS, A SKETCH OF ITS SEMANTICS ⋮ Non-resolution theorem proving ⋮ On the evolution of artificial intelligence ⋮ An examination of the geometry theorem machine ⋮ Generalized means-ends analysis and artificial intelligence ⋮ Conservation principles and action schemes in the synthesis of geometric concepts ⋮ Finding resolution proofs and using duplicate goals in AND/OR trees ⋮ An admissible and optimal algorithm for searching AND/OR graphs ⋮ Semantical and computational aspects of Horn approximations ⋮ A program that computes limits using heuristics to evaluate the indeterminate forms ⋮ Higher order rule characterization of heuristics of compass and straight edge constructions in geometry ⋮ Diagram processing: Computing with diagrams
This page was built for publication:
