Statements (12)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:programming_language
|
| gptkbp:designedFor |
gptkb:Non-Axiomatic_Logic
|
| gptkbp:developer |
gptkb:Pei_Wang
|
| gptkbp:firstAppearance |
2000s
|
| gptkbp:fullName |
gptkb:Non-Axiomatic_Language
|
| https://www.w3.org/2000/01/rdf-schema#label |
NAL (programming language)
|
| gptkbp:influencedBy |
gptkb:Non-Axiomatic_Logic
|
| gptkbp:paradigm |
logic programming
|
| gptkbp:usedIn |
Artificial General Intelligence research
|
| gptkbp:website |
https://www.cis.temple.edu/~pwang/NAL.html
|
| gptkbp:bfsParent |
gptkb:NAL
|
| gptkbp:bfsLayer |
6
|