MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Sufficient Completness, Term Rewriting Systems and "Anti-Unification"." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

106 documents found, showing 1 through 10. Next 10 →

ATOM

Program Reuse and Abstraction by Anti-Unification
by Ute Schmid, Uwe Sinha, Fritz Wysotzki — In: Professionelles Wissensmanagement – Erfahrungen und Visionen, Shaker (2001) 183–185 Long Version: http://ki.cs.tu-berlin.de/ ∼ schmid
… = Vp [ Vau and F = Fp [ \Phi au . 2.2 Anti--Unification of Program Terms To anti--unify two program…
Cited by 1 (1 self) – Add To MetaCart

Unification and Anti-Unification in the Calculus of Constructions
by Frank Pfenning — 1991 — In Sixth Annual IEEE Symposium on Logic in Computer Science
…Unification and Anti-Unification in the Calculus of Constructions Frank Pfenning School…
Cited by 52 (15 self) – Add To MetaCart

Duplicate code detection using anti-unification
by Peter Bulychev, Marius Minea
… of anti-unifier, which denotes the most specific generalization of two terms. Anti-unification was first…
Add To MetaCart

Solving Proportional Analogies by Application of Anti-Unification modulo Equational Theory
by Stephan Weller — Available on http://www-lehre.inf.uos.de/ ∼ stweller/ ba/ (2005) Bachelor’s Thesis
… Anti-Unification of two terms . . . . 10 4 Definition of regular tree grammars as used by Burghardt…
Cited by 1 (1 self) – Add To MetaCart

Restricted Higher–Order Anti–Unification for Analogy Making
by Ulf Krumnack, Angela Schwering, Helmar Gust, Kai-uwe Kühnberger — 2007 — in Proceedings of Twenties Australian Joint Conference on Artificial Intelligence, LNAI 4830
… that is an anti-instance of every term of T . While unification aims to find the most general unifier (mgu), anti-unification…
Cited by 2 (2 self) – Add To MetaCart

Anti-Unification Based Learning of T-Wrappers for Information Extraction
by Bernd Thomas — 1999
… unify calculates the anti-unication (generalization) of two terms according to the usual definition…
Cited by 10 (6 self) – Add To MetaCart

Generalization of Clauses Containing Cross Connections
by Chotiros Surapholchai Boonserm, Boonserm Kijsirikul, Mark E. Hall — 2002
… an indirect root. Idestam-Almquist presented a technique, called recursive anti-unification, to compute…
Add To MetaCart

A Theory About First-Order Terms in ACL2
by Ruiz-Reina Alonso Hidalgo, J. -l. Ruiz-reina, J. -a. Alonso, M. -j. Hidalgo, F. -j. Martn-mateos — 2002 — In Third ACL2 Workshop
… on firstorder terms, including matching, renaming, unification and anti-unification. This work can be seen as a…
Add To MetaCart

E-generalization using grammars
by Und Softwaretechnik, Herausgegeben Von, Prof Dr. -ing, Stefan Jähnichen, Alle Rechte Vorbehalten, Jochen Burghardt, Jochen Burghardt — 2005 — Artificial Intelligence Journal
…. Syntactical anti-unification reflects these abstraction techniques in the theoretically elegant domain of term…
Cited by 2 (0 self) – Add To MetaCart

Experiences Using Clustering and Generalizations for Knowledge Discovery in Melanomas Domain
by A. Fornells, E. Armengol, E. Golobardes, S. Puig, J. Malvehy
…. Second, SOMEX builds general descriptions of clusters applying the anti-unification concept…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB