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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319089089, 9783319089096

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Introducing Real Variables and Integer Objective Functions to Answer Set Programming

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

10.1007/978-3-319-08909-6_8 ◽

2014 ◽

pp. 118-135

Author(s):

Guohua Liu ◽

Tomi Janhunen ◽

Ilkka Niemelä

Keyword(s):

Answer Set Programming ◽

Objective Functions ◽

Answer Set

Download Full-text

And... Action! – Monoid Actions and (Pre)orders

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

10.1007/978-3-319-08909-6_6 ◽

2014 ◽

pp. 83-98

Author(s):

Nikita Danilenko

Download Full-text

Debate Games in Logic Programming

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

10.1007/978-3-319-08909-6_12 ◽

2014 ◽

pp. 185-201

Author(s):

Chiaki Sakama

Keyword(s):

Logic Programming

Download Full-text

Towards Parallel Constraint-Based Local Search with the X10 Language

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

10.1007/978-3-319-08909-6_11 ◽

2014 ◽

pp. 169-184 ◽

Cited By ~ 2

Author(s):

Danny Munera ◽

Daniel Diaz ◽

Salvador Abreu

Keyword(s):

Local Search

Download Full-text

hex-Programs with Existential Quantification

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

10.1007/978-3-319-08909-6_7 ◽

2014 ◽

pp. 99-117 ◽

Cited By ~ 2

Author(s):

Thomas Eiter ◽

Michael Fink ◽

Thomas Krennwallner ◽

Christoph Redl

Keyword(s):

Existential Quantification

Download Full-text

Propositional Encoding of Constraints over Tree-Shaped Data

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

10.1007/978-3-319-08909-6_3 ◽

2014 ◽

pp. 33-47

Author(s):

Alexander Bau ◽

Johannes Waldmann

Download Full-text

Coverage Driven Test Generation and Consistency Algorithm

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

10.1007/978-3-319-08909-6_9 ◽

2014 ◽

pp. 136-151

Author(s):

Jomu George Mani Paret ◽

Otmane Ait Mohamed

Keyword(s):

Test Generation

Download Full-text

Some Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley

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

10.1007/978-3-319-08909-6_14 ◽

2014 ◽

pp. 218-233 ◽

Cited By ~ 1

Author(s):

Baltasar Trancón y Widemann ◽

Markus Lepper

Keyword(s):

Logic Programming ◽

Light Weight ◽

Functional Logic Programming ◽

Functional Logic

Download Full-text

A Descriptive Handling of Directly Conflicting Rules in Preferred Answer Sets

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

10.1007/978-3-319-08909-6_13 ◽

2014 ◽

pp. 202-217

Author(s):

Alexander Šimko

Keyword(s):

Answer Sets

Download Full-text

On a High-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry

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

10.1007/978-3-319-08909-6_4 ◽

2014 ◽

pp. 48-64 ◽

Cited By ~ 1

Author(s):

Christoph Beierle ◽

Udo Lelitko

Keyword(s):

Logic Programming ◽

Programming Language ◽

Logic Programming Language ◽

Functional Logic Programming ◽

Functional Logic ◽

High Level

Download Full-text

Declarative Programming and Knowledge Management - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Introducing Real Variables and Integer Objective Functions to Answer Set Programming

And... Action! – Monoid Actions and (Pre)orders

Debate Games in Logic Programming

Towards Parallel Constraint-Based Local Search with the X10 Language

hex-Programs with Existential Quantification

Propositional Encoding of Constraints over Tree-Shaped Data

Coverage Driven Test Generation and Consistency Algorithm

Some Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley

A Descriptive Handling of Directly Conflicting Rules in Preferred Answer Sets

On a High-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry

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