Generalized metrics and uniquely determined logic programs.

DOI10.1016/S0304-3975(02)00709-0zbMath1071.68018OpenAlexW2025430189MaRDI QIDQ1427780

Pascal Hitzler, Anthony Karel Seda

Publication date: 14 March 2004

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(02)00709-0

zbMATH Keywords

Logic programmingClark completionDomain theoryFixed-point semanticsGeneralized metric

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (7)

Logic programs and connectionist networks ⋮ Logic programs, iterated function systems, and recurrent radial basis function networks ⋮ Generalized ultrametric spaces in quantitative domain theory ⋮ A geometric interpretation of LD-resolution ⋮ Invariant sets and Knaster-Tarski principle ⋮ A double completion for an arbitrary \(T_0\)-quasi-metric space ⋮ The fixed-point theory of strictly causal functions

Cites Work

• Elements of generalized ultrametric domain theory
• A computational model for metric spaces
• A logic for default reasoning
• Acyclic logic programs and the completeness of SLDNF-resolution
• Reasoning about termination of pure Prolog programs
• Clausal logic and logic programming in algebraic domains
• A kripke-kleene semantics for logic programs*
• Partial Metric Topology
• The well-founded semantics for general logic programs
• The s-semantics approach: Theory and applications
• Metric Methods Three Examples and a Theorem
• Ultrametric spaces and logic programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Generalized metrics and uniquely determined logic programs.