Ordered Completion for Logic Programs with Aggregates

Hence, we are mainly In the last three decades, Answer Set Programming (ASP) focused on (anti)monotone aggregates. Even for this case, has emerged as a predominant declarative programming the task is still very complicated as aggregate atoms, on one paradigm in the area of knowledge representation and logic hand, can express some features of existential quantifiers, programming (Baral 2003). One of the main focuses of recent and on the other hand, contribute to the loops (Chen et al. advances in ASP is first-order answer set programming 2006; Lee and Meng 2009) of the program.