Talk:FO(.)

About notability
"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)