Compositional Reasoning Using the Assumption-Commitment Paradigm.
Qiwen XuSwarup MohalikPublished in: COMPOS (1997)
Keyphrases
- knowledge base
- automated reasoning
- reasoning systems
- reasoning tasks
- resource bounded
- reasoning process
- knowledge representation
- data mining
- information systems
- decision trees
- qualitative reasoning
- conflicting information
- real time
- fuzzy reasoning
- description logics
- relational databases
- bayesian networks
- genetic algorithm
- information retrieval
- real world