Some Connections between Representability of Complexity Classes and the Power of Formal Systems of Reasoning.
Wojciech KowalczykPublished in: MFCS (1984)
Keyphrases
- reasoning systems
- reason maintenance
- worst case
- expert systems
- formal models
- knowledge representation systems
- distributed systems
- formal methods
- data sets
- meta level
- dynamic aspects
- reasoning processes
- reactive systems
- reasoning process
- learning systems
- rule based systems
- formal model
- retrieval systems
- complex systems
- computer systems
- software development
- software engineering
- knowledge representation
- lower bound
- computational complexity
- knowledge base
- learning algorithm
- information retrieval
- neural network