Descripción completa.

When using tableaux algorithms to reason about Description Logics (DLs), new information is inferred from the models considered while trying to achieve knowledge satisfiability. By focusing the ontology change problem, we consider an environment where DLs are the logical formalization…

Descripción completa.

DLP is a basic java-based IDE specifically conceived for DeLP, that allows to compile DeLP programs and queries into JAM opcodes, execute those opcodes, and even witness the actual step by step construction of the dialectical tree that is built…

Over the past several decades, abundant research has investigated the onset of gender role development in early childhood, suggesting that children as young as 3 possess substantial awareness of gender stereotypes and, by age 5, strong beliefs about the need…

The purpose of this research was to generate the knowledge required to design compliant mechanisms that (1) attenuate undesired small-motion angular vibrations in rotational power transmission systems and (2) preserve the desired transmission of large-motion torque/angle inputs. This thesis investigates…

Se evaluó el nivel de conocimiento de la nueva Ley de bosque nativo y fomento forestal que poseen los pequeños propietarios forestales en dos territorios de la Cordillera de Nahuelbuta, en Chile. Para ello, se aplicó una encuesta a 53…

by Michael Luke Murtaugh., Thesis (M.S.)--Massachusetts Institute of Technology, Program in Media Arts & Sciences, 1996., Includes bibliographical references (p. 75-76).

by Christopher Granger Atkeson., Thesis (Ph. D.)--Massachusetts Institute of Technology, Whitaker College of Health Sciences, Technology, and Management, Dept. of Brain and Cognitive Sciences, 1986., MICROFICHE COPY AVAILABLE IN ARCHIVES AND SCIENCE, Bibliography: leaves 143-154.

(cont.) to the verifier., We consider an implementation of a weakened notion of zero-knowledge (weak ZK) where the simulator is also allowed to depend on the distinguisher as well, so this type of ZK entails exhibiting an efficient simulator for…