INAP / WLP 2007 - Conference Schedule

    Thursday, October 04

Welcome Reception and Registration

Session: Constraints (1)

13:00 - 13:30     Armin Wolf, Gunnar Schrader
Weighted-Task-Sum - Scheduling Prioritised Tasks on a Single Resource
13:30 - 14:00     Sebastian Kuhnert
Efficient Edge-Finding on Unary Resources with Optional Activities
14:00 - 14:30     Lukas Chrpa, Pavel Surynek, Jiri Vyskocil
Encoding of Planning Problems and their Optimizations in Linear Logic

Coffee Break

Session: Constraints (2)

15:00 - 15:30     Sagar Sen, Benoit Baudry, Doina Precup
Partial Model Completion in Model Driven Engineering using Constraint Logic Programming
15:30 - 16:00     Ricardo Soto, Laurent Granvilliers
Dynamic Parser Cooperation for Extending a Constrained Object-Based Modeling Language

Coffee Break

Session: System Demonstrations

16:30 - 16:50     Ricardo Soto
A Solver-Independent Platform for Modeling Constrained Objects Involving Discrete and Continuous Domains
16:50 - 17:10     Hans Tompits, Johannes Oetsch, Martina Seidl, Stefan Woltran
Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT
17:10 - 17:30     Hans Tompits, Martin Gebser, Jörg Pührer, Torsten Schaub, Stefan Woltran
spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics

17:45 GLP Meeting

    Friday, October 05

Invited Talk

09:00 - 10:00     Ulrich Geske (University of Potsdam)
A Guide for the Manual Construction of Difference List Procedures

Coffee Break

Session: Databases, Verification

10:30 - 11:00     Jesus M. Almendros-Jimenez, Antonio Becerra-Teron, Francisco J. Enciso-Banos
Integrating XQuery and Logic Programming
11:00 - 11:30     Ricardo Rocha, Pedro Costa, Michel Ferreira
Tabling Logic Programs in a Database
11:30 - 12:00     Tristan Behrens, Jürgen Dix
LTL Model Checking with Logic Based Petri Nets

Lunch Break

Session: Languages (1)

13:15 - 13:45     Vitor Nogueira, Salvador Abreu
Integrating Temporal Annotations in a Modular Logic Language
13:45 - 14:15     Grzegorz Nalepa, Igor Wojnicki
Proposal of Visual Generalized Rule Programming Model for Prolog
14:15 - 14:45     Igor Wojnicki, Grzegorz Nalepa
Prolog Hybrid Operators in the Generalized Rule Programming Model

Coffee Break

Session: Constraints (3)

15:00 - 15:30     Slim Abdennadher, Marlien Edward
Constraint-Based Examination Timetabling for the German University in Cairo
15:30 - 16:00     Slim Abdennadher, Mohamed Aly
Constraint-Based University Timetabling for the German University in Cairo

Excursion and Conference Dinner

    Saturday, October 06

Session: Languages (2)

09:00 - 09:30     Bernd Braßel, Frank Huch
The Kiel Curry System KiCS
09:30 - 10:00     Francisco Lopez-Fraguas, Juan Rodriguez-Hortala, Jaime Sanchez-Hernandez
Narrowing for Non-Determinism with Call-Time Choice Semantics
10:00 - 10:30     Martin Plümicke
Java Type Unification with Wildcards

Coffee Break

Session: Databases and Data Mining

11:00 - 11:30     Bernd Braßel, Michael Hanus, Marion Müller
Compiling Entity-Relationship Diagrams into Declarative Programs
11:30 - 12:00     Martin Atzmueller, Frank Puppe
Causal Subgroup Analysis for Detecting Confounding
12:00 - 12:30     Andreas M. Böhm, Dietmar Seipel, Albert Sickmann, Matthias Wetzka
Squash: A Tool for Designing, Analyzing and Refactoring Relational Database Applications
12:30 - 13:00     Martin Atzmueller, Dietmar Seipel
Declarative Specification of Ontological Domain Knowledge for Descriptive Data Mining

Conference End