GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
Ray Reiter
URI:
https://gptkb.org/entity/Ray_Reiter
GPTKB entity
Statements (23)
Predicate
Object
gptkbp:instanceOf
gptkb:person
gptkbp:almaMater
gptkb:University_of_Toronto
gptkb:University_of_Toronto_Faculty_of_Arts_and_Science
gptkbp:awardReceived
gptkb:Fellow_of_the_Association_for_the_Advancement_of_Artificial_Intelligence
gptkb:Killam_Research_Fellowship
Fellow of the Royal Society of Canada
gptkbp:birthYear
1945
gptkbp:deathYear
2002
gptkbp:doctoralAdvisor
gptkb:John_Alan_Robinson
gptkbp:employer
gptkb:University_of_Toronto
https://www.w3.org/2000/01/rdf-schema#label
Ray Reiter
gptkbp:knownFor
gptkb:artificial_intelligence
gptkb:situation_calculus
gptkb:knowledge_representation
default logic
reasoning about action
gptkbp:memberOf
gptkb:Royal_Society_of_Canada
gptkbp:nationality
gptkb:Canadian
gptkbp:notableWork
gptkb:A_Logic_for_Default_Reasoning
gptkb:Knowledge_in_Action:_Logical_Foundations_for_Specifying_and_Implementing_Dynamical_Systems
gptkbp:occupation
gptkb:computer_scientist
gptkbp:bfsParent
gptkb:Golog
gptkbp:bfsLayer
6