241 citations · 241 across the 2 of their papers we have counts for
2 papers
cs.LG2017
Artificial Neural Networks that Learn to Satisfy Logic Constraints
Gadi Pinkas, Shimon Cohen
Logic-based problems such as planning, theorem proving, or puzzles, typically involve combinatoric search and structured knowledge representation. Artificial neural networks are ve…
cs.AI2017★ 241 cited
Neural-Symbolic Learning and Reasoning: A Survey and Interpretation
Tarek R. Besold, Artur d'Avila Garcez, Sebastian Bader +11
The study and understanding of human behaviour is relevant to computer science, artificial intelligence, neural computation, cognitive science, philosophy, psychology, and several…