default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID21st WLP / 17th INAP 2007: Würzburg, Germany
- Dietmar Seipel, Michael Hanus, Armin Wolf:
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. Lecture Notes in Computer Science 5437, Springer 2009, ISBN 978-3-642-00674-6
Invited Talk
- Ulrich Geske, Hans-Joachim Goltz:
A Guide for Manual Construction of Difference-List Procedures. 1-20
Constraints
- Armin Wolf, Gunnar Schrader:
Linear Weighted-Task-Sum - Scheduling Prioritized Tasks on a Single Resource. 21-37 - Sebastian Kuhnert
:
Efficient Edge-Finding on Unary Resources with Optional Activities. 38-53 - Lukás Chrpa, Pavel Surynek, Jirí Vyskocil:
Encoding of Planning Problems and Their Optimizations in Linear Logic. 54-68 - Slim Abdennadher, Mohamed Aly, Marlien Edward:
Constraint-Based Timetabling System for the German University in Cairo. 69-81
Databases and Data Mining
- Andreas M. Boehm, Dietmar Seipel, Albert Sickmann, Matthias Wetzka:
Squash: A Tool for Analyzing, Tuning and Refactoring Relational Database Applications. 82-98 - Pedro Costa, Ricardo Rocha, Michel Ferreira:
Relational Models for Tabling Logic Programs in a Database. 99-116 - Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Francisco J. Enciso-Baños:
Integrating XQuery and Logic Programming. 117-135 - Martin Atzmüller, Frank Puppe:
Causal Subgroup Analysis for Detecting Confounding. 136-148 - Martin Atzmüller, Dietmar Seipel:
Using Declarative Specifications of Domain Knowledge for Descriptive Data Mining. 149-164
Extensions of Logic Programming
- Vítor Nogueira, Salvador Abreu:
Integrating Temporal Annotations in a Modular Logic Language. 165-177 - Grzegorz J. Nalepa, Igor Wojnicki:
Visual Generalized Rule Programming Model for Prolog with Hybrid Operators. 178-194 - Bernd Brassel, Frank Huch:
The Kiel Curry System KiCS. 195-205 - Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández:
Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics. 206-222 - Martin Plümicke:
Java Type Unification with Wildcards. 223-240
System Demonstrations
- Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran:
Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT. 241-246 - Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran:
spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics. 247-252
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-04 00:41 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
