A Bayesian framework helps address, in computational terms, what knowledge children start
with and how they construct and adapt models of the world during childhood. Within this …

The application of artificial intelligence in everyday life is becoming all-pervasive and
unavoidable. Within that vast field, a special place belongs to biomimetic/bio-inspired …

In these lecture notes we describe an algebraic approach to programming, suitable both for
the derivation of individual programs and for the study of programming techniques in …

The Kestrel Interactive Development System (KIDS), which provides automated support for
the development of correct and efficient programs from formal specifications, is described …

" Specification and transformation of programs" is short for a methodology of software
development where, from a formal specification of a problem to be solved, programs …

An informal tutorial is presented for program synthesis, with an emphasis on deductive
methods. According to this approach, to construct a program meeting a given specification …

The class of design synthesis problems encompasses a wide spectrum of common
encountered problems, including robot planning problems, synthesis of electronic circuits …

Domain knowledge is crucial to an automatic programming system and the interaction
between domain knowledge and programming at the current time. The NIX project at …

We present a summary of the CHI project conducted at Kestrel Institute through mid-1984.
The objective of this project was to perform research on knowledge-based software …

We introduce a framework allowing domain experts to manipulate computational terms in
the interest of deriving better, more efficient implementations. It employs deductive …