Chitta Baral, Juraj Dzifcak, Luis Tari (auth.), Véronica Dahl, Ilkka Niemelä (eds.)

Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings