Home Call for Papers Important Dates Committee Paper Submission Registration and Travel Information Accepted Papers Schedule

Schedule

July 14th, 2009 at Pasadena Convention Center

14:4014:45Opening
14:4515:15
A Module-Based Framework for Multi-Language Constraint Modeling
Matti Järvisalo, Emilia Oikarinen, Tomi Janhunen and Ilkka Niemelä
15:1515:45
Representing Constraint Satisfaction Problems in Answer Set Programming
Marcello Balduccini
15:4515:55 free
15:5516:25 Coffee Break
16:2516:55
A Logic of Fixpoint Definitions
Ping Hou and Marc Denecker
16:5517:25
Embedding Functions into Disjunctive Logic Programs
Yisong Wang, Jia-Huai You and Mingyi Zhang
17:2517:55
A General Method To Solve Complex Problems By Combining Multiple Answer Set Programs
Marcello Balduccini
Home  
Copyright © 2009 Wolfgang Faber, Joohyung Lee.