scientific article; zbMATH DE number 1881074

zbMath1007.68146MaRDI QIDQ4797044

Hassan Aït-Kaci, Yutaka Sasaki

Publication date: 12 March 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2167/21670001.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05)

Related Items (8)

Similarity measures over refinement graphs ⋮ A modular order-sorted equational generalization algorithm ⋮ Fuzzy lattice operations on first-order terms over signatures with similar constructors: a constraint-based approach ⋮ A Modular Equational Generalization Algorithm ⋮ Order-Sorted Generalization ⋮ Speeding up operations on feature terms using constraint programming and variable symmetry ⋮ Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description) ⋮ Anti-unification for unranked terms and hedges

This page was built for publication: