Ceteris paribus logic in counterfactual reasoning.
Patrick GirardMarcus Anthony TriplettPublished in: TARK (2015)
Keyphrases
- logical framework
- causal reasoning
- proof theory
- deductive reasoning
- automated reasoning
- order of magnitude reasoning
- reasoning tasks
- proof theoretic
- computational properties
- cp nets
- intuitionistic logic
- utility function
- inference rules
- logical inference
- reasoning engine
- human reasoning
- reasoning about actions
- reasoning systems
- probabilistic logic
- knowledge representation formalisms
- commonsense reasoning
- horn logic
- abductive reasoning
- graphical representation
- predicate logic
- derivation rules
- probabilistic knowledge
- description logics
- default reasoning
- modal logic
- knowledge representation and reasoning
- knowledge base
- conditional dependence
- probability distribution
- logical rules
- theorem prover
- theorem proving
- causal models
- proof procedure
- linear logic
- reasoning problems
- decision making
- qualitative reasoning
- reasoning process