bciucla Ejemplar: Alejandría BE 7.0.7b0

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

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.

Información de ejemplares:

Número	Código	Sala	Estado	Nro.Inventario
0001	D070300009003	REFERENCIA Y HEMEROTECA	Normal	436

Información de ejemplares prestados:
No hay ejemplares prestados

UCLA - Biblioteca de Ciencias y Tecnologia Felix Morales Bueno

Generados por el servidor 'bibcyt.ucla.edu.ve' (3.17.184.90)
Adaptive Server Anywhere (07.00.0000)
ODBC
Sesión="" Sesión anterior=""
ejecutando Back-end Alejandría BE 7.0.7b0 ** * *
3.17.184.90 (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.17.184.90
Salida con Javascript

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