A Logic-Based System for e-Tourism. - Ricca, Francesco; Dimasi, Antonella; Grasso, Giovanni; Ielpa, Salvatore Maria; Iiritano, Salvatore; Manna, Marco; Leone, Nicola (Fundamenta Informaticae, 2011)