Keyphrases
- formal models
- logical reasoning
- meta level
- formal model
- key issues
- legal argument
- knowledge base
- model based reasoning
- reasoning tasks
- formal representation
- reasoning systems
- automated reasoning
- knowledge representation
- case study
- network security
- rule based reasoning
- hypothetical reasoning
- artificial intelligence
- data sets
- uncertain information
- legal reasoning
- default reasoning