01329nas a2200205 4500008004100000245006400041210006400105300001200169520071800181653002700899653002500926653002200951653001700973653002000990653001301010653001801023100002201041700002001063856004001083 2010 eng d00aGeneralized Distance Functions in the Theory of Computation0 aGeneralized Distance Functions in the Theory of Computation a443-4643 aWe discuss a number of distance functions encountered in the theory of computation, including metrics, ultra-metrics, quasi-metrics, generalized ultrametrics, partial metrics, d-ultra-metrics, and generalized metrics. We consider their properties, associated fixed-point theorems, and some general applications they have within the theory of computation. We consider in detail the applications of generalized distance functions in giving a uniform treatment of several important semantics for logic programs, including acceptable programs and natural generalizations of them, and also the supported model and the stable model in the context of locally stratified extended disjunctive logic programs and databases.10adenotational semantics10afixed-point theorems10alogic programming10astable model10asupported model10atopology10aultra-metrics1 aSeda, Anthony, K.1 aHitzler, Pascal uhttp://knoesis.wright.edu/node/1619