Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning - Volume 8148