Neural-Symbolic Learning and Reasoning (Dagstuhl Seminar 14381)