Logic Programming and Non-Monotonic Reasoning: Proceedings of the Second International Workshop 1993 - Pereira (IEEE, 2003)