Neural-Symbolic Learning and Reasoning: Contributions and Challenges