first-order logic with summation (FO(SUM))

first-order logic with summation (FO(SUM)) is a research_field technology tracked in AI research papers.