A Dash of Fairness for Compositional Reasoning.
Ariel CohenKedar S. NamjoshiYaniv Sa'arPublished in: CAV (2010)
Keyphrases
- knowledge base
- resource allocation
- theorem proving
- automated reasoning
- reasoning process
- model based reasoning
- causal reasoning
- fuzzy reasoning
- logical reasoning
- neural network
- reasoning engine
- reasoning mechanisms
- resource bounded
- consistency checking
- knowledge representation and reasoning
- reasoning systems
- meta level
- production rules
- game theory
- knowledge representation
- bayesian networks
- website
- search engine