Verification of Planning Domain Models - Revisited.

Anas Shrinah Kerstin Eder

Published in: CoRR (2018)

Keyphrases

domain models
domain knowledge
description language
knowledge structures
planning problems
model checking
process model
planning domains
natural language text
domain independent
knowledge based systems
knowledge base
orders of magnitude
databases
semantic web technologies
data model
machine learning