Keyphrases
- provably correct
- theorem prover
- background knowledge
- machine learning
- abductive logic programming
- abductive reasoning
- formal verification
- specification language
- formal specification
- theorem proving
- belief revision
- user defined
- formal methods
- deductive databases
- database
- logic programming
- domain knowledge
- hidden markov models
- website
- artificial intelligence
- data mining
- neural network
- databases
- data sets