Abstract: Logical formulas are often used as a representation form to describe knowledge in many intelligent system applications. However, it is not an easy task to translate declarative sentences ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback