Login / Signup
D-VAL: An automatic functional equivalence validation tool for planning domain models.
Anas Shrinah
Derek Long
Kerstin Eder
Published in:
CoRR (2021)
Keyphrases
</>
domain models
domain knowledge
description language
knowledge structures
semi automatic
planning problems
heuristic search
search engine
knowledge base
decision trees
natural language
learning process
domain specific
information retrieval systems
learning systems