View of DDLV: A System for rational preferential reasoning for datalog

Return to Article Details DDLV: A System for rational preferential reasoning for datalog Download Download PDF