This volume contains a selection of papers presented at the 15th
International Conference on Applications of Declarative Programming
and Knowledge M- agement, INAP 2004, and the 18th Workshop on Logic
Programming, WLP 2004, which were held jointly in Potsdam, Germany,
from March 4th to 6th, 2004. Declarative programming is an advanced
paradigm for the modeling and solving of complex problems. This
speci?cation method has become more and more attractive... more...