José Júlio Alferes

• Reasoning with logic programming