|
Conferences in DBLP
A Guide for Manual Construction of Difference-List Procedures. [Citation Graph (, )][DBLP]
Linear Weighted-Task-Sum - Scheduling Prioritized Tasks on a Single Resource. [Citation Graph (, )][DBLP]
Efficient Edge-Finding on Unary Resources with Optional Activities. [Citation Graph (, )][DBLP]
Encoding of Planning Problems and Their Optimizations in Linear Logic. [Citation Graph (, )][DBLP]
Constraint-Based Timetabling System for the German University in Cairo. [Citation Graph (, )][DBLP]
Squash: A Tool for Analyzing, Tuning and Refactoring Relational Database Applications. [Citation Graph (, )][DBLP]
Relational Models for Tabling Logic Programs in a Database. [Citation Graph (, )][DBLP]
Integrating XQuery and Logic Programming. [Citation Graph (, )][DBLP]
Causal Subgroup Analysis for Detecting Confounding. [Citation Graph (, )][DBLP]
Using Declarative Specifications of Domain Knowledge for Descriptive Data Mining. [Citation Graph (, )][DBLP]
Integrating Temporal Annotations in a Modular Logic Language. [Citation Graph (, )][DBLP]
Visual Generalized Rule Programming Model for Prolog with Hybrid Operators. [Citation Graph (, )][DBLP]
The Kiel Curry System KiCS. [Citation Graph (, )][DBLP]
Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics. [Citation Graph (, )][DBLP]
Java Type Unification with Wildcards. [Citation Graph (, )][DBLP]
Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT. [Citation Graph (, )][DBLP]
spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics. [Citation Graph (, )][DBLP]
|