Hypergraphs, Local Reasoning, and Weakly Aggregative Modal Logic.
Yifeng DingJixin LiuYanjing WangPublished in: LORI (2021)
Keyphrases
- modal logic
- temporal logic
- decision procedures
- inference rules
- knowledge base
- classical logic
- epistemic logic
- situation calculus
- nonmonotonic logics
- conditional logic
- default logic
- description logic alc
- reasoning systems
- reasoning tasks
- logical framework
- default reasoning
- prime implicates
- automated reasoning
- probabilistic reasoning
- graph theory
- knowledge representation
- dynamic logic
- reasoning about actions
- autoepistemic logic
- abductive reasoning
- artificial intelligence