Statements (16)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:computer_scientist
|
| gptkbp:almaMater |
gptkb:Massachusetts_Institute_of_Technology
|
| gptkbp:employer |
gptkb:Microsoft_Research
gptkb:SRI_International |
| gptkbp:field |
gptkb:artificial_intelligence
computational linguistics |
| https://www.w3.org/2000/01/rdf-schema#label |
Robert C. Moore
|
| gptkbp:knownFor |
work on belief revision
work on knowledge representation work on non-monotonic logic |
| gptkbp:nationality |
gptkb:American
|
| gptkbp:notablePublication |
gptkb:A_Formal_Theory_of_Knowledge_and_Action
gptkb:Semantical_Considerations_on_Nonmonotonic_Logic |
| gptkbp:bfsParent |
gptkb:Speech_Understanding_Research
gptkb:autoepistemic_logic |
| gptkbp:bfsLayer |
5
|