|
gptkbp:instance_of
|
gptkb:physicist
|
|
gptkbp:bfsLayer
|
6
|
|
gptkbp:bfsParent
|
gptkb:West_Publishing_Company
gptkb:Freedom_Forum
gptkb:The_Secret_Life_of_Veronica_Lake
gptkb:Ghost_Adventures:_The_Ghosts_of_the_Dead
gptkb:Arthur_Anderson
|
|
gptkbp:alma_mater
|
gptkb:California_Institute_of_Technology
gptkb:Princeton_University
|
|
gptkbp:awards
|
gptkb:political_movement
gptkb:ACM_Turing_Award
|
|
gptkbp:birth_place
|
gptkb:Boston,_Massachusetts
|
|
gptkbp:born
|
September 4, 1927
|
|
gptkbp:children
|
gptkb:3
|
|
gptkbp:contribution
|
Development of AI concepts
Creation of the first AI program
Advocacy for AI research
|
|
gptkbp:death_place
|
gptkb:Palo_Alto,_California
|
|
gptkbp:died
|
October 24, 2011
|
|
gptkbp:field
|
gptkb:Artificial_Intelligence
Computer Science
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
John K. Mc Carthy
|
|
gptkbp:influence
|
Programming language design
AI research community
|
|
gptkbp:influenced
|
gptkb:Marvin_Minsky
|
|
gptkbp:influenced_by
|
gptkb:Alan_Turing
|
|
gptkbp:invention
|
gptkb:Lisp
gptkb:Mc_Carthy's_paradox
Advice Taker
Automated reasoning systems
|
|
gptkbp:known_for
|
gptkb:Artificial_Intelligence
Lisp programming language
Symbolic reasoning
AI programming languages
Formalizing AI concepts
|
|
gptkbp:legacy
|
Pioneering work in AI
Influence on future generations of computer scientists
Establishment of AI as a field of study
|
|
gptkbp:nationality
|
gptkb:Native_American_tribe
|
|
gptkbp:notable_feature
|
Garbage collection
Time-sharing
|
|
gptkbp:published_by
|
gptkb:LISP_1.5_Programmer's_Manual
Recursive Functions of Symbolic Expressions
A Basis for a Mathematical Theory of Computation
Programs with Common Lisp
The Philosophy of Artificial Intelligence
|
|
gptkbp:spouse
|
Ruth Mc Carthy
|
|
gptkbp:work_location
|
gptkb:Stanford_University
gptkb:MIT
gptkb:CEO
|