Argumentative Logics: Reasoning with Classically Inconsistent Information.
Morten Elvang-GøranssonAnthony HunterPublished in: Data Knowl. Eng. (1995)
Keyphrases
- inconsistent information
- semistructured data
- defeasible reasoning
- inheritance reasoning
- conditional logic
- nonmonotonic reasoning
- proof theory
- modal logic
- regular expressions
- inference rules
- semi structured
- information retrieval
- query evaluation
- classical logic
- legal reasoning
- reasoning systems
- fuzzy logic
- xml documents