The SCEAS System
Navigation Menu

Conferences in DBLP

Workshop Logische Programmierung (wlp)
2007 (conf/wlp/2007)


  1. A Guide for Manual Construction of Difference-List Procedures. [Citation Graph (, )][DBLP]


  2. Linear Weighted-Task-Sum - Scheduling Prioritized Tasks on a Single Resource. [Citation Graph (, )][DBLP]


  3. Efficient Edge-Finding on Unary Resources with Optional Activities. [Citation Graph (, )][DBLP]


  4. Encoding of Planning Problems and Their Optimizations in Linear Logic. [Citation Graph (, )][DBLP]


  5. Constraint-Based Timetabling System for the German University in Cairo. [Citation Graph (, )][DBLP]


  6. Squash: A Tool for Analyzing, Tuning and Refactoring Relational Database Applications. [Citation Graph (, )][DBLP]


  7. Relational Models for Tabling Logic Programs in a Database. [Citation Graph (, )][DBLP]


  8. Integrating XQuery and Logic Programming. [Citation Graph (, )][DBLP]


  9. Causal Subgroup Analysis for Detecting Confounding. [Citation Graph (, )][DBLP]


  10. Using Declarative Specifications of Domain Knowledge for Descriptive Data Mining. [Citation Graph (, )][DBLP]


  11. Integrating Temporal Annotations in a Modular Logic Language. [Citation Graph (, )][DBLP]


  12. Visual Generalized Rule Programming Model for Prolog with Hybrid Operators. [Citation Graph (, )][DBLP]


  13. The Kiel Curry System KiCS. [Citation Graph (, )][DBLP]


  14. Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics. [Citation Graph (, )][DBLP]


  15. Java Type Unification with Wildcards. [Citation Graph (, )][DBLP]


  16. Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT. [Citation Graph (, )][DBLP]


  17. spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics. [Citation Graph (, )][DBLP]

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002