Academic style - Software

Custom Search

Typical phrases found in research articles on software

Examples of good writing style

We show that our semantics is well-behaved when the logic program is properly stratified. We also show that according to this semantics, the usual implementation of the negation-as-failure operator using cut is provably correct.

In recent years, a new approach to representing such systems, grounded in mathematical logic, has been developed within the AI knowledge-representation community.

Go to main academic English page