Generalized metrics and uniquely determined logic programs.

DOI10.1016/S0304-3975(02)00709-0MaRDI QIDQ1427780zbMATH OpenOpenAlexFDO

Authors 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, https://corescholar.libraries.wright.edu/cgi/viewcontent.cgi?article=1045&context=cse

zbMATH Keywords

Clark completionDomain theoryFixed-point semanticsGeneralized metricLogic programming

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 994051
• Publication:4943162
• Metric Methods Three Examples and a Theorem
• Mathematical aspects of logic programming semantics.
• scientific article; zbMATH DE number 18533

Cites work

• A computational model for metric spaces
• A kripke-kleene semantics for logic programs*
• A logic for default reasoning
• Acyclic logic programs and the completeness of SLDNF-resolution
• Characterizations of classes of programs by three-valued operators
• Clausal logic and logic programming in algebraic domains
• Continuous models of computation for logic programs: Importing continuous mathematics into logic programming's algorithmic foundations
• Dislocated topologies
• Elements of generalized ultrametric domain theory
• scientific article; zbMATH DE number 994051 (Why is no real title available?)
• scientific article; zbMATH DE number 1824109 (Why is no real title available?)
• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 4199656 (Why is no real title available?)
• scientific article; zbMATH DE number 4212991 (Why is no real title available?)
• scientific article; zbMATH DE number 4147555 (Why is no real title available?)
• scientific article; zbMATH DE number 4094358 (Why is no real title available?)
• scientific article; zbMATH DE number 25193 (Why is no real title available?)
• scientific article; zbMATH DE number 107999 (Why is no real title available?)
• scientific article; zbMATH DE number 4123705 (Why is no real title available?)
• scientific article; zbMATH DE number 730303 (Why is no real title available?)
• scientific article; zbMATH DE number 2077072 (Why is no real title available?)
• scientific article; zbMATH DE number 1497821 (Why is no real title available?)
• scientific article; zbMATH DE number 1498598 (Why is no real title available?)
• scientific article; zbMATH DE number 810107 (Why is no real title available?)
• scientific article; zbMATH DE number 3326329 (Why is no real title available?)
• Metric Methods Three Examples and a Theorem
• Partial Metric Topology
• Reasoning about termination of pure Prolog programs
• The s-semantics approach: Theory and applications
• The well-founded semantics for general logic programs
• Ultrametric spaces and logic programming

Cited in

(14)

• Logic programs and connectionist networks
• Logic programs, iterated function systems, and recurrent radial basis function networks
• Invariant sets and Knaster-Tarski principle
• The fixed-point theory of strictly causal functions
• Approximation, solution operators and quantale-valued metrics
• scientific article; zbMATH DE number 994051 (Why is no real title available?)
• Metric Methods Three Examples and a Theorem
• scientific article; zbMATH DE number 1415884 (Why is no real title available?)
• scientific article; zbMATH DE number 5176700 (Why is no real title available?)
• A geometric interpretation of LD-resolution
• Some classes of distance spaces as generalized metric spaces: terminology, mappings, fixed points and applications in theoretical informatics
• Generalized ultrametric spaces in quantitative domain theory
• A double completion for an arbitrary \(T_0\)-quasi-metric space
• Decidable metric logics

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1427780)