Research on the Composite Arithmetic of Logic Compound Sentences in Decompilation.
Longjie ZhangXiaofang XieShengzhi YuanJiang TangPublished in: ISCSCT (1) (2008)
Keyphrases
- micron cmos
- logic programming
- modal logic
- training data
- classical logic
- multi document summarization
- multi valued
- logical formulas
- defeasible logic
- machine learning
- automated reasoning
- proof theory
- human generated
- text summarization
- predicate logic
- epistemic logic
- digital circuits
- sentence retrieval
- document summarization
- asynchronous circuits
- deontic logic
- text corpus
- temporal logic
- sentence level
- logical framework
- floating point