241 citations · 241 across the 3 of their papers we have counts for
1 paper · 1 filter
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…