Mathematical Foundations of Answer Set Programming

Paolo Ferraris, Vladimir Lifschitz. Mathematical Foundations of Answer Set Programming. In Sergei N. Artëmov, Howard Barringer, Artur S. d Avila Garcez, Luís C. Lamb, John Woods, editors, We Will Show Them! Essays in Honour of Dov Gabbay, Volume One. pages 615-664, College Publications, 2005.

Authors

Paolo Ferraris

This author has not been identified. Look up 'Paolo Ferraris' in Google

Vladimir Lifschitz

This author has not been identified. Look up 'Vladimir Lifschitz' in Google