Removing Unnecessary Variables from Horn Clause Verification Conditions.
Emanuele De AngelisFabio FioravantiAlberto PettorossiMaurizio ProiettiPublished in: HCVS@ETAPS (2016)
Keyphrases
- horn clauses
- sufficient conditions
- inference rules
- logic programs
- first order logic
- random variables
- domain knowledge
- model checking
- inductive logic programming
- concept formation
- signature verification
- temporal logic
- background knowledge
- general purpose
- variable selection
- environmental conditions
- knn
- training data
- databases