Content deleted Content added
+ type declaration |
m Normalize {{Multiple issues}}: Create {{Multiple issues}} with 4 maintenance template(s): External links, COI, Connected contributor, Notability |
||
Line 1:
{{Multiple issues|
{{external links|date=January 2022}}
{{COI|date=February 2022}}
{{Connected contributor|Pcarbonn}}
{{Notability|date=February 2022}}
}}
In [[computer science]], '''FO(.)''' (a.k.a. '''FO-dot''') is a [[Knowledge representation and reasoning|knowledge representation]] language (a.k.a. [[frame language]]) based on [[first-order logic]].<ref>{{cite journal |last1=Denecker |first1=Marc |title=Extending classical logic with inductive definitions |journal=International Conference on Computational Logic |date=2000 |pages=703-717 |doi= |url=https://arxiv.org/pdf/cs/0003019}}</ref>
| |||