Keyphrases
- defeasible logic
- constraint propagation
- reasoning systems
- reasoning process
- knowledge base
- knowledge representation
- temporal resolution
- decision procedures
- theorem proving
- knowledge representation and reasoning
- qualitative reasoning
- default reasoning
- automated reasoning
- machine learning
- probabilistic logic
- abductive reasoning
- prime implicates
- uncertain information
- probabilistic reasoning
- production rules
- inductive logic programming
- dynamic programming
- information systems
- genetic algorithm