Resources, concurrency, and local reasoning.
Peter W. O'HearnPublished in: Theor. Comput. Sci. (2007)
Keyphrases
- database systems
- reasoning process
- knowledge base
- limited resources
- resource allocation
- concurrency control
- gathering information
- resource constraints
- knowledge representation
- search engine
- learning resources
- database
- resource management
- model based diagnosis
- expert systems
- transaction processing
- meta level
- artificial intelligence
- knowledge representation and reasoning
- resource consumption
- real time