Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Discipline
Articles 1 - 2 of 2
Full-Text Articles in Physical Sciences and Mathematics
Sat-Based Answer Set Programming, Yuliya Lierler
Sat-Based Answer Set Programming, Yuliya Lierler
Computer Science Faculty Publications
Answer set programming (ASP) is a declarative programming paradigm oriented towards difficult combinatorial search problems. Syntactically, ASP programs look like Prolog programs, but solutions are represented in ASP by sets of atoms, and not by substitutions, as in Prolog. Answer set systems, such as SMODELS, SMODELSCC, and DLV, compute answer sets of a given program in the sense of the answer set (stable model) semantics. This is different from the functionality of Prolog systems, which determine when a given query is true relative to a given logic program. ASP has been applied to many areas of science and technology, from …
Some Aspects Of Soil Moisture In The Forest, Ian J. Craib
Some Aspects Of Soil Moisture In The Forest, Ian J. Craib
Yale School of the Environment Bulletin Series
By determining the moisture content of carefully selected soil samples taken at various depths down to three feet, the moisture content of soils in the forest and in the open have been compared. The soils investigated were similar in their mechanical properties. Part I is an investigation of the effect of forest cover on the amount of water in the soil over the growing season and its availability. Part II is an investigation of the effect of root competition on the available water supply of forest soils.