Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Automated_Mathematician> ?p ?o }
Showing triples 1 to 46 of
46
with 100 triples per page.
- Automated_Mathematician abstract "The Automated Mathematician (AM) is one of the earliest successful discovery systems. It was created by Douglas Lenat in Lisp, and in 1977 led to Lenat being awarded the IJCAI Computers and Thought Award.AM worked by generating and modifying short Lisp programs which were then interpreted as defining various mathematical concepts; for example, a program that tested equality between the length of two lists was considered to represent the concept of numerical equality, while a program that produced a list whose length was the product of the lengths of two other lists was interpreted as representing the concept of multiplication. The system had elaborate heuristics for choosing which programs to extend and modify, based on the experiences of working mathematicians in solving mathematical problems.".
- Automated_Mathematician wikiPageExternalLink thesis.html.
- Automated_Mathematician wikiPageExternalLink Why-did-AM-halt.html.
- Automated_Mathematician wikiPageExternalLink am-utexas.
- Automated_Mathematician wikiPageID "253279".
- Automated_Mathematician wikiPageLength "5552".
- Automated_Mathematician wikiPageOutDegree "15".
- Automated_Mathematician wikiPageRevisionID "650225351".
- Automated_Mathematician wikiPageWikiLink Automated_theorem_proving.
- Automated_Mathematician wikiPageWikiLink Category:Artificial_intelligence.
- Automated_Mathematician wikiPageWikiLink Computer-assisted_proof.
- Automated_Mathematician wikiPageWikiLink Discovery_system.
- Automated_Mathematician wikiPageWikiLink Douglas_Lenat.
- Automated_Mathematician wikiPageWikiLink Eurisko.
- Automated_Mathematician wikiPageWikiLink Experimental_mathematics.
- Automated_Mathematician wikiPageWikiLink Goldbachs_conjecture.
- Automated_Mathematician wikiPageWikiLink Graffiti_(program).
- Automated_Mathematician wikiPageWikiLink HR_(software).
- Automated_Mathematician wikiPageWikiLink Heuristic.
- Automated_Mathematician wikiPageWikiLink IJCAI_Computers_and_Thought_Award.
- Automated_Mathematician wikiPageWikiLink Integer_factorization.
- Automated_Mathematician wikiPageWikiLink Lisp_(programming_language).
- Automated_Mathematician wikiPageWikiLink Lisp_programming_language.
- Automated_Mathematician wikiPageWikiLink Symbolic_computation.
- Automated_Mathematician wikiPageWikiLink Symbolic_mathematics.
- Automated_Mathematician wikiPageWikiLinkText "AM program".
- Automated_Mathematician wikiPageWikiLinkText "AM".
- Automated_Mathematician wikiPageWikiLinkText "Automated Mathematician".
- Automated_Mathematician hasPhotoCollection Automated_Mathematician.
- Automated_Mathematician wikiPageUsesTemplate Template:Reflist.
- Automated_Mathematician subject Category:Artificial_intelligence.
- Automated_Mathematician hypernym Systems.
- Automated_Mathematician type Area.
- Automated_Mathematician type Article.
- Automated_Mathematician type Place.
- Automated_Mathematician type Area.
- Automated_Mathematician type Article.
- Automated_Mathematician comment "The Automated Mathematician (AM) is one of the earliest successful discovery systems.".
- Automated_Mathematician label "Automated Mathematician".
- Automated_Mathematician sameAs Matematico_Automatico.
- Automated_Mathematician sameAs Matemático_Automático.
- Automated_Mathematician sameAs m.01lky6.
- Automated_Mathematician sameAs Q3851731.
- Automated_Mathematician sameAs Q3851731.
- Automated_Mathematician wasDerivedFrom Automated_Mathematician?oldid=650225351.
- Automated_Mathematician isPrimaryTopicOf Automated_Mathematician.