Argumentative Reasoning in ASPIC+ under Incomplete Information.
Daphne OdekerkenTuomo LehtonenAnneMarie BorgJohannes Peter WallnerMatti JärvisaloPublished in: KR (2023)
Keyphrases
- model based reasoning
- knowledge base
- reasoning tasks
- search engine
- qualitative reasoning
- knowledge representation
- databases
- legal reasoning
- neural network
- description logics
- probabilistic reasoning
- default reasoning
- learning environment
- data mining
- causal reasoning
- consistency checking
- formal models
- database
- resource bounded
- rule based reasoning
- proof theory
- deductive reasoning