1
Published 2013
Springer Berlin Heidelberg
Table of Contents: ... Users -- Every Formula-Based Logic Program Has a Least Innite-Valued Model -- A Declarative Approach...

2
Published 2018
Springer International Publishing
Table of Contents: ... Principles and Heurstic Strategies in Modeling Human Clusters -- Functional and Logic Programming -- Concolic...

3
Published 2020
Springer International Publishing
Table of Contents: ... of Small Sub-Constraint Satisfaction Problems -- 33rd Workshop on (Constraint) Logic Programming - WLP 2019...

4
Published 2011
Springer Berlin Heidelberg
... of logic programming, databases and query languages, declarative programming with logic languages...

5
Published 2003
Springer Berlin Heidelberg
Table of Contents: ...Constraint and Logic Programming Systems (CLPS) -- Solving Set Partitioning Problems with Global...