Advertisement

Applications of Declarative Programming and Knowledge Management

17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers

  • Dietmar Seipel
  • Michael Hanus
  • Armin Wolf
Conference proceedings INAP 2007, WLP 2007

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5437)

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 5437)

Table of contents

  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

About these proceedings

Introduction

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.

Keywords

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

Editors and affiliations

  • Dietmar Seipel
    • 1
  • Michael Hanus
    • 2
  • Armin Wolf
    • 3
  1. 1.Universität Würzburg, Am HublandWürzburgGermany
  2. 2.Institut für InformatikChristian-Albrechts-Universität zu KielKielGermany
  3. 3.Fraunhofer FIRSTBerlinGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-00675-3
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-00674-6
  • Online ISBN 978-3-642-00675-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Aerospace
Engineering