Formalizing Common Sense: Papers by John McCarthy
GPTKB entity
Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:book
|
| gptkbp:author |
gptkb:John_McCarthy
|
| gptkbp:editor |
gptkb:Vladimir_Lifschitz
|
| https://www.w3.org/2000/01/rdf-schema#label |
Formalizing Common Sense: Papers by John McCarthy
|
| gptkbp:ISBN |
9780893915259
|
| gptkbp:language |
English
|
| gptkbp:publicationYear |
1990
|
| gptkbp:publisher |
gptkb:Ablex_Publishing
|
| gptkbp:subject |
gptkb:artificial_intelligence
gptkb:logic common sense reasoning |
| gptkbp:bfsParent |
gptkb:circumscription_(logic)
|
| gptkbp:bfsLayer |
5
|