This manual is intended to be a guide to the philosophy and use of the programming language CONNIVER, which is "complete," and running at the AI Lab now. It assumes good knowledge of LISP, but no knowledge of Micro-Planner, in…

At a time when it is clear that climate change adaptation and mitigation are failing, this book examines how our assumptions about (valid and usable) knowledge are preventing effective climate action. Through a cross-disciplinary, empirically-based analysis of climate science and…

El Espacio Europeo de Educación Superior revitaliza la competencia tutorial como uno de los ejes nucleares sobre los que debe sustentarse la actividad docente. Para satisfacer y cumplir los derechos y los deberes de alumnos y profesores, en materia de…

En lo referente al entretenimiento, la ciudad de Quito no cuenta con bares especializados; ya que en todos se puede encontrar una gran variedad de cócteles y licores fuertes; sin embargo existe una variedad de 3 – 4 marcas de…

Descripción completa.

The theory of motion in Ibn Bajjah's philosophy is studied in this dissertation from three aspects: physical, psychical and metaphysical. Aside from the introduction the dissertation is divided into three major chapters corresponding to these three aspects. Ibn Bajjah's theory…

The cellular control of calcium and phosphate is still confusing and controversial. The reviewer has tried to put useful hypotheses and existing knowledge into a more or less unified theory like all theories based on rational hypothesis this review may…

We have developed a method and prototype program for assisting two experts in their attempts to construct a single, consensus knowledge base. We show that consensus building can be effectively facilitated by a debugging approach that identifies, explains, and resolves…

This paper examines the issues and the solutions that have been studied in database (DB) integration research and tries to draw lessons from them for knowledge base (KB) integration.

This paper deals with the "Calculus of Knowledge", an extension of the propositional calculus in which one may reason about what other people know. Semantic and Syntactic systems are developed, certain theorems are proven, and a formal solution in the…