The KB paradigm and its application to interactive configuration (PADL)

Mon 18 - Tue 19 January 2016 St. Petersburg, Florida, United States

co-located with POPL 2016

Who

Pieter Van Hertum, Ingmar Dasseville, Gerda Janssens, Marc Denecker

Track

PADL

Time Zone

The program is currently displayed in (GMT-05:00) Guadalajara, Mexico City, Monterrey.

Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, MonterreySelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Mon 18 Jan 2016 16:00 - 16:30 at Room Bayboro - Logic Programming

Pieter Van Hertum

KU Leuven

Ingmar Dasseville

KU Leuven

Gerda Janssens

KU Leuven

Marc Denecker

KU Leuven

Time Zone

The program is currently displayed in (GMT-05:00) Guadalajara, Mexico City, Monterrey.

Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, MonterreySelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Mon 18 Jan
Displayed time zone: Guadalajara, Mexico City, Monterrey change

16:00 - 17:00	Logic ProgrammingPADL at Room Bayboro

16:00 30m Talk		The KB paradigm and its application to interactive configuration PADL Pieter Van Hertum KU Leuven, Ingmar Dasseville KU Leuven, Gerda Janssens KU Leuven, Marc Denecker KU Leuven
16:30 30m Talk		Default Rules for Curry PADL Sergio Antoy Kiel University, Michael Hanus Kiel University