|
www.inf.kcl.ac.uk/staff/maribel/papers/TERMGRAPH06.pdf
|
most general solution to a nominal matching or unification problem, if one exists. Later the algorithm was extended by Fernández and Gabbay to deal with name ...
|
|
www.dcs.kcl.ac.uk/staff/maribel/CANS/papers/inu.pdf
|
The unification algorithm is specified in [10] as a set of transformation rules (or rewrite rules) on unification problems. Later, this algorithm was extended to deal ...
|
|
www.win.tue.nl/~hzantema/semssm.pdf
|
Alan Mycroft has extended Milner's algorithm in 1984 with recursive types ... the generated equations from Wand's algorithm, any unification algorithm can be ...
|
|
linkinghub.elsevier.com/retrieve/pii/0743106687900021
|
Mar 21, 2002 ... Extended unification algorithms are considered for the integration of a functional language into a logic programming language. The extended ...
|
|
www.dipmat.unisa.it/people/gerla/www/Down/unification.p...
www.dipmat.unisa.it/people/gerla/www/Down/unification.pdf
|
unification algorithm is based on fuzzy similarity relations and the cloud are arised whenever a ”constants mismatch” occurs. The extended unification algo- ...
|
|
|
|
onlinelibrary.wiley.com/doi/10.1002/int.10067/pdf
|
2 and then extended in. Ref. 10, we introduce a fuzzy resolution rule, based on an extended most general unifier supplied by the extended unification algorithm.
|
|
www.ki.informatik.uni-frankfurt.de/papers/rau/unif-2011...
www.ki.informatik.uni-frankfurt.de/papers/rau/unif-2011.pdf
|
Institut für Informatik, Goethe-Universität, D-60054 Frankfurt, Germany. {rau, schauss}@ki.informatik.uni-frankfurt.de. Abstract. We extend the unification algorithm ...
|
|
mitpress.mit.edu/sicp/full-text/sicp/book/node100.html
|
Apr 17, 2000 ... The unification algorithm is implemented as a procedure that takes as inputs two patterns and a frame and returns either the extended frame or ...
|
|
citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.109.6...
citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.109.6297&rep=rep1&type=pdf
|
2.4 Unification algorithms for logical extended feature structures In view of the definition immediately above, it is easy to see that that any unification algorithm for ...
|
