Statements (1,022)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:physicist
gptkb:financial_services_company gptkb:Author gptkb:Person gptkb:artwork |
| gptkbp:bfsLayer |
3
|
| gptkbp:bfsParent |
gptkb:aircraft
gptkb:Goldman_Sachs gptkb:flag gptkb:film_production_company gptkb:Bill_Clinton gptkb:High_School gptkb:beach gptkb:computer |
| gptkbp:active_years |
gptkb:20th_century
1990-present |
| gptkbp:advocates_for |
gptkb:software_framework
gptkb:engine Ethical AI AI Research Funding |
| gptkbp:affiliation |
gptkb:Harvard_University
gptkb:Stanford_University gptkb:MIT gptkb:CEO gptkb:NASA |
| gptkbp:alma_mater |
gptkb:California_Institute_of_Technology
gptkb:Princeton_University |
| gptkbp:art_movement |
gptkb:church
|
| gptkbp:associated_with |
gptkb:Stanford_University
|
| gptkbp:author |
gptkb:theorem
|
| gptkbp:awarded_by |
gptkb:Turing_Award
|
| gptkbp:awards |
gptkb:political_movement
gptkb:Turing_Award gptkb:Computer_Pioneer_Award gptkb:ACM_Turing_Award gptkb:IEEE_Medal_of_Honor |
| gptkbp:birth_date |
1970-01-01
1927-09-04 |
| gptkbp:birth_place |
gptkb:Boston,_Massachusetts
gptkb:United_States |
| gptkbp:born |
gptkb:Boston,_Massachusetts
gptkb:United_States September 4, 1927 |
| 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:contributed_to |
gptkb:LISP_programming_language
gptkb:AI_Ethics gptkb:software gptkb:software_framework gptkb:Expert_Systems gptkb:robot Human-Computer Interaction Artificial Intelligence research Computer Programming Languages |
| gptkbp:contribution |
gptkb:musician
gptkb:aircraft gptkb:Quantum_computing gptkb:AI_Winter gptkb:LISP_programming_language gptkb:XMPP_Extension_Protocol gptkb:Company gptkb:product gptkb:software_framework gptkb:Cloud_Computing_Service gptkb:robot gptkb:initiative gptkb:Time_Sharing_System gptkb:currency gptkb:mobile_application 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 founding the MITAI Lab 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'. |
| gptkbp:convicted_of |
unspecified location
unspecified crime unspecified date |
| 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:denomination |
gptkb:American_Academy_of_Arts_and_Sciences
gptkb:Academy gptkb:Association_for_Computing_Machinery gptkb:National_Academy_of_Engineering |
| gptkbp:developed_by |
gptkb:Company
Intelligent Agents Search Algorithms |
| gptkbp:died |
October 24, 2011
|
| gptkbp:died_in |
gptkb:California
gptkb:Mountain_View,_California |
| gptkbp:education_institution |
gptkb:California_Institute_of_Technology
gptkb:Princeton_University |
| 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:field |
gptkb:architect
gptkb:AI_Research gptkb:musician gptkb:Responsible_AI gptkb:microprocessor gptkb:philosopher gptkb:physicist gptkb:viewpoint gptkb:Artificial_Intelligence gptkb:XMPP_Extension_Protocol gptkb:computer_science gptkb:AI_Ethics gptkb:Company gptkb:Mathematician gptkb:television_channel gptkb:quantum_computing gptkb:software gptkb:language gptkb:software_framework gptkb:Cloud_Computing_Service gptkb:robot gptkb:Big_Data gptkb:Computational_Linguistics gptkb:Deep_Learning gptkb:battle gptkb:engine gptkb:technology 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:philosopher
gptkb:Artificial_Intelligence gptkb:computer_science gptkb:Mathematician Computer Science |
| gptkbp:founded |
gptkb:AI_Lab_at_MIT
|
| gptkbp:founder |
gptkb:Stanford_Artificial_Intelligence_Laboratory
MITAI 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:Author
|
| gptkbp:has_achievements |
Contributions to logic
|
| 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_education |
MBA
Bachelor's Degree in Finance |
| gptkbp:has_experience_in |
gptkb:financial_services_company
Strategic Planning |
| gptkbp:has_occupation |
gptkb:physicist
gptkb:Mathematician CFO |
| gptkbp:has_role |
gptkb:High_School
CFO |
| gptkbp:has_skill |
gptkb:Politician
gptkb:software 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 |
| 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:microprocessor
gptkb:philosophy_of_mind gptkb:software_framework gptkb:robot gptkb:initiative gptkb:Research_Institute 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:architect 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:microprocessor gptkb:physicist 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: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:Donald_Knuth gptkb:Ginni_Rometty gptkb:Research_Institute 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:Artificial_Intelligence gptkb:John_von_Neumann gptkb:Norbert_Wiener gptkb:Alan_Turing gptkb:Claude_Shannon gptkb:Marvin_Minsky Contemporary artists the term ' Artificial Intelligence' |
| 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:Photographer 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:is_active_in |
Finance Industry
|
| gptkbp:is_associated_with |
gptkb:software
Financial Reporting Investment Decisions Investment Strategies |
| gptkbp:is_involved_in |
gptkb:Stanford_University
AI Research Community |
| gptkbp:is_known_for |
gptkb:financial_services_company
gptkb:software Budgeting Financial Strategy AI programming languages formalizing the concept of artificial intelligence Coining the term ' Artificial Intelligence' |
| gptkbp:is_organized_by |
gptkb:Stanford_University
|
| gptkbp:is_recognized_by |
gptkb:American_Academy_of_Arts_and_Sciences
gptkb:National_Academy_of_Engineering ACM Fellow Lifetime Achievement Award in AI |
| 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:Mc_Carthy's_Laws gptkb:artwork 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:members |
gptkb:American_Academy_of_Arts_and_Sciences
gptkb:Academy gptkb:National_Academy_of_Engineering |
| gptkbp:nationality |
gptkb:Native_American_tribe
|
| gptkbp:notable_alumni |
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_feature |
gptkb:LISP
Recursive functions Symbolic reasoning AI as a field of study Computer programs as mathematical objects |
| gptkbp:notable_work |
gptkb:Artificial_Intelligence
gptkb:LISP_programming_language gptkb:LISP The Last of the Masters Advice Taker Public sculptures Autonomous Agents |
| gptkbp:occupation |
gptkb:physicist
gptkb:Author |
| gptkbp:offers_degree |
Ph. D. in Mathematics
|
| gptkbp:outcome |
unspecified outcome
|
| gptkbp:participated_in |
gptkb:Dartmouth_Conference
|
| gptkbp:position |
gptkb:University
|
| gptkbp:primary_user |
gptkb:American_Academy_of_Arts_and_Sciences
gptkb:Academy gptkb:American_Association_for_the_Advancement_of_Science gptkb:Association_for_Computing_Machinery gptkb:National_Academy_of_Engineering |
| gptkbp:profession |
gptkb:physicist
|
| gptkbp:published_by |
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 The Nature of AI A Basis for a Mathematical Theory of Computation Situations and Actions Artificial Intelligence: A Philosophical Introduction 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:publishes |
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:related_concept |
Machine Learning Algorithms
AI Planning |
| gptkbp:research_areas |
gptkb:viewpoint
gptkb:Artificial_Intelligence gptkb:Stanford_University gptkb:software gptkb:language gptkb:software_framework gptkb:Symbolic_AI gptkb:robot 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_interest |
gptkb:musician
gptkb:philosopher gptkb:physicist gptkb:XMPP_Extension_Protocol gptkb:Company gptkb:software gptkb:software_framework gptkb:Cloud_Computing_Service gptkb:robot gptkb:Big_Data gptkb:battle gptkb:engine 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_in |
gptkb:University
Professor Emeritus |
| gptkbp:spouse |
gptkb:Catherine_Mc_Carthy
gptkb:Ruth_L._Mc_Carthy Ruth Mc Carthy Eleanor Mc Carthy Ruth H. Mc Carthy |
| gptkbp:staff |
gptkb:John_von_Neumann
|
| 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:Stanford_University
gptkb:MIT gptkb:CEO Company Name |
| gptkbp:works_for |
Company Name
|