- -

ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance

Show simple item record

Files in this item

dc.contributor.author Alpuente Frasnedo, María es_ES
dc.contributor.author Escobar Román, Santiago es_ES
dc.contributor.author Espert Real, Javier es_ES
dc.contributor.author Meseguer, José es_ES
dc.date.accessioned 2016-06-22T12:02:45Z
dc.date.available 2016-06-22T12:02:45Z
dc.date.issued 2014
dc.identifier.isbn 978-3-319-11557-3
dc.identifier.issn 0302-9743
dc.identifier.uri http://hdl.handle.net/10251/66309
dc.description The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-11558-0_40 es_ES
dc.description.abstract 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 (also called “anti-unifiers”) of two structures in a typed language modulo a set of equational axioms. By supporting types and any (modular) combination of associativity (A), commutativity (C), and unity (U) algebraic axioms for function symbols, ACUOS allows reasoning about typed data structures, e.g. lists, trees, and (multi-)sets, and typical hierarchical/structural relations such as is a and part of. This paper discusses the modular ACU generalization tool ACUOS and illustrates its use in a classical artificial intelligence problem. es_ES
dc.format.extent 9 es_ES
dc.language Inglés es_ES
dc.publisher Springer es_ES
dc.relation EU (FEDER) es_ES
dc.relation MINECO/ TIN 2010-21062-C02-02 and TIN 2013-45732-C4-1-P es_ES
dc.relation Generalitat Valenciana/ PROMETEO2011/052 es_ES
dc.relation NSF/ CNS 13-10109 es_ES
dc.relation Spanish FPU/ FPU12/06223 es_ES
dc.relation.ispartof Logics in Artificial Intelligence es_ES
dc.relation.ispartofseries Lecture Notes in Computer Science;8761
dc.rights Reserva de todos los derechos es_ES
dc.subject Equational es_ES
dc.subject Generalization algorithm es_ES
dc.subject.classification LENGUAJES Y SISTEMAS INFORMATICOS es_ES
dc.title ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance es_ES
dc.type Capítulo de libro es_ES
dc.type Comunicación en congreso es_ES
dc.identifier.doi 10.1007/978-3-319-11558-0_40
dc.rights.accessRights Abierto es_ES
dc.contributor.affiliation Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació es_ES
dc.description.bibliographicCitation Alpuente Frasnedo, M.; Escobar Román, S.; Espert Real, J.; Meseguer, J. (2014). ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance. En Logics in Artificial Intelligence. Springer. 573-581. doi:10.1007/978-3-319-11558-0_40 es_ES
dc.description.accrualMethod Senia es_ES
dc.relation.conferencename 14th European Conference on Logics in Artificial Intelligence (JELIA 2014) es_ES
dc.relation.conferencedate September 24-26, 2014 es_ES
dc.relation.conferenceplace Madeira, Portugal es_ES
dc.relation.publisherversion http://link.springer.com/chapter/10.1007/978-3-319-11558-0_40 es_ES
dc.description.upvformatpinicio 573 es_ES
dc.description.upvformatpfin 581 es_ES
dc.type.version info:eu repo/semantics/publishedVersion es_ES
dc.relation.senia 278740 es_ES


This item appears in the following Collection(s)

Show simple item record