Logic Programming and Reasoning, 7th International Conference, LPNMR 2004, Fort Lauderdate, FL, USA, January 2004, Proceedings