Gradient-Based Optimization on Gdel Logic as Discrete Local Search.

Alessandro Daniele, Emile van Krieken

Browse the full KR paper archive.