Combining Forward and Backward Abstract Interpretation of Horn Clauses.
Alexey BakhirkinDavid MonniauxPublished in: CoRR (2017)
Keyphrases
- forward and backward
- horn clauses
- abstract interpretation
- termination analysis
- first order logic
- logic programs
- inductive logic programming
- inference rules
- static analysis
- model checking
- dynamic programming
- active rules
- greedy search
- heuristic search
- high level
- open source
- artificial intelligence
- knowledge representation
- reasoning engine
- feature selection