Reasoning with principles.
Tomasz ZurekMichal AraszkiewiczDorota Stachura-ZurekPublished in: Expert Syst. Appl. (2022)
Keyphrases
- reasoning systems
- knowledge representation
- knowledge base
- rule based reasoning
- conflicting information
- reasoning problems
- knowledge processing
- automated reasoning
- qualitative reasoning
- theoretical framework
- belief revision
- computational properties
- formal models
- building blocks
- model based reasoning
- description logics
- resource bounded
- image sequences
- deductive reasoning
- databases