Monotonicity Reasoning in Formal Semantics Based on Modern Type Theories.
Georgiana E. LunguZhaohui LuoPublished in: LACL (2014)
Keyphrases
- formal models
- causal reasoning
- formal model
- knowledge processing
- knowledge base
- ontological engineering
- meta level
- reasoning systems
- reasoning and decision making
- automated reasoning
- legal reasoning
- artificial intelligence
- knowledge representation and reasoning
- domain theory
- formal specification
- logical reasoning
- computational models
- legal argument
- knowledge representation
- knowledge sharing and reuse