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 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Dietmar Seipel, Michael Hanus, Armin Wolf, editors, 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. Volume 5437 of Lecture Notes in Computer Science, Springer, 2009. [doi]

Conference: wlp2009

Abstract is missing.

A Guide for Manual Construction of Difference-List ProceduresUlrich Geske, Hans-Joachim Goltz. 1-20 [doi]

Linear Weighted-Task-Sum - Scheduling Prioritized Tasks on a Single ResourceArmin Wolf, Gunnar Schrader. 21-37 [doi]

Efficient Edge-Finding on Unary Resources with Optional ActivitiesSebastian Kuhnert. 38-53 [doi]

Encoding of Planning Problems and Their Optimizations in Linear LogicLukás Chrpa, Pavel Surynek, Jirí Vyskocil. 54-68 [doi]

Constraint-Based Timetabling System for the German University in CairoSlim Abdennadher, Mohamed Aly, Marlien Edward. 69-81 [doi]

Squash: A Tool for Analyzing, Tuning and Refactoring Relational Database ApplicationsAndreas M. Boehm, Dietmar Seipel, Albert Sickmann, Matthias Wetzka. 82-98 [doi]

Relational Models for Tabling Logic Programs in a DatabasePedro Costa, Ricardo Rocha, Michel Ferreira. 99-116 [doi]

Integrating XQuery and Logic ProgrammingJesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Francisco J. Enciso-Baños. 117-135 [doi]

Causal Subgroup Analysis for Detecting ConfoundingMartin Atzmüller, Frank Puppe. 136-148 [doi]

Using Declarative Specifications of Domain Knowledge for Descriptive Data MiningMartin Atzmüller, Dietmar Seipel. 149-164 [doi]

Integrating Temporal Annotations in a Modular Logic LanguageVítor Nogueira, Salvador Abreu. 165-177 [doi]

Visual Generalized Rule Programming Model for Prolog with Hybrid OperatorsGrzegorz J. Nalepa, Igor Wojnicki. 178-194 [doi]

The Kiel Curry System KiCSBernd Brassel, Frank Huch. 195-205 [doi]

Narrowing for First Order Functional Logic Programs with Call-Time Choice SemanticsFrancisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández. 206-222 [doi]

Java Type Unification with WildcardsMartin Plümicke. 223-240 [doi]

Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccTJohannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran. 241-246 [doi]

spock: A Debugging Support Tool for Logic Programs under the Answer-Set SemanticsMartin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran. 247-252 [doi]

runs on WebDSL