Se examina en un caso concreto la afirmación general de la importancia de las redes de comunicación y la movilidad de las cosas para la ciencia. De qué forma esto jugó un papel relevante en las investigaciones sobre la embriología…

If we are to understand how we can build machines capable of broad purpose learning and reasoning, we must first aim to build systems that can represent, acquire, and reason about the kinds of commonsense knowledge that we humans have…

This thesis describes two programs for generating tests for digital circuits that exploit several kinds of expert knowledge not used by previous approaches. First, many test generation problems can be solved efficiently using operation relations, a novel representation of circuit…

Racial and ethnic categories have appeared in recent scientific work in novel ways and in relation to a variety of disciplines: medicine, forensics, population genetics and also developments in popular genealogy. Once again, biology is foregrounded in the discussion of…

TYPICAL is a package for describing and making automatic inferences about a broad class of SCHEME predicate functions. These functions, called types following popular usage, delineate classes of primitive SCHEME objects, composite data structures, and abstract descriptions. TYPICAL types are…

I present a novel design methodology for the synthesis of automatic controllers, together with a computational environment---the Control Engineer's Workbench---integrating a suite of programs that automatically analyze and design controllers for high-performance, global control of nonlinear systems. This work demonstrates…

The actor message-passing model of concurrent computation has inspired new ideas in the areas of knowledge-based systems, programming languages and their semantics, and computer systems architecture. The model itself grew out of computer languages such as Planner, Smalltalk, and Simula,…

Banking channel management has become a crucial component in the drive for improved efficiency. Since the channel is the interlocutor between customers and products, banks are leveraging their knowledge of channels to efficiently address perfect product portfolio through the most…

This work extends the semantics and implementation of fuzzy prolog presented in [VGM02] in order to include Default Knowledge capability. The new semantic allows non-uniform default assumptions and has Closed World Assumption (CWA) and Open World Assumption (OWA) as particular…

This dissertation considers three implications of collective self-government for just foreign policies in an imperfect world. Individuals are the appropriate moral unit of analysis, constrained to govern themselves justly, together with compatriots. First I derive limits to state autonomy that…