Login / Signup
A Semantic Notion of Interference for Planning Modulo Theories.
Miquel Bofill
Joan Espasa
Mateu Villaret
Published in:
ICAPS (2016)
Keyphrases
</>
modulo theories
semantic web
domain independent
high level
natural language
knowledge representation
np complete
heuristic search