31 - Il Ragionamento Computazionale Dalle Logiche Simboliche Alle Architetture Ibride Dellia