Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at http://www.jstor.org/about/terms.html. JSTOR's Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive only for your perso...

and the destination points are in different maps. For instance, bus-stop T3 can be reached from C1 by highway line H2 (or H1) to C3 and then by bus trip R1: S 22 (C1H2) ∧ S 34 (C3H2) ∧ T 22 (C3R1) ∧ T 23 (T3R1). Additional types of connections can be defined to express situations involving routes from a station to another. In procedural terms the previous definitions reduce to a search for inte...

The described Fuzzy Controller was implemented in a test car and performed quite well in various driving situations. The behavior of the active accelerator pedal felt very " human like " and fulfilled the requirements described in section 3. The part of a test drive with the Fuzzy ACC presented in Figure 6 shows that the accuracy of the acceleration control was high enough to meet the intention...

The theory of cut-free sequent proofs has been used to motivate and justify the design of a number of logic programming languages. Two such languages, λProlog and its linear logic refinement, Lolli [12], provide for various forms of abstraction (modules, abstract data types, higher-order programming) but lack primitives for concurrency. The logic programming language, LO (Linear Objects) [2] pr...