Generalized metrics and uniquely determined logic programs.
type: Item
instance of: scholarly article
title: Generalized metrics and uniquely determined logic programs.
zbMATH Open document ID: 1071.68018
DOI: 10.1016/S0304-3975(02)00709-0
author: Pascal Hitzler
author: Anthony Karel Seda
published in: Theoretical Computer Science
publication date: 2004-03-14T00:00:00Z
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 2055973
zbMATH Keywords: Logic programming
zbMATH Keywords: Generalized metric
zbMATH Keywords: Domain theory
zbMATH Keywords: Clark completion
zbMATH Keywords: Fixed-point semantics
MaRDI profile type: Publication
cites work: Reasoning about termination of pure Prolog programs
cites work: Q4204135
cites work: Q4702570
cites work: The s-semantics approach: Theory and applications
cites work: Acyclic logic programs and the completeness of SLDNF-resolution
cites work: A computational model for metric spaces
cites work: Q3983046
cites work: A kripke-kleene semantics for logic programs*
cites work: Metric Methods Three Examples and a Theorem
cites work: The well-founded semantics for general logic programs
cites work: Q4955347
cites work: Q3153396
cites work: Q4499241
cites work: Dislocated topologies
cites work: Q4470447
cites work: Q3339245
cites work: Partial Metric Topology
cites work: Ultrametric spaces and logic programming
cites work: Q3348437
cites work: Q3477997
cites work: A logic for default reasoning
cites work: Clausal logic and logic programming in algebraic domains
cites work: Elements of generalized ultrametric domain theory
cites work: Q4853319
cites work: Q3126163
cites work: Q4500930
cites work: Q3821265
cites work: Q3359391
cites work: Q4023580
cites work: Q5605131
cites work: Q4325268
full work available at URL: s0304-3975(02)00709-0
OpenAlex ID: W2025430189
description: scientific article; zbMATH DE number 2055973