Keyphrases
- inference rules
- abductive reasoning
- background knowledge
- causal networks
- logic programming
- abductive logic programming
- theorem proving
- databases
- computer algebra
- probabilistic model
- prior knowledge
- evolutionary algorithm
- theorem prover
- natural language
- nonmonotonic reasoning
- information systems
- automated deduction
- data sets