Reasoning on Dynamic Transformations of Symbolic Heaps.

Nicolas Peltier

Published in: TIME (2022)

Keyphrases

dynamic environments
knowledge base
symbolic reasoning
real time
artificial intelligence
decision making
domain knowledge
meta level
data mining
machine learning
information retrieval
high level
symbolic representation
automated reasoning
reasoning systems