Research in advanced formal theorem-proving techniques

The results are summarised of a project aimed at the design and implementation of computer languages to aid in expressing problem solving procedures in several areas of artificial intelligence including automatic programming, theorem proving, and robot planning. The principal results of the project were the design and implementation of two complete systems, QA4 and QLISP, and their preliminary experimental use. The various applications of both QA4 and QLISP are given

CRA special lending programs

The Community Reinvestment Act (CRA) of 1977 encourages federally insured banking institutions to help meet the credit needs of their communities, including those of lower-income areas, in a manner consistent with their safe and sound operation. In responding to the CRA, many banking institutions have sought to expand lending to lower-income populations through special lending programs that seek out and assist such borrowers in a variety of ways. These programs, many of which include third parties such as government agencies and nonprofit groups, are often an important element of an institution's CRA-related lending. Many institutions have conducted such programs, some for many years. Although the characteristics of these programs and their implementation vary greatly across banking institutions, little systematic information about them has been available. To further the understanding of CRA special lending programs, this article uses data from a recent Federal Reserve Board survey to provide new information on the nature of these programs, their characteristics, and how these characteristics relate to the performance (delinquency and default rates) and profitability of the loans extended through them.Community Reinvestment Act of 1977 ; Mortgages

The Silver Anniversary of the United States’ Exclusive Economic Zone: Twenty-Five Years of Ocean Use and Abuse, and the Possibility of a Blue Water Public Trust Doctrine

Sustainably managing marine ecosystems has proved nearly impossible, with few success stories. Ecosystem management failures largely stem from the traditional sector-by-sector, issue-by-issue approach to managing ocean-borne activities—an approach that is fundamentally unable to keep pace with the dynamics of coupled human, ecologi cal and oceanographic systems. In the United States today there are over twenty federal agencies and thirty-five coastal states and territories operating under dozens of statutory authorities shaping coastal and ocean policy. Among marine ecologists and policy experts there is an emerging consensus that a major overhaul in U.S. ocean governance is necessary. This Article suggests that the public trust doctrine—an ancient legal concept that is already incorporated in U.S. state coastal laws—can uniquely provide a unifying concept for U.S. federal ocean governance. Though the public trust concept can be located in the legal systems of many countries, it robustly manifests in the United States, where it has historically protected the public’s rights to fishing, navigation, and commerce in and over navigable waterways and tidal waters. In its most basic form, the doctrine obliges governments to manage common natural resources, the body of the trust, in the best interest of their citizens, the beneficiaries of the trust. Today the public trust doctrin e is integral to the protection of coastal ecosystems and beach access in many states and has even made its way into state constitutions. It would be simple, and seemingly logical, to assume that the same fiduciary responsibility of states to protect public trust uses of their waters extends to all marine resources within the United States’ 200-mile Exclusive Economic Zone (EEZ). However an artificial line has been drawn around state waters, and the legal authority and responsibility of the U.S. government to protect public trust resources in the vast space of its EEZ (the largest of any country on earth) have never been fully and expressly established. Securing the place of the public trust doctrine in U.S. federal oceans management would be valuable, given the immense pressure to exploit EEZ resources, the failure of the current regulatory approach, improved scientific understanding of the interconnected nature of ocean ecosystems, and the growing demand for sustainable management of ocean resources. This Article will outline the development of states’ public trust doctrines; discuss the expansion of U.S. sovereignty over its neighboring ocean waters during the twentieth century; analyze possible avenues for expanding the doctrine to federal waters; and consider how a federal public trust doctrine could clarify some specific emerging issues in U.S. oceans management. At the heart of our analysis lie three questions: (1) does a federal public trust doctrine exist; (2) if so, can we rightfully extend it to include the entirety of the U.S. ocean waters; and (3) could the doctrine provide the missing catalyst for federal agencies to manage the use of U.S. ocean resources in a coordinated, sustainable fashion

New information on lending to small businesses and small farms: the 1996 CRA data

As a consequence of recent revisions to the regulations that implement the Community Reinvestment Act (CRA), new information is now publicly available on the geographic distribution of small loans to businesses and farms and on community development lending. Because small businesses and small farms are more likely than larger ones to borrow small amounts, the CRA data on small loans are likely to provide a reasonable measure of the extension of credit to such businesses. Thus, the CRA data provide new opportunities to gauge the flow of credit to communities with differing economic and demographic characteristics. This article presents an initial assessment of the new CRA data on originations and purchases of small business and small farm loans during 1996. The focus of the analysis is on the broad patterns that emerge when the data are reviewed from a national perspective rather than on the lending activities of any individual institution.Small business ; Bank loans ; Agricultural credit