ΠΑΡΑΔΟΤΕΑ
Team | Task | Deliverables | Report and Team Members |
TeamA | Implement DR-Prolog reasoning engine supporting Defeasible Theories in RuleML and RDF |
Files | Report A_1 Report A_2 |
TeamB | Integrate into EMERALD by creating: An Agent for TeamA's Reasoning engine combined with Support for Proof Explanation and an Agent for TeamC's Proof Validator |
Included in TeamA's and TeamB's Files | Report |
TeamC | Create a Proof Validator for a given Proof Explanation based on a RuleML Theory | Files | Report |