{"id":"https://openalex.org/W2018110053","doi":"https://doi.org/10.1137/070695976","title":"On Fixed-Points of Multivalued Functions on Complete Lattices and Their Application to Generalized Logic Programs","display_name":"On Fixed-Points of Multivalued Functions on Complete Lattices and Their Application to Generalized Logic Programs","publication_year":2009,"publication_date":"2009-01-01","ids":{"openalex":"https://openalex.org/W2018110053","doi":"https://doi.org/10.1137/070695976","mag":"2018110053"},"language":"en","primary_location":{"id":"doi:10.1137/070695976","is_oa":false,"landing_page_url":"https://doi.org/10.1137/070695976","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5021966059","display_name":"Umberto Straccia","orcid":"https://orcid.org/0000-0001-5998-6757"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Umberto Straccia","raw_affiliation_strings":["straccia@isti.cnr.it#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"straccia@isti.cnr.it#TAB#","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088261260","display_name":"Manuel Ojeda\u2010Aciego","orcid":"https://orcid.org/0000-0002-6064-6984"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Manuel Ojeda-Aciego","raw_affiliation_strings":["[email\u00a0protected]#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"[email\u00a0protected]#TAB#","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5006367287","display_name":"Carlos Viegas Dam\u00e1sio","orcid":"https://orcid.org/0000-0001-8145-3260"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Carlos V. Dam\u00e1sio","raw_affiliation_strings":["cd@di.fct.unl.pt#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"cd@di.fct.unl.pt#TAB#","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":7.1061,"has_fulltext":false,"cited_by_count":34,"citation_normalized_percentile":{"value":0.96869377,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"38","issue":"5","first_page":"1881","last_page":"1911"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9940000176429749,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/fixed-point","display_name":"Fixed point","score":0.8538048267364502},{"id":"https://openalex.org/keywords/least-fixed-point","display_name":"Least fixed point","score":0.7692419290542603},{"id":"https://openalex.org/keywords/complete-lattice","display_name":"Complete lattice","score":0.7455697059631348},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.713991641998291},{"id":"https://openalex.org/keywords/monotone-polygon","display_name":"Monotone polygon","score":0.6392780542373657},{"id":"https://openalex.org/keywords/lattice","display_name":"Lattice (music)","score":0.5307761430740356},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.521409273147583},{"id":"https://openalex.org/keywords/fixed-point-theorem","display_name":"Fixed-point theorem","score":0.4192183315753937},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.41432666778564453},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.18195858597755432},{"id":"https://openalex.org/keywords/schauder-fixed-point-theorem","display_name":"Schauder fixed point theorem","score":0.15867456793785095},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.10008242726325989}],"concepts":[{"id":"https://openalex.org/C61445026","wikidata":"https://www.wikidata.org/wiki/Q217608","display_name":"Fixed point","level":2,"score":0.8538048267364502},{"id":"https://openalex.org/C27333817","wikidata":"https://www.wikidata.org/wiki/Q6134913","display_name":"Least fixed point","level":5,"score":0.7692419290542603},{"id":"https://openalex.org/C201640847","wikidata":"https://www.wikidata.org/wiki/Q2362924","display_name":"Complete lattice","level":3,"score":0.7455697059631348},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.713991641998291},{"id":"https://openalex.org/C2834757","wikidata":"https://www.wikidata.org/wiki/Q4925424","display_name":"Monotone polygon","level":2,"score":0.6392780542373657},{"id":"https://openalex.org/C2781204021","wikidata":"https://www.wikidata.org/wiki/Q6497091","display_name":"Lattice (music)","level":2,"score":0.5307761430740356},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.521409273147583},{"id":"https://openalex.org/C45962547","wikidata":"https://www.wikidata.org/wiki/Q1422068","display_name":"Fixed-point theorem","level":2,"score":0.4192183315753937},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.41432666778564453},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.18195858597755432},{"id":"https://openalex.org/C28642324","wikidata":"https://www.wikidata.org/wiki/Q656176","display_name":"Schauder fixed point theorem","level":4,"score":0.15867456793785095},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.10008242726325989},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C183992945","wikidata":"https://www.wikidata.org/wiki/Q2495574","display_name":"Universality (dynamical systems)","level":2,"score":0.0},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0},{"id":"https://openalex.org/C206929604","wikidata":"https://www.wikidata.org/wiki/Q530152","display_name":"Picard\u2013Lindel\u00f6f theorem","level":3,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1137/070695976","is_oa":false,"landing_page_url":"https://doi.org/10.1137/070695976","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.152.7022","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.152.7022","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://faure.isti.cnr.it/~straccia/download/papers/SIAM09/SIAM09.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.325.9099","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.325.9099","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://gaia.isti.cnr.it/~straccia/download/papers/SIAM09/SIAM09.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.332.75","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.332.75","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://sevein.matap.uma.es/~aciego/TR/FixedPoints.pdf","raw_type":"text"},{"id":"pmh:oai:dnet:people______::312fd2ebce76ea0ed1ad93f7b7fadbaa","is_oa":false,"landing_page_url":"https://openportal.isti.cnr.it/doc?id=people______::312fd2ebce76ea0ed1ad93f7b7fadbaa","pdf_url":null,"source":{"id":"https://openalex.org/S7407055261","display_name":"ISTI Open Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"SIAM journal on computing (Print) 38 (2009): 1881\u20131911. doi:10.1137/070695976","raw_type":"http://purl.org/coar/resource_type/c_6501"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320326754","display_name":"Junta de Andaluc\u00eda","ror":"https://ror.org/01jem9c82"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":53,"referenced_works":["https://openalex.org/W60625383","https://openalex.org/W63866821","https://openalex.org/W92764763","https://openalex.org/W338913989","https://openalex.org/W1486518447","https://openalex.org/W1487409515","https://openalex.org/W1501538201","https://openalex.org/W1505787149","https://openalex.org/W1519530939","https://openalex.org/W1541434994","https://openalex.org/W1548611096","https://openalex.org/W1568212708","https://openalex.org/W1568260037","https://openalex.org/W1577514385","https://openalex.org/W1589796146","https://openalex.org/W1593086612","https://openalex.org/W1777336203","https://openalex.org/W1824588851","https://openalex.org/W1924115405","https://openalex.org/W1934437165","https://openalex.org/W1954352230","https://openalex.org/W1967000101","https://openalex.org/W1976390103","https://openalex.org/W1977360970","https://openalex.org/W1984723670","https://openalex.org/W2016680799","https://openalex.org/W2022476135","https://openalex.org/W2025430189","https://openalex.org/W2033827574","https://openalex.org/W2046213250","https://openalex.org/W2056874409","https://openalex.org/W2059855028","https://openalex.org/W2062024564","https://openalex.org/W2076698873","https://openalex.org/W2082367267","https://openalex.org/W2084312524","https://openalex.org/W2091099880","https://openalex.org/W2096967553","https://openalex.org/W2099406364","https://openalex.org/W2110425399","https://openalex.org/W2111647848","https://openalex.org/W2152560153","https://openalex.org/W2152957765","https://openalex.org/W2158350199","https://openalex.org/W2599890030","https://openalex.org/W2605230566","https://openalex.org/W2740304622","https://openalex.org/W2912883082","https://openalex.org/W2914212232","https://openalex.org/W3047725657","https://openalex.org/W3144368627","https://openalex.org/W4211008702","https://openalex.org/W4213381987"],"related_works":["https://openalex.org/W2131851897","https://openalex.org/W4244119288","https://openalex.org/W2555637401","https://openalex.org/W2978194344","https://openalex.org/W2018110053","https://openalex.org/W4287373508","https://openalex.org/W2469586221","https://openalex.org/W2740008002","https://openalex.org/W3142082369","https://openalex.org/W2024588640"],"abstract_inverted_index":{"Unlike":[0],"monotone":[1],"single-valued":[2],"functions,":[3],"multivalued":[4,36,78],"mappings":[5],"may":[6],"have":[7],"zero,":[8],"one,":[9],"or":[10],"(possibly":[11],"infinitely)":[12],"many":[13],"minimal":[14,33],"fixed-points.":[15],"The":[16],"contribution":[17],"of":[18,32,35,63,92],"this":[19],"work":[20],"is":[21,40,47,70],"twofold.":[22],"First,":[23],"we":[24,52],"overview":[25],"and":[26,30,44],"investigate":[27],"the":[28,67,90,93],"existence":[29],"computation":[31],"fixed-points":[34,84],"mappings,":[37],"whose":[38,45,83],"domain":[39],"a":[41,60,71,77],"complete":[42,72],"lattice":[43],"range":[46],"its":[48],"power":[49],"set.":[50],"Second,":[51],"show":[53,75],"how":[54],"these":[55],"results":[56],"are":[57,85],"applied":[58],"to":[59],"general":[61],"form":[62],"logic":[64,94],"programs,":[65],"where":[66],"truth":[68],"space":[69],"lattice.":[73],"We":[74],"that":[76],"operator":[79],"can":[80],"be":[81],"defined":[82],"in":[86],"one-to-one":[87],"correspondence":[88],"with":[89],"models":[91],"program.":[95]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":3},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":5}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}