2
Published 2001
Springer Berlin Heidelberg
Table of Contents: ...Declarative Specification and Solution of Combinatorial Auctions Using Logic Programming -- Bounded...

3
Published 2011
Springer Berlin Heidelberg
... for exchanging ideas on declarative logic programming, nonmonotonic reasoning, and knowledge representation...

4
Published 2013
Springer Berlin Heidelberg
Table of Contents: ...Invited Talks -- Inconsistency Management for Description Logic Programs and Beyond -- Reasoning...

5
Published 2021
Springer International Publishing
Table of Contents: ... with Hybrid ASP -- Tractable Reasoning Using Logic Programs with Intensional Concepts -- Estimating Grounding...