Skip to main content
SpringerLink
Log in
Book cover

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

  • Conference proceedings
  • © 2009

Overview

Editors:
  1. Dietmar Seipel

    1. Universität Würzburg, Am Hubland, Würzburg, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Michael Hanus

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Armin Wolf

    1. Fraunhofer FIRST, Berlin, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: INAP 2007, WLP 2007.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (17 papers)

  1. Front Matter

    Pages I-X
    Download chapter 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
    Download chapter PDF
Back to top

Other volumes

  1. Applications of Declarative Programming and Knowledge Management

Keywords

About this book

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.

Editors and Affiliations

  • 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

Bibliographic Information

  • Book Title: Applications of Declarative Programming and Knowledge Management

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

  • Editors: Dietmar Seipel, Michael Hanus, Armin Wolf

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-642-00675-3

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2009

  • Softcover ISBN: 978-3-642-00674-6Published: 22 April 2009

  • eBook ISBN: 978-3-642-00675-3Published: 21 April 2009

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: X, 253

  • Topics: Programming Languages, Compilers, Interpreters, Artificial Intelligence, Programming Techniques

Publish with us

Policies and ethics

Back to top

Search

Navigation