Syntactical Characterization of a Subset of Domain-Independent Formulas.

Robert Demolombe

Published in: J. ACM (1992)

Keyphrases

domain independent
domain specific
domain specific knowledge
planning problems
domain dependent
control knowledge
natural language interface to databases
hand crafted
general purpose
knowledge based systems
propositional logic
classical planning
optimal planning
ontology population