Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Logic_Theorist> ?p ?o }
Showing triples 1 to 88 of
88
with 100 triples per page.
- Logic_Theorist abstract "Logic Theorist is a computer program written in 1955 and 1956 by Allen Newell, Herbert A. Simon and Cliff Shaw. It was the first program deliberately engineered to mimic the problem solving skills of a human being and is called \"the first artificial intelligence program\". It would eventually prove 38 of the first 52 theorems in Whitehead and Russell's Principia Mathematica, and find new and more elegant proofs for some.".
- Logic_Theorist wikiPageExternalLink humanandmachine.html.
- Logic_Theorist wikiPageExternalLink logictheorymachine.pdf.
- Logic_Theorist wikiPageExternalLink File:Newell_Simon_The_Logic_Theory_Machine_Jul56.pdf.
- Logic_Theorist wikiPageID "13685265".
- Logic_Theorist wikiPageLength "10913".
- Logic_Theorist wikiPageOutDegree "84".
- Logic_Theorist wikiPageRevisionID "694804304".
- Logic_Theorist wikiPageWikiLink Alfred_North_Whitehead.
- Logic_Theorist wikiPageWikiLink Allen_Newell.
- Logic_Theorist wikiPageWikiLink Arthur_Samuel.
- Logic_Theorist wikiPageWikiLink Artificial_intelligence.
- Logic_Theorist wikiPageWikiLink Bertrand_Russell.
- Logic_Theorist wikiPageWikiLink Bounded_rationality.
- Logic_Theorist wikiPageWikiLink Bureaucracy.
- Logic_Theorist wikiPageWikiLink Carnegie_Mellon_University.
- Logic_Theorist wikiPageWikiLink Category:History_of_artificial_intelligence.
- Logic_Theorist wikiPageWikiLink Category:Theorem_proving_software_systems.
- Logic_Theorist wikiPageWikiLink Chinese_room.
- Logic_Theorist wikiPageWikiLink Christopher_Strachey.
- Logic_Theorist wikiPageWikiLink Claude_Shannon.
- Logic_Theorist wikiPageWikiLink Cliff_Shaw.
- Logic_Theorist wikiPageWikiLink Combinatorial_explosion.
- Logic_Theorist wikiPageWikiLink Computational_complexity_theory.
- Logic_Theorist wikiPageWikiLink Computational_theory_of_mind.
- Logic_Theorist wikiPageWikiLink Daniel_Crevier.
- Logic_Theorist wikiPageWikiLink Dartmouth_Conferences.
- Logic_Theorist wikiPageWikiLink Decision_theory.
- Logic_Theorist wikiPageWikiLink Exponential_growth.
- Logic_Theorist wikiPageWikiLink Formal_proof.
- Logic_Theorist wikiPageWikiLink General_Problem_Solver.
- Logic_Theorist wikiPageWikiLink George_Pólya.
- Logic_Theorist wikiPageWikiLink Herbert_A._Simon.
- Logic_Theorist wikiPageWikiLink Heuristic.
- Logic_Theorist wikiPageWikiLink How_to_Solve_It.
- Logic_Theorist wikiPageWikiLink Hypothesis.
- Logic_Theorist wikiPageWikiLink Information_Processing_Language.
- Logic_Theorist wikiPageWikiLink Information_processing.
- Logic_Theorist wikiPageWikiLink John_McCarthy_(computer_scientist).
- Logic_Theorist wikiPageWikiLink John_Searle.
- Logic_Theorist wikiPageWikiLink Journal_of_Symbolic_Logic.
- Logic_Theorist wikiPageWikiLink Lisp_(programming_language).
- Logic_Theorist wikiPageWikiLink Logistics.
- Logic_Theorist wikiPageWikiLink Marvin_Minsky.
- Logic_Theorist wikiPageWikiLink Mathematical_proof.
- Logic_Theorist wikiPageWikiLink Mind–body_problem.
- Logic_Theorist wikiPageWikiLink Nathaniel_Rochester_(computer_scientist).
- Logic_Theorist wikiPageWikiLink Nobel_Prize.
- Logic_Theorist wikiPageWikiLink Oliver_Selfridge.
- Logic_Theorist wikiPageWikiLink Organizational_theory.
- Logic_Theorist wikiPageWikiLink Pamela_McCorduck.
- Logic_Theorist wikiPageWikiLink Pattern_matching.
- Logic_Theorist wikiPageWikiLink Physical_symbol_system.
- Logic_Theorist wikiPageWikiLink Political_science.
- Logic_Theorist wikiPageWikiLink Pons_asinorum.
- Logic_Theorist wikiPageWikiLink Principia_Mathematica.
- Logic_Theorist wikiPageWikiLink Proposition.
- Logic_Theorist wikiPageWikiLink RAND_Corporation.
- Logic_Theorist wikiPageWikiLink Search_tree.
- Logic_Theorist wikiPageWikiLink Soar_(cognitive_architecture).
- Logic_Theorist wikiPageWikiLink Stanford_University.
- Logic_Theorist wikiPageWikiLink Unified_Theories_of_Cognition.
- Logic_Theorist wikiPageWikiLinkText "Logic Theorist".
- Logic_Theorist wikiPageWikiLinkText "Logic Theory Machine".
- Logic_Theorist wikiPageWikiLinkText "The Logic Theorist".
- Logic_Theorist wikiPageUsesTemplate Template:Crevier_1993.
- Logic_Theorist wikiPageUsesTemplate Template:Efn.
- Logic_Theorist wikiPageUsesTemplate Template:McCorduck_2004.
- Logic_Theorist wikiPageUsesTemplate Template:Notes.
- Logic_Theorist wikiPageUsesTemplate Template:Reflist.
- Logic_Theorist wikiPageUsesTemplate Template:Russell_Norvig_2003.
- Logic_Theorist wikiPageUsesTemplate Template:Sfn.
- Logic_Theorist subject Category:History_of_artificial_intelligence.
- Logic_Theorist subject Category:Theorem_proving_software_systems.
- Logic_Theorist hypernym Program.
- Logic_Theorist type Work.
- Logic_Theorist type Redirect.
- Logic_Theorist type Tool.
- Logic_Theorist comment "Logic Theorist is a computer program written in 1955 and 1956 by Allen Newell, Herbert A. Simon and Cliff Shaw. It was the first program deliberately engineered to mimic the problem solving skills of a human being and is called \"the first artificial intelligence program\". It would eventually prove 38 of the first 52 theorems in Whitehead and Russell's Principia Mathematica, and find new and more elegant proofs for some.".
- Logic_Theorist label "Logic Theorist".
- Logic_Theorist sameAs Q4391896.
- Logic_Theorist sameAs Logic_Theorist.
- Logic_Theorist sameAs Logic_Theorist.
- Logic_Theorist sameAs m.03cf1zn.
- Logic_Theorist sameAs Logic_Theorist.
- Logic_Theorist sameAs Q4391896.
- Logic_Theorist wasDerivedFrom Logic_Theorist?oldid=694804304.
- Logic_Theorist isPrimaryTopicOf Logic_Theorist.