New terms metric based on substitutions

Abstract

Many works are available in the literature to define dissimilarity metrics between expressions represented in the form of first-order logic, which is a powerful representation language. Generally speaking, first-order terms are basic logic expressions such that the first step in defining a valid metric between first-order expressions is to define a metric… (More)
DOI: 10.1109/ISKE.2017.8258778

3 Figures and Tables

Topics

  • Presentations referencing similar topics