Decision Procedure for Entailment of Symbolic Heaps with Arrays.

Daisuke Kimura Makoto Tatsuta

Published in: CoRR (2017)

Keyphrases

decision making
decision makers
np complete
databases
logic programming
data sets
neural network
information systems
high level
query language
cellular automata
decision process
textual entailment