Accepted Papers

Marcello Balduccini: Representing Constraint Satisfaction Problems in Answer Set Programming
Marcello Balduccini. A General Method To Solve Complex Problems By Combining Multiple Answer Set Programs
Ping Hou and Marc Denecker: A Logic of Fixpoint Definitions
Matti Järvisalo, Emilia Oikarinen, Tomi Janhunen and Ilkka Niemelä: A Module-Based Framework for Multi-Language Constraint Modeling
Yisong Wang, Jia-Huai You and Mingyi Zhang: Embedding Functions into Disjunctive Logic Programs