RiuNet UPV Home
:
Browsing by Subject

Search RiuNet

Browse

All of RiuNet

My Account

Login

RiuNet Help

Admin. UPV

Browsing by Subject "Equational generalization, Automated reasoning"

Now showing items 1-1 of 1

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

Alpuente, María; Escobar, Santiago; Espert, Javier; Meseguer, José (Universitat Politècnica de València, 2014-07-16)

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 ...

Now showing items 1-1 of 1