Unifying F-logic molecules: a rectification to the original unification algorithm (original) (raw)

Journal of Logic and Computation, 2014

Zeki Bayram

Omid Sharifi

Abstract

ABSTRACT The original unification algorithm for F-Logic molecules presented by Kifer et al. 1995, contains a mistake. We identify the mistake and demonstrate it through two examples, suggest a solution to the problem in the original algorithm and prove that the resulting algorithm correctly unifies F-Logic molecules.

Zeki Bayram hasn't uploaded this paper.

Let Zeki know you want this paper to be uploaded.

Ask for this paper to be uploaded.