Mathematical aspects of logic programming semantics.
From MaRDI portal
artificial neural networksdeclarative semanticsfixed-point theoremslogic programmingmetric spacesmultivalued mappingstopology
Logic in computer science (03B70) Fixed-point theorems (47H10) Connections of general topology with other structures, applications (54H99) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)
Recommendations
Cited in
(37)- Generalized metrics and uniquely determined logic programs.
- Common fixed point results for generalized \(\alpha_{s^p}\) contractive mappings and applications
- Positive solutions of nonlinear fractional differential equations in non-zero self-distance spaces
- From Caristi's theorem to Ekeland's variational principle in 0_-complete metric-like spaces
- A note on best approximation in 0-complete partial metric spaces
- A Nemytskii-Edelstein type fixed point theorem for partial metric spaces
- Existence and Uniqueness results for nonlinear fractional differential equations via new \(Q\)-function
- Recent advances on the results for nonunique fixed in various spaces
- A study on the relationship between relaxed metrics and indistinguishability operators
- On 0-complete partial metric spaces and quantitative fixed point techniques in denotational semantics
- On fixed point theory in partially ordered sets and an application to asymptotic complexity of algorithms
- Various generalizations of metric spaces and fixed point theorems
- Some new fixed point theorems in partial metric spaces with applications
- Common fixed points of a pair of Hardy Rogers type mappings on a closed ball in ordered dislocated metric spaces
- On the integration of connectionist and logic-based systems
- On fixed point theory in topological posets, extended quasi-metric spaces and an application to asymptotic complexity of algorithms
- Projective contractions, generalized metrics, and fixed points
- scientific article; zbMATH DE number 4018352 (Why is no real title available?)
- Coupled Meir-Keeler type contraction in metric spaces with an application to partial metric spaces
- scientific article; zbMATH DE number 107624 (Why is no real title available?)
- Metric Methods Three Examples and a Theorem
- scientific article; zbMATH DE number 1735982 (Why is no real title available?)
- scientific article; zbMATH DE number 1852932 (Why is no real title available?)
- Properties of general semantic operators determined by logic-based systems
- Existence of solutions of cantilever beam problem via (\(\alpha\)-\(\beta\)-\(FG\))-contractions in \(b\)-metric-like spaces
- On the topology of partial metric spaces
- On Fixed Point Theory in Partially Ordered (Quasi-)metric Spaces and an Application to Complexity Analysis of Algorithms
- Nonunique Fixed Points on Partial Metric Spaces Via Control Functions
- scientific article; zbMATH DE number 7083931 (Why is no real title available?)
- On the completion of partial metric spaces
- On partial metric preserving functions and their characterization
- Continuity of semantic operators in logic programming and their approximation by artificial neural networks
- Common fixed point for w-compatible maps in a bipolar metric space
- Fuzzy preorders and generalized distances: the aggregation problem revisited
- Some classes of distance spaces as generalized metric spaces: terminology, mappings, fixed points and applications in theoretical informatics
- A careful retrospection of metric spaces and contraction mappings with computer simulation
- The Hausdorff fuzzy quasi-metric
This page was built for publication: Mathematical aspects of logic programming semantics.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3075664)
