WLP 2008 - Schedule

08.45 - 10.00	Constraint Techniques Ammar Mohammed and Frieder Stolzenburg. Implementing Hierarchical Hybrid Automata Using Constraint Logic Programming Yoshitaka Yamamoto and Katsumi Inoue. An efficient hypothesis-finding system implemented with deduction and dualization Andreas Schulz and Georg Ringwelski. A Workforce-Scheduling Application Using a CP-AI-Hybrid
25 minutes break
10.25 - 11.15	System Descriptions Slim Abdennadher and Shehab Fawzy. JCHRIDE: An Integrated Development Environment for JCHR Markus Triska, Ulrich Neumerkel and Jan Wielemaker. A generalised finite domain constraint solver for SWI-Prolog
15 minutes break
11.30 - 12.30	Jelia and KogWis - Invited talk: Ruth Byrne. Reasoning and Imagination: How people create counter factuals
Lunch Break
13.30	meeting for excursion: main entrance of the faculty building (for further information on the excursion see http://www.jelia.eu/2008/program/events.html)

09.00 - 10.00	Jelia - Invited talk: Jérôme Lang. Voting in Combinatorial Domains: What Logic and AI Have to Say
10.05 - 10.55	GLP Meeting
30 minutes break
11.25 - 12.40	Logic Programs Johannes Oetsch and Hans Tompits. A Generalised Program-Correspondence Framework: Preliminary Report Martin Baláž. Well-Supported Models of Disjunctive Logic Programs Patrick Krümpelmann and Gabriele Kern-Isberner. Propagating Credibility in Answer Set Programs
Lunch Break
14.00 - 15.15	Applications Michael Hanus and Christof Kluss. Declarative Programming of User Interfaces François Bry, Tim Furche, Clemens Ley, Benedikt Linse and Bruno Marnette. RDFLog: It's like Datalog for RDF François Bry, Tim Furche, Benedikt Linse and Alexander Pohl. Xcerpt^RDF: A Pattern-based Answer to the Versatile Web Challenge
15.15	Jelia - closing ceremony