Login / Signup
Some Problems with Context in Formal Reasoning.
Judith Segal
Published in:
PPIG (1997)
Keyphrases
</>
optimization problems
solving problems
knowledge base
domain knowledge
meta level
automated reasoning
reasoning tasks
formal models