Visualization of Proofs in Defeasible Logic.
Ioannis AvguleasKaterina GkirtzouSofia TriantafilouAntonis BikakisGrigoris AntoniouEfstratios KontopoulosNick BassiliadesPublished in: RuleML (2008)
Keyphrases
- defeasible logic
- defeasible reasoning
- extended logic programs
- rule base
- legal reasoning
- nonmonotonic reasoning
- knowledge representation and reasoning
- business rules
- theorem proving
- default logic
- data analysis
- theorem prover
- logic programming
- case study
- neural network
- description logics
- computational intelligence
- knowledge representation