Login / Signup
Predicate Abstraction with Indexed Predicates
Shuvendu K. Lahiri
Randal E. Bryant
Published in:
CoRR (2004)
Keyphrases
</>
datalog programs
monotonicity constraints
horn clauses
high level
user defined
information retrieval
first order logic
logic rules
data abstraction
databases
social networks
reinforcement learning
deductive databases