Unification Algorithms

Advanced Technologies, Systems, and Applications IV -Proceedings of the International Symposium on Innovative and Interdisciplinary Applications of Advanced Technologies (IAT 2019) - Lecture Notes in Networks and Systems ◽

10.1007/978-3-030-24986-1_48 ◽

2019 ◽

pp. 606-620

Author(s):

Mirna Udovicic

Keyword(s):

Unification Algorithms

Download Full-text

Average case analysis of unification algorithms

STACS 91 - Lecture Notes in Computer Science ◽

10.1007/bfb0020799 ◽

2005 ◽

pp. 196-213 ◽

Author(s):

Luc Albert ◽

Rafael Casas ◽

François Fages ◽

A. Torrecillas ◽

Paul Zimmermann

Keyword(s):

Case Analysis ◽

Average Case Analysis ◽

Average Case ◽

Unification Algorithms

Download Full-text

Lazy Unification Algorithms for Canonical Rewrite Systems

Rewriting Techniques ◽

10.1016/b978-0-12-046371-8.50014-6 ◽

1989 ◽

pp. 245-274 ◽

Author(s):

A. MARTELLI ◽

G.F. ROSSI ◽

C. MOISO

Keyword(s):

Rewrite Systems ◽

Unification Algorithms

Download Full-text

Combining unification algorithms for confined regular equational theories

Rewriting Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-15976-2_18 ◽

1985 ◽

pp. 365-380 ◽

Author(s):

Kathy Yelick

Keyword(s):

Equational Theories ◽

Unification Algorithms

Download Full-text

Prototyping combination of unification algorithms with the ELAN rule-based programming language

Rewriting Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-62950-5_81 ◽

1997 ◽

pp. 323-326 ◽

Author(s):

Christophe Ringeissen

Keyword(s):

Programming Language ◽

Unification Algorithms

Download Full-text

Extended unification algorithms for the integration of functional programming into logic programming

The Journal of Logic Programming ◽

10.1016/0743-1066(87)90002-1 ◽

1987 ◽

Vol 4 (3) ◽

pp. 199-227 ◽

Author(s):

Mehmet Dincbas ◽

Pascal Van Hentenryck

Keyword(s):

Logic Programming ◽

Functional Programming ◽

Unification Algorithms

Download Full-text

Comparing Unification Algorithms in First-Order Theorem Proving

KI 2009: Advances in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04617-9_55 ◽

2009 ◽

pp. 435-443 ◽

Author(s):

Kryštof Hoder ◽

Andrei Voronkov

Keyword(s):

Theorem Proving ◽

First Order ◽

Unification Algorithms

Download Full-text

Combining Pattern E-Unification Algorithms

Rewriting Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-45127-7_7 ◽

2001 ◽

pp. 63-76

Author(s):

Alexandre Boudet ◽

Evelyne Contejean

Keyword(s):

Unification Algorithms

Download Full-text

A Uniform Axiomatic View of Lists, Multisets, and Sets, and the Relevant Unification Algorithms

Fundamenta Informaticae ◽

10.3233/fi-1998-36235 ◽

1998 ◽

Vol 36 (2,3) ◽

pp. 201-234 ◽

Author(s):

Agostino Dovier ◽

Alberto Policriti ◽

Gianfranco Rossi

Keyword(s):

Unification Algorithms

Download Full-text

Unification Algorithms Cannot Be Combined in Polynomial Time

Information and Computation ◽

10.1006/inco.1999.2855 ◽

2000 ◽

Vol 162 (1-2) ◽

pp. 24-42

Author(s):

Miki Hermann ◽

Phokion G. Kolaitis

Keyword(s):

Polynomial Time ◽

Unification Algorithms

Download Full-text

ACTIVE SYSTEM MANAGEMENT UNDER UNCERTAINTY

International Journal of Computing ◽

10.47839/ijc.7.3.529 ◽

2014 ◽

pp. 95-98

Author(s):

G. Shakah ◽

V. V. Krasnoproshin ◽

A. N. Valvachev

Keyword(s):

Fuzzy Set ◽

Fuzzy Set Theory ◽

System Management ◽

Active System ◽

Active Systems ◽

Distributed Organizations ◽

Geographically Distributed ◽

Unification Algorithms

The paper describes the use of fuzzy set theory and theory of active systems for constructing systems that manage geographically distributed organizations under uncertainty. Unification algorithms for fuzzy data and their use for choosing management of distant objects are presented.

Download Full-text