Decomposition by tree dimension in Horn clause verification.

Bishoksan Kafle John P. Gallagher Pierre Ganty

Published in: VPT@ETAPS (2015)

Keyphrases

horn clauses
logic programs
tree structure
first order logic
inductive logic programming
inference rules
database queries
tree structures
artificial intelligence
data structure
database
binary tree
model checking
verification method
tree nodes
decomposition method
b tree
index structure
object oriented
low level