Title: Handbook of Logic in Artificial Intelligence and Logic Programming Volume 5