- -

ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance (extended version)

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Compartir/Enviar a

Citas

Estadísticas

ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance (extended version)

Mostrar el registro completo del ítem

María Alpuente; Santiago Escobar; Javier Espert; José Meseguer (2014). ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance (extended version). http://hdl.handle.net/10251/38854.

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/38854

Ficheros en el ítem

Metadatos del ítem

Título: ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance (extended version)
Autor:
Entidad UPV: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Fecha difusión:
Resumen:
Computing generalizers is relevant in a wide spectrum of automated reasoning areas where analogical reasoning and inductive inference are needed. The ACUOS system computes a complete and minimal set of semantic generalizers ...[+]
Palabras clave: Equational generalization, Automated reasoning
Derechos de uso: Reserva de todos los derechos
Tipo: Informe

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro completo del ítem