You have Guest access.
Log In
Dietmar Seipel, Michael Hanus and Armin Wolf
Front matter
1-20
A Guide for Manual Construction of Difference-List Procedures
21-37
Linear Weighted-Task-Sum – Scheduling Prioritized Tasks on a Single Resource
38-53
Efficient Edge-Finding on Unary Resources with Optional Activities Revised and Extended Version
54-68
Encoding of Planning Problems and Their Optimizations in Linear Logic
69-81
Constraint-Based Timetabling System for the German University in Cairo
82-98
Squash: A Tool for Analyzing, Tuning and Refactoring Relational Database Applications
99-116
Relational Models for Tabling Logic Programs in a Database
117-135
Integrating XQuery and Logic Programming
136-148
Causal Subgroup Analysis for Detecting Confounding
149-164
Using Declarative Specifications of Domain Knowledge for Descriptive Data Mining
165-177
Integrating Temporal Annotations in a Modular Logic Language
178-194
Visual Generalized Rule Programming Model for Prolog with Hybrid Operators
195-205
The Kiel Curry System KiCS
206-222
Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics
223-240
Java Type Unification with Wildcards
241-246
Testing Relativised Uniform Equivalence under Answer-Set Projection in the System cc ⊤
247-252
spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics
Back matter
This page requires script.
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info