Loading…
CP 2016 has ended
Workshop: CP and AI [clear filter]
Monday, September 5
 

13:30

CP and AI Workshop - Invited Talk: From Constraint Programming to Probabilistic Programming to Approximate Programming: Observations and Thoughts
    See presentations
  • 13h30: Introduction: Eugene Freuder
  • 13h35: Invited talk: Rina Dechter

Abstract: Languages and algorithms of Constraint Programming have made a significant impact on Artificial Intelligence, and were driven to a large extent by the Artificial Intelligence agenda. An area where cross-fertilization has been particularly productive is in Graphical Models. Much of this work is at the level of (propositional) solvers and algorithms only. However, the experience gained in the CP community in developing Constraint Programming languages may not have gone far enough in penetrating the rest of AI.  An excellent opportunity for changing that exists in the recent area of Probabilistic Programming.

CP may join the language effort by extending its constraint languages to accommodate uncertainty and continuous variables, and develop solvers that can effectively handle first-order deterministic and probabilistic queries.  In addition, equipping such languages with anytime approximation solvers that have predictive performance guarantees could lead to new paradigms (e.g., “Approximate Programming”).

I will present some observations and thoughts along those lines.

 

Moderators
avatar for Eugene Freuder

Eugene Freuder

UCC, Insight Centre for Data Analytics

Speakers
avatar for Rina Dechter

Rina Dechter

University of California, Irvine


Monday September 5, 2016 13:30 - 14:00
B203 Bosco building

14:00

CP and AI Workshop
    See presentations

Moderators
avatar for Eugene Freuder

Eugene Freuder

UCC, Insight Centre for Data Analytics

Speakers
avatar for Tias Guns

Tias Guns

Post-Doc, KU Keuven
avatar for Steven Prestwich

Steven Prestwich

University College Cork
avatar for Thomas Schiex

Thomas Schiex

Researcher, INRA
Thomas Schiex works at the intersection of constraint programming, discrete graphical model optimization and their applications in biology. He is (softly) leading the bioinformatics team at INRA Toulouse and is also the conference chair of CP 2016 (with the support of several Toulouse... Read More →


Monday September 5, 2016 14:00 - 15:00
B203 Bosco building

15:30

CP and AI Workshop
    See presentations

Moderators
avatar for Eugene Freuder

Eugene Freuder

UCC, Insight Centre for Data Analytics

Speakers
avatar for Imade Benelallam

Imade Benelallam

Researcher, SI2M Laboratory, INSEA Rabat Institut
avatar for Tias Guns

Tias Guns

Post-Doc, KU Keuven
avatar for Hanan Kanso

Hanan Kanso

Laboratoire LSIS
avatar for Siegfried Nijssen

Siegfried Nijssen

Universiteit Leiden


Monday September 5, 2016 15:30 - 17:30
B203 Bosco building