Login / Signup
Decidability for Entailments of Symbolic Heaps with Arrays.
Daisuke Kimura
Makoto Tatsuta
Published in:
Log. Methods Comput. Sci. (2021)
Keyphrases
</>
description logics
query answering
high level
decision procedures
knowledge base
symbolic description
associative learning
neural learning
symbolic representation
knowledge representation
multiscale
bayesian networks
symbolic data
information retrieval
databases
connectionist learning
database