Applications of Declarative Programming and Knowledge Management

1. Front Matter

   Pages I-X

   PDF

2. Invited Talk

   1. A Guide for Manual Construction of Difference-List Procedures

      • Ulrich Geske, Hans-Joachim Goltz

      Pages 1-20

3. Constraints

   1. Linear Weighted-Task-Sum – Scheduling Prioritized Tasks on a Single Resource

      • Armin Wolf, Gunnar Schrader

      Pages 21-37

   2. Efficient Edge-Finding on Unary Resources with Optional Activities

      • Sebastian Kuhnert

      Pages 38-53

   3. Encoding of Planning Problems and Their Optimizations in Linear Logic

      • Lukáš Chrpa, Pavel Surynek, Jiří Vyskočil

      Pages 54-68

   4. Constraint-Based Timetabling System for the German University in Cairo

      • Slim Abdennadher, Mohamed Aly, Marlien Edward

      Pages 69-81

4. Databases and Data Mining

   1. Squash: A Tool for Analyzing, Tuning and Refactoring Relational Database Applications

      • Andreas M. Boehm, Dietmar Seipel, Albert Sickmann, Matthias Wetzka

      Pages 82-98

   2. Relational Models for Tabling Logic Programs in a Database

      • Pedro Costa, Ricardo Rocha, Michel Ferreira

      Pages 99-116

   3. Integrating XQuery and Logic Programming

      • Jesús M. Almendros-Jiménez, Antonio Becerra-Terón, Francisco J. Enciso-Baños

      Pages 117-135

   4. Causal Subgroup Analysis for Detecting Confounding

      • Martin Atzmueller, Frank Puppe

      Pages 136-148

   5. Using Declarative Specifications of Domain Knowledge for Descriptive Data Mining

      • Martin Atzmueller, Dietmar Seipel

      Pages 149-164

5. Extensions of Logic Programming

   1. Integrating Temporal Annotations in a Modular Logic Language

      • Vitor Nogueira, Salvador Abreu

      Pages 165-177

   2. Visual Generalized Rule Programming Model for Prolog with Hybrid Operators

      • Grzegorz J. Nalepa, Igor Wojnicki

      Pages 178-194

   3. The Kiel Curry System KiCS

      • Bernd Braßel, Frank Huch

      Pages 195-205

   4. Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics

      • Francisco J. López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández

      Pages 206-222

   5. Java Type Unification with Wildcards

      • Martin Plümicke

      Pages 223-240

6. System Demonstrations

   1. Testing Relativised Uniform Equivalence under Answer-Set Projection in the System cc ⊤ 

      • Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran

      Pages 241-246

   2. spock : A Debugging Support Tool for Logic Programs under the Answer-Set Semantics

      • Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran

      Pages 247-252

7. Back Matter

   Pages 253-253

   PDF

This volume constitutes the thoroughly refereed post-conference proceedings of the 17th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2007, and the 21st Workshop on Logic Programming, WLP 2007, held in Würzburg, Germany, during October 4-6, 2007. The 16 thoroughly revised full papers presented together with 1 invited paper were carefully reviewed and selected from numerous submissions. The topics covered are constraints; databases and data mining; extensions of logic programming; and system demonstrations.

• AI logics
• Debugging
• Factor
• Prolog
• SAT
• Scheduling
• answer sets
• constraint processing
• constraint solving
• data mining
• global constraints
• knowledge management
• ontologies
• optimization
• semantics

• Universität Würzburg, Am Hubland, Würzburg, Germany

  Dietmar Seipel

• Institut für Informatik, Christian-Albrechts-Universität zu Kiel, Kiel, Germany

  Michael Hanus

• Fraunhofer FIRST, Berlin, Germany

  Armin Wolf

Policies and ethics