Knowledge representation and reasoning: Difference between revisions

Content deleted Content added
m ce
Line 114:
* [[DIKW pyramid]]
* [[DATR]], a language for lexical knowledge representation
* [[FO(.)]], a KR language based on [[Firstfirst-order logic]]
* [[Logic programming]]
* [[Logico-linguistic modeling]]