The Expert program is a part of larger project (Intelligent Tutoring System) and plays a role of an assistant and disputant with the system user. The authors of the article analyse algorithm of this module and discuss various Java technologies for preparation of application.

Tensions between amenity- and timber-based economies in the U.S. and Canadian Pacific Northwest motivated a study of scenic beauty inside mature forests and timber harvests. A diverse sample of regional forests, measures of forest structure, and large, representative samples of photographs and public judges were employed to measure scenic beauty inside un-harvested mature and old-growth forests...

In recent years there has been an increase in the number of papers, many of which have been published in high profile journals, that address real environmental or ecological problems, but with flawed, subjective, and frequently hyperbolic arguments. I identify two such examples from the US Gulf of Mexico, linked by their focus on fisheries resources as the cause de jour, to illustrate the probl...

We describe a compositional approach to Craig interpolation based on the heuristic that simpler proofs of special cases are more likely to generalize. The method produces simple interpolants because it is able to summarize a large set of cases using one relatively simple fact. In particular, we present a method for finding such simple facts in the theory of linear rational arithmetic. This make...