A Logic for Conditional Local Strategic Reasoning.
Valentin GorankoFengkui JuPublished in: CoRR (2021)
Keyphrases
- proof theory
- nonmonotonic inference
- automated reasoning
- computational properties
- deductive reasoning
- conditional logic
- order of magnitude reasoning
- intuitionistic logic
- probabilistic logic
- logical framework
- default reasoning
- multi agent decision making
- human reasoning
- proof theoretic
- logical inference
- horn logic
- reasoning engine
- reasoning systems
- knowledge representation formalisms
- case study
- abductive reasoning
- reasoning tasks
- knowledge representation
- logical rules
- decision making
- commonsense reasoning
- cp nets
- nonmonotonic reasoning
- probabilistic reasoning
- logic programming
- knowledge base
- artificial intelligence
- random field model
- reasoning process
- qualitative reasoning
- knowledge management
- reasoning problems
- scientific discovery
- linear logic
- reasoning about actions
- inference rules
- modal logic