Statements (1,036)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Author
gptkb:Person gptkb:CEO gptkb:science_fiction gptkb:sculpture gptkb:Computer_Scientist |
| gptkbp:academic_advisor |
gptkb:John_von_Neumann
|
| gptkbp:active_years |
gptkb:20th_century
1990-present |
| gptkbp:advocated_for |
gptkb:machine_learning
gptkb:AI_technology Ethical AI AI Research Funding |
| gptkbp:affiliation |
gptkb:Harvard_University
gptkb:IBM gptkb:Stanford_University gptkb:MIT gptkb:NASA |
| gptkbp:alma_mater |
gptkb:California_Institute_of_Technology
gptkb:Princeton_University |
| gptkbp:arrested_for |
unspecified date
|
| gptkbp:art_movement |
gptkb:Modernism
|
| gptkbp:associated_with |
gptkb:Stanford_University
|
| gptkbp:award |
gptkb:Turing_Award
gptkb:National_Medal_of_Science |
| gptkbp:awarded_for |
gptkb:Turing_Award
|
| gptkbp:awards |
gptkb:Turing_Award
gptkb:National_Medal_of_Science gptkb:Computer_Pioneer_Award gptkb:ACM_Turing_Award |
| gptkbp:birth_date |
1970-01-01
1927-09-04 |
| gptkbp:birth_place |
gptkb:Boston,_Massachusetts
gptkb:United_States |
| gptkbp:born |
September 4, 1927
|
| gptkbp:born_in |
gptkb:Boston,_Massachusetts
gptkb:United_States |
| gptkbp:child |
gptkb:John_Mc_Carthy_Jr.
gptkb:Michael_Mc_Carthy gptkb:Catherine_Mc_Carthy gptkb:David_Mc_Carthy |
| gptkbp:children |
gptkb:3
|
| gptkbp:class |
AI and the Future
|
| gptkbp:collaborated_with |
gptkb:John_W._Mc_Carthy
|
| gptkbp:concept |
Machine Learning Algorithms
AI Planning |
| gptkbp:contributed_to |
gptkb:servers
gptkb:Natural_Language_Processing gptkb:LISP_programming_language gptkb:AI_Ethics gptkb:Expert_Systems gptkb:robotics Human-Computer Interaction Artificial Intelligence research Computer Programming Languages |
| gptkbp:contribution |
gptkb:crypt
gptkb:Quantum_computing gptkb:blockchain_technology gptkb:AI_Winter gptkb:virtual_reality gptkb:LISP_programming_language gptkb:Garbage_Collection gptkb:cloud_computing gptkb:Internet_of_Things gptkb:Cybersecurity gptkb:machine_learning gptkb:simulation gptkb:Time_Sharing_System gptkb:robotics gptkb:AI_technology gptkb:political_theory Algebra Algorithm design Automated reasoning Big data Calculus Cognitive Science Cognitive science Computational complexity theory Data mining Data science Decision theory Geometry Machine learning Mathematical logic Mathematical modeling Natural language processing Optimization Set theory Software engineering Speech recognition Statistics Topology Computer vision Distributed systems Graph theory Human-computer interaction Information theory Operations research Philosophy of language Augmented reality Expert systems Knowledge representation Network theory Philosophy of mind Probability theory Game theory Parallel computing Computational linguistics Neural networks AI Algorithms AI Conferences AI Innovations AI Models AI Systems AI Tools computer vision knowledge representation natural language processing Formalizing the concept of AI AI Frameworks AI safety automated reasoning AI ethics theory of computation time-sharing systems AI Education Search algorithms Time-sharing systems AI governance AI Ethics Guidelines AI education AI research community Concept of AI Concept of Garbage Collection Concept of Time Sharing Development of AI programming languages Development of time-sharing systems Development of LISP Founding AI as a field Development of AI benchmarks AI standards Development of AI as a field Pioneering work in knowledge representation Symbolic reasoning Development of the first AI programs Exploration of AI in art Exploration of AI in education Research on AI and creativity Research on AI and society Research on AI in law Research on AI in music Work on AI safety Advocacy for AI safety Promotion of interdisciplinary research in AI Research on AI in transportation speaking at international conferences Development of LISP programming language Research on AI in environmental science Research on AI in security AI Research Funding AI programming languages advancing the field of robotics collaborating with other scientists Advancements in machine learning Promotion of AI education founding the field of artificial intelligence Research on robotics Concept of time-sharing Advocacy for AI research Development of the concept of recursive functions Development of the concept of 'garbage collection' in programming. Founding of AI as a field Research on self-replicating systems Robotics ethics development of AI programming languages AI Collaborations AI Community Building AI Publications Concept of garbage collection Research in automated reasoning AI Standards Work on computer vision heuristic programming Advocacy for AI ethics Advice on AI ethics Philosophy of AI Formalizing the notion of a computer program mentoring students in AI research Exploration of AI in social sciences Research on natural language processing developing the concept of garbage collection developing the concept of time-sharing Computer programming languages writing articles for popular science magazines coining the term 'artificial intelligence' concept of garbage collection developing AI programming languages developing the LISP programming language Advancements in cognitive science AI Research Methodologies Influence on AI policy AI regulation Research on AI in healthcare Garbage collection in programming languages AI Summer AI Theories Development of the first AI programming language. Symbolic Reasoning Development of the LISP programming language. collaborating with other AI researchers creating the first AI program engaging with the public on AI issues pioneering the use of symbolic reasoning in AI promoting the idea of machine learning writing articles on AI advancements mentoring future generations of computer scientists creating the concept of garbage collection Exploration of AI in finance Advancement of symbolic computation promoting collaboration between academia and industry Time Sharing Systems AI Policy Development advocating for AI research funding advocating for diversity in AI research advocating for public understanding of AI advocating for responsible AI development contributing to AI ethics discussions creating the first AI conference developing AI applications in various fields developing AI tools for education developing the first AI programs engaging with policymakers on AI issues exploring ethical implications of AI exploring the societal impact of AI formalizing the notion of computation influencing AI curriculum in universities mentoring future computer scientists mentoring young researchers in AI participating in AI competitions participating in the Dartmouth Conference promoting interdisciplinary research in AI researching natural language processing researching the future of AI technology supporting AI startups writing books on AI writing influential papers on AI developing the concept of self-replicating programs AI outreach Creation of the term ' Artificial Intelligence' Pioneering work in the field of symbolic reasoning. Formalizing the notion of computation Concept of ' Artificial Intelligence' Concept of Artificial Intelligence Coined the term ' Artificial Intelligence' Created the first AI program Developed the LISP programming language Developed the concept of garbage collection creating the programming language LISP formalization of AI advocating for AI in healthcare advocating for diversity in AI research. advocating for ethical considerations in AI advocating for open-source AI tools advocating for the importance of AI in society collaborating with industry on AI projects contributing to the development of expert systems developing AI for robotics developing AI for social good developing AI systems for problem-solving developing the first AI programming language developing the idea of time-sharing engaging in public discussions about AI exploring the limits of machine intelligence exploring the philosophical implications of AI participating in AI conferences participating in AI policy discussions participating in government advisory panels on AI promoting AI for environmental sustainability promoting the use of AI in education researching AI ethics writing textbooks on AI exploring the relationship between AI and cognitive science developing the idea of time-sharing systems proposing the use of formal logic in AI founder of AI formalizing the concept of AI Development of AI conferences Development of the concept of 'agents' in AI Exploration of human-like reasoning in machines Founding the Stanford AI Laboratory Influence on AI research funding Promotion of public understanding of AI Research on AI in linguistics Research on ethical implications of AI Work on AI in agriculture Work on AI in economics Work on AI in gaming Work on AI in philosophy founding AI as a field AI Languages AI Programming Paradigms AI Public Awareness AI Societal Impact Development of AI Ethics Advocacy for AI as a field of study. Concept of 'garbage collection' in programming. Creation of the term ' Artificial Intelligence'. founding the MIT AI Lab |
| gptkbp:convicted_of |
unspecified crime
|
| gptkbp:death_date |
gptkb:unknown
2019-10-01 2011-10-24 2011-10-01 2019-10-17 2011-10-30 |
| gptkbp:death_place |
gptkb:California
gptkb:United_States gptkb:Palo_Alto,_California gptkb:Mountain_View,_California gptkb:Stanford,_California |
| gptkbp:developed_by |
gptkb:Garbage_Collection
|
| gptkbp:developed_concept |
Intelligent Agents
|
| gptkbp:developed_method |
Search Algorithms
|
| gptkbp:died |
October 24, 2011
|
| gptkbp:died_in |
gptkb:California
gptkb:Mountain_View,_California |
| gptkbp:famous_for |
gptkb:AI_Ethics
gptkb:AI_Conference_at_Dartmouth_College gptkb:Mc_Carthy's_Laws AI Programming Languages AI and Cognitive Science AI and Big Data AI and Society AI and Expert Systems AI and Human-Computer Interaction AI and Neural Networks AI and Creativity AI concepts Philosophy of AI AI and Cloud Computing AI and Augmented Reality AI and Decision Making AI and Ethics in Technology AI and Philosophy AI and Virtual Reality AI and Internet of Things AI and Logic AI and Ethics in AI Development AI and Autonomous Systems AI and Cybersecurity AI and Algorithm Design AI and Blockchain Technology AI and Computational Intelligence AI and Computational Theory AI and Data Mining AI and Data Structures AI and Future Predictions AI and Human Augmentation AI and Human Cognition AI and Knowledge Engineering AI and Learning Systems AI and Problem Solving AI and Programming Paradigms AI and Robotics Engineering AI and Semantic Web AI and Simulation AI and Smart Technologies AI and Social Implications of AI AI and Software Development AI and Software Engineering AI and System Architecture |
| gptkbp:fellow |
gptkb:American_Academy_of_Arts_and_Sciences
gptkb:American_Association_for_the_Advancement_of_Science gptkb:Association_for_Computing_Machinery gptkb:National_Academy_of_Engineering gptkb:National_Academy_of_Sciences |
| gptkbp:fellowship |
gptkb:American_Academy_of_Arts_and_Sciences
gptkb:Association_for_Computing_Machinery gptkb:National_Academy_of_Engineering gptkb:National_Academy_of_Sciences |
| gptkbp:field |
gptkb:Augmented_Reality
gptkb:AI_Research gptkb:wearable_technology gptkb:blockchain_technology gptkb:Responsible_AI gptkb:virtual_reality gptkb:C_programming_language gptkb:Computer_Vision gptkb:Edge_Computing gptkb:Industrial_Automation gptkb:Natural_Language_Processing gptkb:developers gptkb:Artificial_Intelligence gptkb:computer_science gptkb:AI_Ethics gptkb:Mathematics gptkb:Quantum_Computing gptkb:quantum_computing gptkb:vehicles gptkb:cloud_computing gptkb:Internet_of_Things gptkb:Linguistics gptkb:Cybersecurity gptkb:neural_networks gptkb:Logic gptkb:strategy gptkb:machine_learning gptkb:Big_Data gptkb:Computational_Linguistics gptkb:Deep_Learning gptkb:Data_Science gptkb:networking gptkb:robotics gptkb:AI_technology gptkb:philosophy Cognitive Science Computer Science Decision Theory Human-Computer Interaction Neuroscience Statistics Visual arts Computer Programming Distributed Systems Information Theory Mathematical Logic Systems Theory big data computational complexity theory cybersecurity database systems theoretical computer science AI Development AI Ecosystem AI Startups AI Trends Ethical AI Smart Cities algorithm design augmented reality cognitive science computational linguistics computer vision data structures deep learning human-computer interaction information theory knowledge representation linguistics natural language processing swarm intelligence bioinformatics computational physics data mining data science distributed systems edge computing reinforcement learning computational theory neuroscience fuzzy logic AI Governance computational chemistry evolutionary computation information retrieval software engineering semantic web AI Accountability Smart Technologies robotic process automation automated reasoning digital forensics Sustainable Computing computational geometry expert systems Digital Twins computational biology computational neuroscience AI Community computational number theory computational algebra AI Fairness AI Innovation Social Computing intelligent agents internet of things computational topology systems programming AI Policy AI Regulation AI Bias AI Transparency computational statistics artificial neural networks Green IT computational learning theory computational finance computational social science computational models of cognition computational optimization AI Accessibility AI Market AI Security AI Collaboration AI Future AI Explainability computational models of perception computational models of language AI Entrepreneurship computational models of learning AI Inclusivity computational game theory computational models of action computational models of emotion computational models of social behavior AI Industry 5 G Technology AI Robustness computational models of creativity computational models of decision making computational models of intelligence computational models of memory computational models of problem solving computational models of reasoning AI Diversity AI Interpretability AI Privacy AI Trustworthiness AI Usability |
| gptkbp:field_of_study |
gptkb:Artificial_Intelligence
gptkb:computer_science gptkb:Mathematics gptkb:Logic gptkb:philosophy Computer Science |
| gptkbp:founded |
gptkb:AI_Lab_at_MIT
|
| gptkbp:founder |
gptkb:Stanford_Artificial_Intelligence_Laboratory
gptkb:MIT_AI_Lab |
| gptkbp:full_name |
gptkb:John_Dewey_Mc_Carthy
gptkb:John_W._Mc_Carthy John Arthur B. Mc Carthy John Dewey C. Mc Carthy |
| gptkbp:genre |
gptkb:science_fiction
|
| gptkbp:has_child |
gptkb:John_Mc_Carthy_Jr.
gptkb:Michael_Mc_Carthy gptkb:Catherine_Mc_Carthy gptkb:Cynthia_Mc_Carthy Elizabeth Mc Carthy |
| gptkbp:has_contribution |
Contributions to logic
|
| gptkbp:has_education |
MBA
Bachelor's Degree in Finance |
| gptkbp:has_experience_in |
gptkb:Investment_Management
gptkb:investment_banking Strategic Planning |
| gptkbp:has_field |
gptkb:Mathematics
|
| gptkbp:has_occupation |
gptkb:Mathematician
gptkb:Computer_Scientist CFO |
| gptkbp:has_role |
gptkb:CEO
CFO |
| gptkbp:has_skill |
gptkb:leadership
gptkb:Compliance_Management gptkb:Risk_Management Analytical Skills Budgeting Communication Skills Financial Analysis Financial Reporting Problem Solving Strategic Planning Tax Planning Team Management Mergers and Acquisitions Financial Forecasting Cash Flow Management |
| gptkbp:has_spouse |
Ruth Mc Carthy
|
| https://www.w3.org/2000/01/rdf-schema#label |
Dr. John D. Mc Carthy
|
| gptkbp:inception |
gptkb:1956
gptkb:LISP AI field |
| gptkbp:influence |
gptkb:philosophy_of_mind
gptkb:neural_networks gptkb:machine_learning gptkb:robotics gptkb:AI_technology Cognitive science Philosophy of mind theoretical computer science algorithm design cognitive science computer programming human-computer interaction knowledge representation natural language processing data science AI ethics discussions neuroscience software engineering semantic web AI ethics Modern Computing expert systems AI startups AI education AI research community logic programming Modern programming languages AI conferences AI safety research AI research funding AI programming languages AI publications modern AI research AI regulation future AI technologies |
| gptkbp:influenced |
gptkb:Tristan_Walker
gptkb:Evan_Thomas_Spiegel gptkb:Guido_van_Rossum gptkb:Herbert_A._Simon gptkb:Herbert_Simon gptkb:Kevin_Systrom gptkb:Satya_Nadella gptkb:Ruha_Benjamin gptkb:Sergey_Brin gptkb:Sherry_Turkle gptkb:Daniel_Kahneman gptkb:Douglas_Engelbart gptkb:Drew_Houston gptkb:Marc_Andreessen gptkb:Meg_Whitman gptkb:Ada_Lovelace gptkb:Arash_Ferdowsi gptkb:Bjarne_Stroustrup gptkb:Dario_Amodei gptkb:Marissa_Mayer gptkb:Padmasree_Warrior gptkb:David_Poole gptkb:Brian_Chesky gptkb:Edgar_F._Codd gptkb:Pedro_Domingos gptkb:Barbara_Grosz gptkb:developers gptkb:Elon_Musk gptkb:Fei-Fei_Li gptkb:Joe_Gebbia gptkb:Mark_Zuckerberg gptkb:Nathan_Blecharczyk gptkb:computer_science gptkb:John_William_Holland gptkb:Edward_Feigenbaum gptkb:Marc_Benioff gptkb:Michael_Dell gptkb:Safiya_Noble gptkb:Sheryl_Sandberg gptkb:Sundar_Pichai gptkb:Virginia_Rometty gptkb:Yoshua_Bengio gptkb:Diane_Greene gptkb:Howard_Schultz gptkb:James_Gosling gptkb:Bill_Gates gptkb:David_Silver gptkb:John_von_Neumann gptkb:Larry_Page gptkb:Meredith_Whittaker gptkb:Michael_Jordan gptkb:Norbert_Wiener gptkb:Raymond_Kurzweil gptkb:Robert_Kahn gptkb:Steve_Jobs gptkb:Alan_Turing gptkb:Jeff_Bezos gptkb:Larry_Ellison gptkb:Safra_Catz gptkb:Tim_Cook gptkb:Rashida_Richardson gptkb:Kate_Crawford gptkb:David_Chalmers gptkb:Jack_Dorsey gptkb:Michael_I._Jordan gptkb:Reid_Hoffman gptkb:Biz_Stone gptkb:Claude_Shannon gptkb:Linus_Torvalds gptkb:Richard_Branson gptkb:Tim_Berners-Lee gptkb:Ben_Silbermann gptkb:David_Deutsch gptkb:Reed_Hastings gptkb:Andrew_Ng gptkb:Jürgen_Schmidhuber gptkb:Nick_Bostrom gptkb:Peter_Norvig gptkb:Richard_Sutton gptkb:Marvin_Minsky gptkb:Daphne_Koller gptkb:Stuart_Russell gptkb:Vinton_Cerf gptkb:Leslie_Valiant gptkb:Peter_Thiel gptkb:Ray_Solomonoff gptkb:Alan_Kay gptkb:Evan_S._Williams gptkb:Ian_Goodfellow gptkb:Jeff_Dean gptkb:Sam_Altman gptkb:Allen_Newell gptkb:Nicholas_Carr gptkb:Max_Tegmark gptkb:Brian_Christian gptkb:Ruth_Porat gptkb:John_Mc_Carthy_Jr. gptkb:Zoubin_Ghahramani gptkb:Danah_Boyd gptkb:Mike_Krieger gptkb:neural_networks gptkb:Dr._Stephen_Wolfram gptkb:Timnit_Gebru gptkb:Ilya_Sutskever gptkb:Kevin_Kelly gptkb:Evan_Selinger gptkb:Chris_Bishop gptkb:Barbara_Liskov gptkb:Computational_Linguistics gptkb:Daniel_Ek gptkb:Demis_Hassabis gptkb:Dr._Ray_Kurzweil gptkb:Geoffrey_R._Hinton gptkb:John_W._Mc_Carthy gptkb:Judea_Pearl gptkb:Niklaus_Wirth gptkb:Susan_Wojcicki gptkb:Tim_O'_Reilly gptkb:Yann_Le_Cun gptkb:Zeynep_Tufekci gptkb:Shantanu_Narayen gptkb:Francois_Chollet gptkb:Douglas_Lenat gptkb:Data_Science gptkb:AI_technology gptkb:Donald_Knuth gptkb:Ginni_Rometty gptkb:Cathy_O'_Neil gptkb:Joy_Buolamwini computer programming Artificial Intelligence research AI research community Computer Ethics Artificial Intelligence community Peter Abbeel John Mc Carthy (computer scientist) John Mc Carthy (AI) John Mc Carthy's work on AI John Mc Carthy (philosopher) John Mc Carthy's students John Mc Carthy's AI Principles John Mc Carthy's work on AI. |
| gptkbp:influenced_by |
gptkb:Herbert_Simon
gptkb:John_Mc_Carthy_Sr. gptkb:John_von_Neumann gptkb:Norbert_Wiener gptkb:Alan_Turing gptkb:Claude_Shannon gptkb:Marvin_Minsky Contemporary artists |
| gptkbp:influences |
gptkb:Alan_Turing
gptkb:Philip_K._Dick |
| gptkbp:inspired |
Future Generations of Computer Scientists
|
| gptkbp:invention |
gptkb:Mc_Carthy's_Law
gptkb:LISP_programming_language gptkb:protocol gptkb:LISP_Programming_Language Dynamic typing Object-oriented programming dynamic typing garbage collection symbolic computation Garbage collection recursive functions time-sharing systems Time-sharing systems Recursive functions Concept of AI Object-oriented programming concepts AI programming paradigms concept of AI as a field formal logic in AI self-modifying code The concept of AI The term ' Artificial Intelligence' |
| gptkbp:involved_in |
AI Research Community
|
| gptkbp:involvement |
gptkb:Stanford_University
|
| gptkbp:is_a_member_of |
gptkb:American_Academy_of_Arts_and_Sciences
gptkb:National_Academy_of_Engineering gptkb:National_Academy_of_Sciences |
| gptkbp:is_active_in |
Finance Industry
|
| gptkbp:is_associated_with |
gptkb:Compliance_Management
Financial Reporting Investment Decisions Investment Strategies |
| gptkbp:is_debut_author |
gptkb:True
|
| gptkbp:is_known_for |
gptkb:Investment_Management
gptkb:Risk_Management Budgeting Financial Strategy |
| gptkbp:is_organized_by |
gptkb:Stanford_University
|
| gptkbp:is_recognized_for |
Innovative Research in AI
Pioneering Work in AI |
| gptkbp:known_for |
gptkb:Mc_Carthy's_1956_Dartmouth_Conference
gptkb:Mc_Carthy's_Law gptkb:Artificial_Intelligence gptkb:LISP_programming_language gptkb:sculpture gptkb:Mc_Carthy's_Laws AI applications AI development AI ethics AI systems Time-sharing systems AI education AI Programming Languages AI conferences AI research funding AI philosophy AI programming languages AI theory the development of time-sharing systems AI winter founding the field of artificial intelligence the concept of garbage collection the concept of self-replicating programs the development of the first AI programs Mc Carthy's definition of AI the concept of 'garbage collection' formalizing the concept of AI AI Programming Language founding AI as a field the creation of the term ' Artificial Intelligence' |
| gptkbp:language |
English
|
| gptkbp:legacy |
gptkb:Artificial_Intelligence
gptkb:LISP_programming_language Human-computer interaction Philosophy of mind Computational linguistics AI applications Ethics in AI Pioneering work in AI AI safety AI ethics AI research community Influence on modern computing foundational work in AI Advancements in programming languages intelligent agents Promotion of interdisciplinary research in AI AI methodologies Impact on cognitive science AI theory Contributions to robotics Development of AI ethics Influence on computer science education Advancement of programming languages Pioneer of AI Pioneer of Artificial Intelligence AI and computer science advancements machine reasoning Pioneer in AI AI field development AI programming techniques Development of AI ethics discussions Recognition as a founding figure in AI |
| gptkbp:legal_outcome |
unspecified outcome
|
| gptkbp:location_of_conviction |
unspecified location
|
| gptkbp:nationality |
gptkb:American
|
| gptkbp:notable_feature |
gptkb:LISP
Recursive functions Symbolic reasoning AI as a field of study Computer programs as mathematical objects |
| gptkbp:notable_students |
gptkb:David_Poole
gptkb:Barbara_Grosz gptkb:Dario_Floreano gptkb:Ronald_Brachman gptkb:Fei-Fei_Li gptkb:Yoshua_Bengio gptkb:Michael_I._Jordan gptkb:Andrew_Yao gptkb:Peter_Stone gptkb:Jürgen_Schmidhuber gptkb:Sebastian_Thrun gptkb:Peter_Norvig gptkb:Richard_Sutton gptkb:Daphne_Koller gptkb:Stuart_Russell gptkb:Leslie_Valiant gptkb:Timnit_Gebru gptkb:Geoffrey_R._Hinton gptkb:Judea_Pearl gptkb:Yann_Le_Cun gptkb:Rina_Dechter |
| gptkbp:notable_work |
gptkb:Artificial_Intelligence
gptkb:LISP_programming_language gptkb:LISP The Last of the Masters Advice Taker Autonomous Agents |
| gptkbp:notable_works |
Public sculptures
|
| gptkbp:occupation |
gptkb:Computer_Scientist
gptkb:Writer |
| gptkbp:offers_degree |
Ph. D. in Mathematics
|
| gptkbp:participated_in |
gptkb:Dartmouth_Conference
|
| gptkbp:popularized_by |
gptkb:Artificial_Intelligence
the term ' Artificial Intelligence' |
| gptkbp:position |
gptkb:Professor
|
| gptkbp:profession |
gptkb:Computer_Scientist
|
| gptkbp:publication |
gptkb:LISP_1.5_Programmer's_Manual
gptkb:AI_in_Education Knowledge Representation The Ethics of AI AI and Society The Role of AI in Society A Basis for a Mathematical Theory of Computation AI and the Environment AI and the Future of Humanity Programs with Common Lisp AI and Global Challenges AI and the Law AI and Human Values The Philosophy of Artificial Intelligence Artificial Intelligence and the Future of Work Computational Intelligence: A Perspective The Future of AI Research The Use of Common LISP in AI |
| gptkbp:published |
The Nature of AI
Artificial Intelligence: A Philosophical Introduction The Future of AI |
| gptkbp:published_work |
gptkb:LISP_1.5_Programmer's_Manual
gptkb:Programs_with_Common_Sense gptkb:The_LISP_1.5_Programmer's_Manual gptkb:AI:_A_Modern_Approach Recursive Functions of Symbolic Expressions The Nature of Computation A Basis for a Mathematical Theory of Computation Situations and Actions The Future of AI The Philosophy of AI The Philosophy of Artificial Intelligence The Computer and the Mind Artificial Intelligence and the Future of Work The Challenge of AI The Role of AI in the Future |
| gptkbp:recognized_by |
gptkb:American_Academy_of_Arts_and_Sciences
gptkb:National_Academy_of_Engineering ACM Fellow Lifetime Achievement Award in AI |
| gptkbp:research_areas |
gptkb:C_programming_language
gptkb:Computer_Vision gptkb:Natural_Language_Processing gptkb:Artificial_Intelligence gptkb:Symbolic_AI gptkb:machine_learning gptkb:robotics Cognitive Science Knowledge Representation Philosophy of Language Automated Reasoning Logic Programming Philosophy of Mind knowledge representation natural language processing Ethics in AI automated reasoning |
| gptkbp:research_focus |
gptkb:Artificial_Intelligence
|
| gptkbp:research_institutes |
gptkb:Stanford_University
|
| gptkbp:research_interest |
gptkb:Augmented_Reality
gptkb:blockchain_technology gptkb:virtual_reality gptkb:Natural_Language_Processing gptkb:Quantum_Computing gptkb:cloud_computing gptkb:Internet_of_Things gptkb:Cybersecurity gptkb:Logic gptkb:strategy gptkb:machine_learning gptkb:Big_Data gptkb:Data_Science gptkb:robotics gptkb:AI_technology Cognitive Science Human-Computer Interaction Knowledge Representation Neuroscience Philosophy of Language Automated Reasoning Distributed Systems Philosophy of Mind Ethics in AI AI Governance Computational Theory Social Implications of AI |
| gptkbp:residence |
gptkb:New_York_City,_New_York
gptkb:California gptkb:Cambridge,_Massachusetts gptkb:Massachusetts gptkb:Palo_Alto,_California gptkb:Stanford,_California |
| gptkbp:served_as |
gptkb:Professor
Professor Emeritus |
| gptkbp:spouse |
gptkb:Catherine_Mc_Carthy
gptkb:Ruth_L._Mc_Carthy Ruth Mc Carthy Eleanor Mc Carthy Ruth H. Mc Carthy |
| gptkbp:was_educated_at |
gptkb:California_Institute_of_Technology
gptkb:Princeton_University |
| gptkbp:was_known_for |
AI programming languages
formalizing the concept of artificial intelligence Coining the term ' Artificial Intelligence' |
| gptkbp:won_award |
gptkb:Turing_Award
gptkb:IEEE_Medal_of_Honor |
| gptkbp:work |
gptkb:LISP
gptkb:Time_Sharing_System |
| gptkbp:work_location |
gptkb:Stanford_University
gptkb:Dartmouth_College gptkb:Carnegie_Mellon_University gptkb:MIT gptkb:NASA |
| gptkbp:works_at |
gptkb:IBM
gptkb:Stanford_University gptkb:MIT Company Name |
| gptkbp:works_for |
Company Name
|
| gptkbp:bfsParent |
gptkb:Bill_Clinton
|
| gptkbp:bfsLayer |
3
|