Talk:FO(.)

Latest comment: 2 years ago by Jochen Burghardt in topic About notability

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)Reply

Also, this paper received the Best Paper award at Declarative AI 2020, and uses FO(.). Pcarbonn (talk) 13:28, 1 February 2022 (UTC)Reply

The paper on FOLASP also describes FO(.) and its semantics in great detail. --VadeveSi (talk) 13:19, 1 February 2022 (UTC)Reply

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)Reply