Statements (25)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:person
|
| gptkbp:almaMater |
gptkb:Stanford_University
gptkb:University_of_Chicago |
| gptkbp:awardReceived |
gptkb:Fellow_of_the_Association_for_the_Advancement_of_Artificial_Intelligence
gptkb:IJCAI_Award_for_Research_Excellence Fellow of the European Association for Artificial Intelligence |
| gptkbp:birthDate |
1941-05-15
|
| gptkbp:birthPlace |
gptkb:Bridgeport,_Connecticut,_USA
|
| gptkbp:doctoralAdvisor |
gptkb:Patrick_Suppes
|
| gptkbp:employer |
gptkb:Imperial_College_London
|
| gptkbp:fieldOfWork |
gptkb:artificial_intelligence
gptkb:logic computer science |
| https://www.w3.org/2000/01/rdf-schema#label |
Robert Kowalski
|
| gptkbp:knownFor |
gptkb:Abductive_Logic_Programming
logic programming SLD resolution contributions to Prolog |
| gptkbp:nationality |
British
|
| gptkbp:notableWork |
gptkb:Computational_Logic_and_Human_Thinking
gptkb:Logic_for_Problem_Solving |
| gptkbp:occupation |
gptkb:computer_scientist
gptkb:logic |
| gptkbp:bfsParent |
gptkb:event_calculus
|
| gptkbp:bfsLayer |
6
|