Formalizing Dialectical Reasoning for Compromise-based Justification.
Hiroyuki KidoKatsumi NittaMasahito KuriharaDaisuke KatagamiPublished in: ICAART (1) (2011)
Keyphrases
- defeasible reasoning
- argumentation systems
- reason maintenance
- knowledge base
- trade off
- reasoning problems
- reasoning process
- argumentation schemes
- resource bounded
- reasoning systems
- legal reasoning
- automated reasoning
- meta level
- semantic web
- knowledge representation
- machine learning
- reasoning tasks
- model based reasoning
- domain knowledge
- information retrieval