We present a deterministic Chinese parsing methodology using formal semantics to combine syntactic and semantic analysis. The semantic rules are described in detail, It is shown that the parsing algorithm can be realized by a linear-bounded automaton. We also present an implementation of this parsing algorithm for an experimental Chinese CAI system to teach students how to use the Chinese abacus.

Key words: syntactic parsing, semantic parsing, surface semantics, semantic network, deep semantics.

1. Deterministic Chinese Parsing Using Formal Semantics
   
2. A Heuristic Algorithm for PLA Block Folding
   
3. To Develop A Relational Data-Knowledge Base System For Solving Decision Problems With Large Data
   
4. A New Pyramid Architecture for Bottom-Up Image Analysis
   
5. 3-D Object Recognition by Line Features Using Binocular Images