- -

Listar por palabra clave "Equational"

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

Listar por palabra clave "Equational"

Ordenar por:Orden:Resultados:

  • thumb
    ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance 
    Alpuente Frasnedo, María; Escobar Román, Santiago; Espert Real, Javier; Meseguer, José (Springer, 2014)
    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 ...