Graduation details

[PhD] - Modular Logic Programming: Full Compositionality and Conflict Handling for Practical Reasoning

Oct 2010 - Dec 2016

Abstract:

Start Date: 1 Oct 2010

End Date: 22 Dec 2016

Post-Graduation by: João Moura

Post-Graduation Supervisor(s): Carlos Viegas Damásio

Post-Graduation Jury(s):