X hits on this document

145 views

0 shares

0 downloads

0 comments

22 / 40

Description Spaces with Fuzziness ...................................................................................................................867 Elena Nardini, Alma Mater Studiorum - Università di Bologna, Italy Andrea Omicini, Alma Mater Studiorum - Università di Bologna, Italy Mirko Viroli, Alma Mater Studiorum - Università di Bologna, Italy

Executable Model Composition - A Multilevel Approach .............................................................................875 Carlos Rodríguez, Universidad de los Andes, Colombia Mario Sánchez, Universidad de los Andes, Colombia Jorge Villalobos, Universidad de los Andes, Colombia

Poster Papers

Programming Coordination Laws of Artifacts in CArtAgO.........................................................................883 Marco Sbaraglia, Alma Mater Studiorum - Universita' di Bologna, Italy Matteo Casadei, Alma Mater Studiorum - Universita' di Bologna, Italy Mirko Viroli, Alma Mater Studiorum - Universita' di Bologna, Italy

Constraint Solving and Programming Track

Track Co-Chairs:

Eric Monfroy, UTFSM, Valparaiso, Chile and LINA, Nantes, France, Chile Stefano Bistarelli, Università di Perugia, Italy and IIT-CNR, Pisa, Italy

Barry O'Sullivan, University College Cork, Ireland

Improving CP-based Local Branching via Sliced Neighborhood Search.....................................................885 Fabio Parisini, University of Bologna, DEIS, Italy Michela Milano, University of Bologna, DEIS, Italy

An Efficient Generic Network Flow Constraint .............................................................................................891 Robin Steiger, EPFL, Switzerland Willem-Jan van Hoeve, Carnegie Mellon University, United States Radoslaw Szymanek, EPFL, Switzerland

Optimal Stopping Methods for Finding High Quality Solutions to Satisfiability Problems with

Preferences..........................................................................................................................................................899 Emanuele Di Rosa, DIST - University of Genoa, Italy Enrico Giunchiglia, DIST - University of Genoa, Italy Barry O'Sullivan, Cork Constraint Computation Centre (4C) - University College Cork, Ireland

Combination: Automated Generation of Puzzles with Constraints..............................................................905 Christopher Jefferson, University of St Andrews, United Kingdom Wendy Moncur, University of Aberdeen, United Kingdom Karen Petrie, University of Dundee, United Kingdom

Finding Partitions of Arguments with Dung’s Properties via SCSPs...........................................................911 Stefano Bistarelli, Dipartimento Matematica e Informatica, Università di Perugia, Italy Paola Campli, Dipartimento i Scienze, Università di Pescara, Italy Francesco Santini, Dipartimento di Matematica e Informatica, Università di Perugia, Italy

Document info
Document views145
Page views145
Page last viewedSat Dec 10 14:50:51 UTC 2016
Pages40
Paragraphs512
Words11014

Comments