bciucla Acceso: Alejandría BE 7.0.7b0

Sólo un registro cumplió la condición especificada en la base de información bciucla.

Autor:	Oros, Miguel Angel ; Gloess, Paul
Título:	Concept, A proof System for Classifyiing Datalog Predicate
Código:	R CON O76
Editorial:	Mexico McGraw-Hill , MEXICO
Páginas/Colación:	12 p.; 28 cm.
Tipo de impresión:	Impreso

Idioma:	Español
Descriptor Temático:	CONFERENCIA INTELIGENCIA ARTIFICIAL Y SISTEMAS EXPERTOS 431-454, PROGRAMACION ORIENTADA A OBJETOS (COMPUTACION), PROLOG (LENGUAJE DE PROGRAMACION), SISTEMAS DE DATOS

Ejemplares

Idioma:

Español
Descriptor Temático:

CONFERENCIA INTELIGENCIA ARTIFICIAL Y SISTEMAS EXPERTOS 431-454,

PROGRAMACION ORIENTADA A OBJETOS (COMPUTACION),

PROLOG (LENGUAJE DE PROGRAMACION),

SISTEMAS DE DATOS

Nota

TABLA DE CONTENIDO

Introduction and Motivation

Inheritance as Logical Implicatio

Natural Deduction of Inheritance

Inheritance as Least Fixed Point Inclusion

Decidability of Inheritance(s)

Concllusion

Descrip.

RESUMEN

We porpose an exact method based of natural deduction for inferring a partial order among predicates used or defined in a Datalog program. Our approach order is compares to other approaches based on abstract interpretation. Thef method has been implemented in Prolog.Decidability issues are briefly discussed.

UCLA - Biblioteca de Ciencias y Tecnologia Felix Morales Bueno

Generados por el servidor 'bibcyt.ucla.edu.ve' (3.141.100.120)
Adaptive Server Anywhere (07.00.0000)
ODBC
Sesión="" Sesión anterior=""
ejecutando Back-end Alejandría BE 7.0.7b0 ** * *
3.141.100.120 (NTM) bajo el ambiente Apache/2.2.4 (Win32) PHP/5.2.2.
usando una conexión ODBC (RowCount) al manejador de bases de datos..
Versión de la base de información bciucla: 7.0.0 (con listas invertidas [2.0])

Cliente: 3.141.100.120
Salida con Javascript

** Back-end Alejandría BE 7.0.7b0 *