Kiel Declarative Programming Days 2013

September 11-13, 2013

Conference Programme

Wednesday, September 11:

8:30 Registration

9:15 Opening

9:30-10:30 WFLP/WLP Session: Answer Set Programming

(Chair: Michael Hanus)

• Alexander Šimko: Extension of Gelfond-Lifschitz Reduction for Preferred Answer Sets: Preliminary Report
• Ella Albrecht, Patrick Krümpelmann and Gabriele Kern-Isberner: Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs

10:30-11:00 Coffee Break

11:00-12:30 WFLP/WLP Session: Functional Logic Programming

(Chair: Janis Voigtländer)

• Baltasar Trancón Y Widemann and Markus Lepper: Some Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley
• Christoph Beierle and Udo Lelitko: On an Approach to Implementing Exact Real Arithmetic in Curry
• Nikita Danilenko: And... Action! - Monoid Acts and (Pre)orders

12:30-14:00 Lunch

14:00-15:30 INAP Session: Knowledge Representation and Management

(Chair: Christoph Beierle)

• Rana Awada, Pablo Barcelo and Iluju Kiringa: Sharing and Exchanging Data
• Gerald Berger and Hans Tompits: On Axiomatic Rejection for the Description Logic ALC
• Guohua Liu, Tomi Janhunen and Ilkka Niemela: Introducing Real Variables and Integer Objective Functions to Answer Set Programming

15:30-16:00 Coffee Break

16:00-17:30 WFLP/WLP Session: Constraints and Verification

(Chair: Sebastian Fischer)

• Alexander Bau and Johannes Waldmann: Propositional Encoding of Constraints over Tree-Shaped Data
• Jomu George, Mani Paret and Otmane Ait Mohamed: Coverage Driven Test Generation and Consistency Algorithm
• Marcus Ermler: Towards a Verification Framework for Haskell by Combining Graph Transformation Units and SAT Solving

17:45-19:00 Annual meeting of the Society of Logic Programming (GLP e.V.)

Thursday, September 12:

9:00-10:00 Invited Talk:

(Chair: Michael Hanus)

• Tom Schrijvers (University of Ghent): Delimited Continuations for Prolog: An Overview

10:00-10:30 WFLP/WLP Session: Functional Programming

(Chair: Michael Hanus)

• James Gil de Lamadrid: FOBS-X: An Extensible Hybrid Functional-Object-Oriented Scripting Language

10:30-11:00 Coffee Break

11:00-12:30 INAP Session: Applications and System Implementations

(Chair: Hans Tompits)

• Danny Munera, Daniel Diaz and Salvador Abreu: Towards Parallel Constraint-Based Local Search with the X10 Language
• Benny Höckner, Petra Hofstedt, Peter Sauer, Thilo Voertler and Thomas Hinze: Constraint-based Approach for an Early Inspection of the Feasibility of Cyber Physical Systems
• Ludwig Ostermayer, Geng Sun and Dietmar Seipel: Simplifying Rules Creation Using Domain Specific Languages in Drools

12:30-14:00 Lunch

14:00-15:00 WFLP/WLP Session: System Descriptions

(Chair: Johannes Waldmann)

• Marcus Ermler: A SAT-Based Graph Rewriting and Verification Tool implemented in Haskell
• Mingmin Chen, Shizhuo Yu, Nico Franz, Shawn Bowers and Bertram Ludascher: Euler/X: A Toolkit for Logic-based Taxonomy Integration

15:00-15:30 Coffee Break

Excursion and conference dinner

Friday, September 13:

9:00-10:30 WFLP/WLP Session: Logic Programming

(Chair: Tom Schrijvers)

• Chiaki Sakama: Debate Games in Logic Programming
• Carlos Alberto Martínez-Angeles, Ines Dutra, Vítor Santos-Costa and Jorge Buenabad-Chavez: A Datalog Engine for GPUs
• Claus Zinn: Heuristic Search Over Program Transformations

10:30-11:00 Coffee Break

11:00-12:30 INAP Session: Extensions of Logic Programming

(Chair: Dietmar Seipel)

• Thomas Eiter, Michael Fink, Thomas Krennwallner and Christoph Redl: HEX-Programs with Existential Quantification
• Mário Abrantes and Luís Moniz Pereira: An Abductive Paraconsistent Semantics -- MHp
• Mikus Vanags, Arturs Licis and Janis Justs: Meta-set calculus as mathematical basis for creating abstract, structured data store querying technology

12:30-14:00 Closing and Lunch