 | This article is rated Start-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | |||||||||||||||||
| ||||||||||||||||||
 | The following Wikipedia contributor may be personally or professionally connected to the subject of this article. Relevant policies and guidelines may include conflict of interest, autobiography, and neutral point of view. |
About notability
edit"FO(.)" is hard to find using search engine, but, as a sign of notability, this paper using FO(.) received the 2016 Rule Challenge award. Pcarbonn (talk) 13:11, 1 February 2022 (UTC)
Also, this paper received the Best Paper award at Declarative AI 2020, and uses FO(.). Pcarbonn (talk) 13:28, 1 February 2022 (UTC)
The paper on FOLASP also describes FO(.) and its semantics in great detail. --VadeveSi (talk) 13:19, 1 February 2022 (UTC)
The field of research where FO(.) belongs to, viz. knowledge representation languages, is definitely notable, but up to now poorly represented in Wikipedia. See knowledge representation and reasoning and frame language, while knowledge representation language completely ignores formal languages. So I consider this article a valuable part of an effort to fix the poor situation. - Jochen Burghardt (talk) 17:49, 1 February 2022 (UTC)