Welding symbolic AI systems with neural networks and their applications Conference Paper uri icon