GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
Randall Davis
URI:
https://gptkb.org/entity/Randall_Davis
GPTKB entity
Statements (20)
Predicate
Object
gptkbp:instanceOf
gptkb:person
gptkbp:almaMater
gptkb:Dartmouth_College
gptkb:Stanford_University
gptkbp:awardReceived
gptkb:AAAI_Fellow
gptkb:AAAI_Classic_Paper_Award
gptkbp:birthYear
1949
gptkbp:doctoralAdvisor
gptkb:John_McCarthy
gptkbp:employer
gptkb:Massachusetts_Institute_of_Technology
gptkbp:field
gptkb:artificial_intelligence
computer science
https://www.w3.org/2000/01/rdf-schema#label
Randall Davis
gptkbp:memberOf
gptkb:MIT_Computer_Science_and_Artificial_Intelligence_Laboratory
gptkbp:nationality
gptkb:American
gptkbp:notableWork
gptkb:knowledge_representation
truth maintenance systems
gptkbp:occupation
gptkb:computer_scientist
gptkb:professor
gptkbp:bfsParent
gptkb:NETL:_A_System_for_Representing_and_Using_Real-World_Knowledge
gptkb:MYCIN_expert_system
gptkbp:bfsLayer
7