On Fixed-Points of Multivalued Functions on Complete Lattices and Their Application to Generalized Logic Programs
From MaRDI portal
Publication:3642867
DOI10.1137/070695976zbMath1183.68158OpenAlexW2018110053WikidataQ58049271 ScholiaQ58049271MaRDI QIDQ3642867
Carlos V. Damásio, Umberto Straccia, Manuel Ojeda Aciego
Publication date: 6 November 2009
Published in: SIAM Journal on Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1137/070695976
Fixed-point theorems (47H10) Complete lattices, completions (06B23) Semantics in the theory of computing (68Q55) Logic programming (68N17) Miscellaneous applications of operator theory (47N99)
Related Items (13)
Coincidence point and fixed point theorems for a new type of \(G\)-contraction multivalued mappings on a metric space endowed with a graph ⋮ Beyond multi-adjoint logic programming ⋮ Remarks on monotone multivalued mappings on a metric space with a graph ⋮ Immediate consequences operator on generalized quantifiers ⋮ From Fuzzy to Annotated Semantic Web Languages ⋮ A core language for fuzzy answer set programming ⋮ Complexity of fuzzy answer set programming under Łukasiewicz semantics ⋮ Reducing fuzzy answer set programming to model finding in fuzzy logics ⋮ The complexity space of partial functions: a connection between complexity analysis and denotational semantics ⋮ Abstracting Nash equilibria of supermodular games ⋮ Syntax and semantics of multi-adjoint normal logic programming ⋮ Aggregated fuzzy answer set programming ⋮ Fuzzy autoepistemic logic and its relation to fuzzy answer set programming
This page was built for publication: On Fixed-Points of Multivalued Functions on Complete Lattices and Their Application to Generalized Logic Programs
