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

Simple item page
dc.contributor.authorBayram, Zeki
dc.contributor.authorSharifi, Omid
dc.date.accessioned2026-02-06T18:48:53Z
dc.date.issued2016
dc.departmentDoğu Akdeniz Üniversitesi
dc.description.abstractThe 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.
dc.identifier.doi10.1093/logcom/exu051
dc.identifier.endpage1049
dc.identifier.issn0955-792X
dc.identifier.issn1465-363X
dc.identifier.issue3
dc.identifier.orcid0000-0003-4887-5618
dc.identifier.scopus2-s2.0-84973340711
dc.identifier.scopusqualityQ2
dc.identifier.startpage1043
dc.identifier.urihttps://doi.org/10.1093/logcom/exu051
dc.identifier.urihttps://hdl.handle.net/11129/14645
dc.identifier.volume26
dc.identifier.wosWOS:000380252600009
dc.identifier.wosqualityQ2
dc.indekslendigikaynakWeb of Science
dc.indekslendigikaynakScopus
dc.language.isoen
dc.publisherOxford Univ Press
dc.relation.ispartofJournal of Logic and Computation
dc.relation.publicationcategoryMakale - Uluslararası Hakemli Dergi - Kurum Öğretim Elemanı
dc.rightsinfo:eu-repo/semantics/closedAccess
dc.snmzKA_WoS_20260204
dc.subjectUnification
dc.subjectmolecule
dc.subjectF-logic
dc.subjectproof theory
dc.subjectlogic programming
dc.titleUnifying F-logic molecules: a rectification to the original unification algorithm
dc.typeArticle

Files

Collections

WoS Indexed Publications Collection
Scopus İndeksli Yayınlar Koleksiyonu