Workshop Program

Wed, Feb 22

12:00 - 13:00 Registration
13:00 - 13:10 Opening
13:10 - 15:10 Technical Session 1: Applications (Chair: Armin Wolf)
13:10 - 13:40 Causal Theories as Logic Programs
Paolo Ferraris
13:40 - 14:10 Voting Theory in Answer Set Programming
Kathrin Konczak
14:10 - 14:40 Evaluating ASP and Commercial Solvers on the CSPLib
Marco Cadoli, Toni Mancini, Davide Micaletto, Fabio Patrizi
14:40 - 15:10 Dynamic Logic Programming and World State Evaluation in Computer Games
Jozef Siska
15:10 - 15:40 Coffee Break
15:40 - 16:40 Tutorial 1 (Chair: Michael Hanus)
  Object-Oriented Constraint Programming in Java Using the Library firstcs
Armin Wolf
16:40 - 17:20 System Demonstrations (Chair: Michael Hanus)
16:40 - 17:00 A Tool for Advanced Correspondence Checking in Answer-Set Programming
Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran
17:00 - 17:20 dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming Framework
Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits
17:30 - 19:00 GLP Meeting


Thu, Feb 23

09:30 - 10:30 Invited Talk 1 (Chair: Hans Tompits)
  Tableaux Calculi for Answer Set Programming
Torsten Schaub (Univ. Potsdam)
10:30 - 11:00 Coffee Break
11:00 - 12:30 Technical Session 2: Programming Aspects (Chair: Ulrich Geske)
11:00 - 11:30 Executable Denotations for Concurrent Languages using Concurrent Transaction Logic
Marcus Vinicius Santos
11:30 - 12:00 Adding Constraint Handling Rules to Curry
Michael Hanus
12:00 - 12:30 INCLP(R) - Interval-based Nonlinear Constraint Logic Programming over the Reals
Leslie De Koninck, Tom Schrijvers, Bart Demoen
12:30 - 14:30 Lunch
14:30 - 15:30 Technical Session 3: Theory (Chair: Dietmar Seipel)
14:30 - 15:00 Non-monotonic Integrity Constraints
Jan Sefranek
15:00 - 15:30 Complete First-Order Axiomatization of Finite or Infinite M-extended Trees
Khalil Djelloul, Thi-Bich-Hanh Dao
15:30 - 16:00 Coffee Break
16:00 - 16:45 Tutorial 2 (Chair: Sebastian Schaffert)
  How to Teach Difference Lists?
Ulrich Geske
16:45 - 17:45 Technical Session 4: Semantic Web (Chair: Sebastian Schaffert)
16:45 - 17:15 Logic Programs with Contextually Scoped Negation
Axel Polleres
17:15 - 17:45 Declarative Web Data Extraction and Annotation
Carlo Bernardoni, Giacomo Fiumara, Massimo Marchi, Alessandro Provetti
19:00 Workshop Dinner


Fri, Feb 24

9:30 - 10:30 Invited Talk 2 (Chair: Michael Fink)
  Algorithmic Aspects of Model Representations
Reinhard Pichler (TU Wien)
10:30 - 11:00 Coffee Break
11:00 - 12:30 Technical Session 5: Answer-Set Programming (Chair: Axel Polleres)
11:00 - 11:30 Replacements in Non-Ground Answer-Set Programming
Thomas Eiter, Michael Fink, Hans Tompits, Patrick Traxler, Stefan Woltran
11:30 - 12:00 Weak Order Equivalence for Logic Programs with Preferences
Kathrin Konczak
12:00 - 12:30 Decomposition of Nonmonotone Aggregates in Answer Set Programming
Wolfgang Faber
12:30 - 13:00 Coffee Break
13:00 - 14:30 Technical Session 6: Constraint-Handling Rules (Chair: Wolfgang Faber)
13:00 - 13:30 Fine-grained Parallel Implementation of the Preflow-Push Algorithm in CHR
Marc Meister
13:30 - 14:00 Dijkstra's Algorithm with Fibonacci Heaps: An Executable Description in CHR
Jon Sneyers, Tom Schrijvers, Bart Demoen
14:00 - 14:30 ORCAS: Towards a CHR-Based Model-Driven Framework of Reusable Reasoning Components
Jacques Robin, Jairson Vitorino



Webpage maintained by Stefan Woltran