Efficient recursive aggregate evaluation in logic programming
Mario Alviano · Intelligenza Artificiale · 2011
Answer Set Programming (ASP) is a powerful formalism for knowledge representation and common sense reasoning, particularly suitable for representing incomplete knowledge and nonmonotonic reasoning. ASP is used in Artificial Intelligence applications