The DR-Prolog Tool Suite for Defeasible Reasoning and Proof Explanation in the Semantic Web.
Antonis BikakisConstantinos PapatheodorouGrigoris AntoniouPublished in: SETN (2008)
Keyphrases
- defeasible reasoning
- tool suite
- nonmonotonic reasoning
- knowledge representation
- logic programming
- theorem proving
- formal semantics
- legal reasoning
- defeasible logic
- knowledge base
- theorem prover
- argumentation systems
- conditional logic
- reverse engineering
- java programs
- expert systems
- nonmonotonic logics
- default reasoning
- argumentation frameworks
- knowledge representation and reasoning
- error rate
- logic programs
- high level
- case study