Reasoning with power defaults.
Guo-Qiang ZhangWilliam C. RoundsPublished in: Theor. Comput. Sci. (2004)
Keyphrases
- default reasoning
- default rules
- knowledge representation
- default logic
- power consumption
- truth maintenance systems
- knowledge base
- expressive power
- power distribution
- reasoning process
- automated reasoning
- default theories
- analogical reasoning
- reasoning tasks
- resource bounded
- reasoning systems
- computational properties
- fuzzy reasoning
- real time
- production rules
- search engine