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

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance	scientific article

Statements

scholarly article

0 references

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

0 references

Santiago Escobar

0 references

0 references

0 references

María Alpuente

0 references

Logics in Artificial Intelligence

0 references

publication date

14 January 2015

0 references

full work available at URL

http://hdl.handle.net/10251/66309

0 references

describes a project that uses

0 references

MaRDI profile type

MaRDI publication profile

0 references

A modular order-sorted equational generalization algorithm

0 references

A Modular Equational Generalization Algorithm

0 references

Order-Sorted Generalization

0 references

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

0 references

All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.

0 references

Anti-unification for unranked terms and hedges

0 references

Conditional rewriting logic as a unified model of concurrency

0 references

Inductive Logic Programming: Issues, results and the challenge of Learning Language in Logic

0 references

Similarity measures over refinement graphs

0 references

0 references

Identifiers

zbMATH Open document ID

0 references

10.1007/978-3-319-11558-0_40

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

0 references

0 references

DBLP publication ID

conf/jelia/AlpuenteEEM14

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:2938523

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2938523&oldid=37896604"