IJCAI-17 Workshop on Artificial Intelligence and Constraint Programming

The Artificial Intelligence and Constraint Programming (CP) communities have overlapped significantly from their early days. This workshop was intended to highlight and encourage past, present and future integration of the two. It complemented the CP&AI Workshop held at the 2016 Constraint Programming conference.

The workshop was held in conjunction with IJCAI-17 in Melbourne, Australia, on August 21, 2017. It was particularly timely as CP-17 was co-located with IJCAI-17.


Invited Talks:

2:00 Tias Guns: Report on the Artificial Intelligence journal Special issue on Combining Constraint Solving with Mining and Learning

2:25 Chris Beck: Constraint Programming for AI Applications: Robots and On-Demand Transit


2:50 O wad some Power the giftie gie us, to see oursels as ithers see us!

How Should CP be Treated in AI books and AI in CP books?

Panelists: Rina Dechter, David Poole, Francesca Rossi, Peter Stuckey

Moderator: Eugene Freuder

Invited Talks:

3:10 Rina Dechter: From Constraint Programming to Probabilistic Programming to Approximate Programming: Observations and Thoughts, Part II

3:35 Siegfried Nijssen: SC-ProbLog: Integrating Constraint Programming and Probabilistic Programming

4:00 Coffee Break

Invited Talks:

4:30 Vijay Saraswat: Deep Learning and Constraint Satisfaction?

4:55 Toby Walsh: New Objectives for Constraint Programming


5:20 AI/CP: Applications, Industry, and Society.

Exploring the role CP specifically is playing, could play, should play in the explosion of interest and attention that AI is getting from industry and society, the benefits that can bring, the concerns that arise, including challenges and opportunities regarding the visibility or “marketing” of CP.

Panelists: Chris Beck, Francesca Rossi, Mark Wallace, Toby Walsh

Moderator: Eugene Freuder

6:00 End

Organizing Committee

Eugene C. Freuder, Chair, University College Cork: eugene.freuder@insight-centre.org
Rina Dechter, UC Irvine
Alan Mackworth, University of British Columbia
Francesca Rossi, University of Padova and IBM

Program Committee

Peter van Beek, University of Waterloo
Christian Besierre, CNRS, University of Montpellier
Susan L. Epstein, Hunter College and The Graduate Center of The City University of New York
Boi Faltings, EPFL
Alexander Felfernig, Graz University of Technology
Gerhard Friedrich, University Klagenfurt
Alan Frisch, University of York
Carla Gomes, Cornell University
Eric Grégoire, Université d’Artois (CRIL)
Tias Guns, VUB Brussel
Holger Hoos, Leiden University and University of British Columbia
Zeynep Kiziltan, University of Bologna
Lars Kotthoff, University of British Columbia
Arnaud Lallouet, Huawei Technologies Ltd
Jimmy H.M. Lee, The Chinese University of Hong Kong
Eric Monfroy, University of Nantes
Barry O’Sullivan, University College Cork
Claude-Guy Quimper, Université Laval
Helmut Simonis, University College Cork
Guido Tack, Monash University
Toby Walsh, UNSW Australia | Data61 | TU Berlin