Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:legislation
|
| gptkbp:bfsLayer |
4
|
| gptkbp:bfsParent |
gptkb:Dr._John_D._Mc_Carthy
|
| gptkbp:advocates_for |
symbolic computation
|
| gptkbp:applies_to |
gptkb:Artificial_Intelligence
|
| https://www.w3.org/2000/01/rdf-schema#label |
Mc Carthy's Laws
|
| gptkbp:influenced_by |
gptkb:LISP_programming_language
|
| gptkbp:is_part_of |
AI research methodology
|
| gptkbp:named_after |
gptkb:John_W._Mc_Carthy
|
| gptkbp:origin |
1950s
|
| gptkbp:promotes |
formal reasoning
|
| gptkbp:related_to |
gptkb:computer_science
|
| gptkbp:supports |
automated theorem proving
|