Title: Smodels with CLP and its  Applications:  A Simple and Effective 
       Approach to Aggregates in ASP

Presenter: Islam Elkabani

Abstract:

In this work we propose a semantically well-founded extension of 
Answer Set Programming (ASP) with aggregates, which relies 
on the integration between state-of-the-art answer set solvers and 
constraint logic programming systems. The resulting system is efficient, 
flexible, extensible, and supports form of aggregation more general than 
those previously proposed in the literature. The system is developed as 
an instance of a general framework for the embedding of arbitrary 
constraint theories within ASP.