Lecture Notes in Computer Science - Applications of Declarative Programming and Knowledge Management
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642006746, 9783642006753

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Integrating XQuery and Logic Programming

Lecture Notes in Computer Science - Applications of Declarative Programming and Knowledge Management ◽

10.1007/978-3-642-00675-3_8 ◽

2009 ◽

pp. 117-135 ◽

Cited By ~ 2

Author(s):

Jesús M. Almendros-Jiménez ◽

Antonio Becerra-Terón ◽

Francisco J. Enciso-Baños

Keyword(s):

Logic Programming

Download Full-text

spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics

Lecture Notes in Computer Science - Applications of Declarative Programming and Knowledge Management ◽

10.1007/978-3-642-00675-3_17 ◽

2009 ◽

pp. 247-252 ◽

Cited By ~ 2

Author(s):

Martin Gebser ◽

Jörg Pührer ◽

Torsten Schaub ◽

Hans Tompits ◽

Stefan Woltran

Keyword(s):

Logic Programs ◽

Support Tool ◽

Answer Set Semantics ◽

Answer Set

Download Full-text

Visual Generalized Rule Programming Model for Prolog with Hybrid Operators

Lecture Notes in Computer Science - Applications of Declarative Programming and Knowledge Management ◽

10.1007/978-3-642-00675-3_12 ◽

2009 ◽

pp. 178-194 ◽

Cited By ~ 1

Author(s):

Grzegorz J. Nalepa ◽

Igor Wojnicki

Keyword(s):

Programming Model

Download Full-text

Efficient Edge-Finding on Unary Resources with Optional Activities

Lecture Notes in Computer Science - Applications of Declarative Programming and Knowledge Management ◽

10.1007/978-3-642-00675-3_3 ◽

2009 ◽

pp. 38-53

Author(s):

Sebastian Kuhnert

Download Full-text

Constraint-Based Timetabling System for the German University in Cairo

Lecture Notes in Computer Science - Applications of Declarative Programming and Knowledge Management ◽

10.1007/978-3-642-00675-3_5 ◽

2009 ◽

pp. 69-81

Author(s):

Slim Abdennadher ◽

Mohamed Aly ◽

Marlien Edward

Download Full-text

Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics

Lecture Notes in Computer Science - Applications of Declarative Programming and Knowledge Management ◽

10.1007/978-3-642-00675-3_14 ◽

2009 ◽

pp. 206-222 ◽

Cited By ~ 2

Author(s):

Francisco J. López-Fraguas ◽

Juan Rodríguez-Hortalá ◽

Jaime Sánchez-Hernández

Keyword(s):

Logic Programs ◽

First Order ◽

Functional Logic

Download Full-text

Java Type Unification with Wildcards

Lecture Notes in Computer Science - Applications of Declarative Programming and Knowledge Management ◽

10.1007/978-3-642-00675-3_15 ◽

2009 ◽

pp. 223-240 ◽

Cited By ~ 2

Author(s):

Martin Plümicke

Download Full-text

Causal Subgroup Analysis for Detecting Confounding

Lecture Notes in Computer Science - Applications of Declarative Programming and Knowledge Management ◽

10.1007/978-3-642-00675-3_9 ◽

2009 ◽

pp. 136-148

Author(s):

Martin Atzmueller ◽

Frank Puppe

Keyword(s):

Subgroup Analysis

Download Full-text

Linear Weighted-Task-Sum – Scheduling Prioritized Tasks on a Single Resource

Lecture Notes in Computer Science - Applications of Declarative Programming and Knowledge Management ◽

10.1007/978-3-642-00675-3_2 ◽

2009 ◽

pp. 21-37 ◽

Cited By ~ 1

Author(s):

Armin Wolf ◽

Gunnar Schrader

Download Full-text

Encoding of Planning Problems and Their Optimizations in Linear Logic

Lecture Notes in Computer Science - Applications of Declarative Programming and Knowledge Management ◽

10.1007/978-3-642-00675-3_4 ◽

2009 ◽

pp. 54-68

Author(s):

Lukáš Chrpa ◽

Pavel Surynek ◽

Jiří Vyskočil

Keyword(s):

Linear Logic ◽

Planning Problems

Download Full-text

Lecture Notes in Computer Science - Applications of Declarative Programming and Knowledge ManagementLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Integrating XQuery and Logic Programming

spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics

Visual Generalized Rule Programming Model for Prolog with Hybrid Operators

Efficient Edge-Finding on Unary Resources with Optional Activities

Constraint-Based Timetabling System for the German University in Cairo

Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics

Java Type Unification with Wildcards

Causal Subgroup Analysis for Detecting Confounding

Linear Weighted-Task-Sum – Scheduling Prioritized Tasks on a Single Resource

Encoding of Planning Problems and Their Optimizations in Linear Logic

Lecture Notes in Computer Science - Applications of Declarative Programming and Knowledge Management
Latest Publications