Knowledge representation and reasoning: Difference between revisions

Content deleted Content added
Line 119:
* [[DATR]], a language for lexical knowledge representation
* [[FO(.)]], a KR language based on [[first-order logic]]
* [{{annotated link|[Logic programming]]}}
* [[Logico-linguistic modeling]]
* [[Knowledge graph]]