Keyword:Answer Set Program

Publications
Reasoning in the presence of inconsistency through Preferential ALC Graham Deane, Krysia Broda and Alessandra Russo In:LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations