W06-1806 grammars and declarative instead of procedural knowledge representation , but still falls short of the
P83-1010 expressions in a declarative or procedural knowledge representation system . Moreover , truth-conditional
hide detail