{"id":"https://openalex.org/W2964483308","doi":"https://doi.org/10.3233/faia200437","title":"Reasoning About Quality and Fuzziness of Strategic Behaviours","display_name":"Reasoning About Quality and Fuzziness of Strategic Behaviours","publication_year":2020,"publication_date":"2020-01-01","ids":{"openalex":"https://openalex.org/W2964483308","doi":"https://doi.org/10.3233/faia200437","mag":"2964483308"},"language":"en","primary_location":{"id":"doi:10.3233/faia200437","is_oa":true,"landing_page_url":"https://doi.org/10.3233/faia200437","pdf_url":null,"source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.3233/faia200437","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5041884792","display_name":"Patricia Bouyer","orcid":"https://orcid.org/0000-0002-2823-0911"},"institutions":[{"id":"https://openalex.org/I277688954","display_name":"Universit\u00e9 Paris-Saclay","ror":"https://ror.org/03xjwb503","country_code":"FR","type":"education","lineage":["https://openalex.org/I277688954"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Bouyer Patricia","raw_affiliation_strings":["Universit\u00e9 Paris-Saclay, Gif-sur-Yvette, France"],"affiliations":[{"raw_affiliation_string":"Universit\u00e9 Paris-Saclay, Gif-sur-Yvette, France","institution_ids":["https://openalex.org/I277688954"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077429082","display_name":"Orna Kupferman","orcid":"https://orcid.org/0000-0003-4699-6117"},"institutions":[{"id":"https://openalex.org/I197251160","display_name":"Hebrew University of Jerusalem","ror":"https://ror.org/03qxff017","country_code":"IL","type":"education","lineage":["https://openalex.org/I197251160"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Kupferman Orna","raw_affiliation_strings":["Hebrew University of Jerusalem, Jerusalem, Israel"],"affiliations":[{"raw_affiliation_string":"Hebrew University of Jerusalem, Jerusalem, Israel","institution_ids":["https://openalex.org/I197251160"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084605938","display_name":"Nicolas Markey","orcid":"https://orcid.org/0000-0003-1977-7525"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210088322","display_name":"Centre de Gestion Scientifique","ror":"https://ror.org/003y0kg83","country_code":"FR","type":"facility","lineage":["https://openalex.org/I12356871","https://openalex.org/I1294671590","https://openalex.org/I142476485","https://openalex.org/I190752583","https://openalex.org/I190752583","https://openalex.org/I205703379","https://openalex.org/I2746051580","https://openalex.org/I2746051580","https://openalex.org/I4210088322","https://openalex.org/I4210091621","https://openalex.org/I4210145102","https://openalex.org/I4210145102","https://openalex.org/I4405258429","https://openalex.org/I70768539","https://openalex.org/I70768539"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Markey Nicolas","raw_affiliation_strings":["Centre National de la Recherche Scientifique, Paris, France"],"affiliations":[{"raw_affiliation_string":"Centre National de la Recherche Scientifique, Paris, France","institution_ids":["https://openalex.org/I4210088322","https://openalex.org/I1294671590"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020611616","display_name":"Bastien Maubert","orcid":null},"institutions":[{"id":"https://openalex.org/I71267560","display_name":"University of Naples Federico II","ror":"https://ror.org/05290cv24","country_code":"IT","type":"education","lineage":["https://openalex.org/I71267560"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Maubert Bastien","raw_affiliation_strings":["University of Naples Federico II, Naples, Italy"],"affiliations":[{"raw_affiliation_string":"University of Naples Federico II, Naples, Italy","institution_ids":["https://openalex.org/I71267560"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055415505","display_name":"Aniello Murano","orcid":"https://orcid.org/0000-0003-4876-3448"},"institutions":[{"id":"https://openalex.org/I71267560","display_name":"University of Naples Federico II","ror":"https://ror.org/05290cv24","country_code":"IT","type":"education","lineage":["https://openalex.org/I71267560"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Murano Aniello","raw_affiliation_strings":["University of Naples Federico II, Naples, Italy"],"affiliations":[{"raw_affiliation_string":"University of Naples Federico II, Naples, Italy","institution_ids":["https://openalex.org/I71267560"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5066350298","display_name":"Giuseppe Perelli","orcid":"https://orcid.org/0000-0002-8687-6323"},"institutions":[{"id":"https://openalex.org/I881427289","display_name":"University of Gothenburg","ror":"https://ror.org/01tm6cn81","country_code":"SE","type":"education","lineage":["https://openalex.org/I881427289"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Perelli Giuseppe","raw_affiliation_strings":["University of Gothenburg, Gothenburg, Sweden"],"affiliations":[{"raw_affiliation_string":"University of Gothenburg, Gothenburg, Sweden","institution_ids":["https://openalex.org/I881427289"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5041884792"],"corresponding_institution_ids":["https://openalex.org/I277688954"],"apc_list":null,"apc_paid":null,"fwci":0.2747,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.49320226,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":93},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9997000098228455,"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.9997000098228455,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9994999766349792,"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/T10142","display_name":"Formal Methods in Verification","score":0.9987999796867371,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.6448816657066345},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6386299729347229},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.637198805809021},{"id":"https://openalex.org/keywords/fuzzy-logic","display_name":"Fuzzy logic","score":0.5176923274993896},{"id":"https://openalex.org/keywords/t-norm-fuzzy-logics","display_name":"T-norm fuzzy logics","score":0.5003092288970947},{"id":"https://openalex.org/keywords/quality","display_name":"Quality (philosophy)","score":0.4840180575847626},{"id":"https://openalex.org/keywords/computation-tree-logic","display_name":"Computation tree logic","score":0.4829379916191101},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.4297974407672882},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.40606915950775146},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3177735209465027},{"id":"https://openalex.org/keywords/fuzzy-set","display_name":"Fuzzy set","score":0.19149744510650635},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.13631170988082886},{"id":"https://openalex.org/keywords/fuzzy-number","display_name":"Fuzzy number","score":0.09563398361206055},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.06662169098854065}],"concepts":[{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.6448816657066345},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6386299729347229},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.637198805809021},{"id":"https://openalex.org/C58166","wikidata":"https://www.wikidata.org/wiki/Q224821","display_name":"Fuzzy logic","level":2,"score":0.5176923274993896},{"id":"https://openalex.org/C86602344","wikidata":"https://www.wikidata.org/wiki/Q7667918","display_name":"T-norm fuzzy logics","level":5,"score":0.5003092288970947},{"id":"https://openalex.org/C2779530757","wikidata":"https://www.wikidata.org/wiki/Q1207505","display_name":"Quality (philosophy)","level":2,"score":0.4840180575847626},{"id":"https://openalex.org/C198008173","wikidata":"https://www.wikidata.org/wiki/Q1040040","display_name":"Computation tree logic","level":3,"score":0.4829379916191101},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.4297974407672882},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.40606915950775146},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3177735209465027},{"id":"https://openalex.org/C42011625","wikidata":"https://www.wikidata.org/wiki/Q1055058","display_name":"Fuzzy set","level":3,"score":0.19149744510650635},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.13631170988082886},{"id":"https://openalex.org/C1883856","wikidata":"https://www.wikidata.org/wiki/Q3407463","display_name":"Fuzzy number","level":4,"score":0.09563398361206055},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.06662169098854065},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3233/faia200437","is_oa":true,"landing_page_url":"https://doi.org/10.3233/faia200437","pdf_url":null,"source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},{"id":"pmh:oai:iris.uniroma1.it:11573/1450609","is_oa":true,"landing_page_url":"http://hdl.handle.net/11573/1450609","pdf_url":"http://hdl.handle.net/11573/1450609","source":{"id":"https://openalex.org/S4377196107","display_name":"IRIS Research product catalog (Sapienza University of Rome)","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":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"doi:10.3233/faia200437","is_oa":true,"landing_page_url":"https://doi.org/10.3233/faia200437","pdf_url":null,"source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":56,"referenced_works":["https://openalex.org/W97887531","https://openalex.org/W116583532","https://openalex.org/W824553004","https://openalex.org/W853304191","https://openalex.org/W1506670447","https://openalex.org/W1514601719","https://openalex.org/W1536042062","https://openalex.org/W1546220007","https://openalex.org/W1569998753","https://openalex.org/W1590315663","https://openalex.org/W1606824214","https://openalex.org/W1795952933","https://openalex.org/W1970603830","https://openalex.org/W1971499713","https://openalex.org/W1975657455","https://openalex.org/W1988808695","https://openalex.org/W2004306067","https://openalex.org/W2012634103","https://openalex.org/W2016206563","https://openalex.org/W2032651852","https://openalex.org/W2033071128","https://openalex.org/W2041894791","https://openalex.org/W2046745013","https://openalex.org/W2048905609","https://openalex.org/W2056186669","https://openalex.org/W2077520193","https://openalex.org/W2108947407","https://openalex.org/W2109187338","https://openalex.org/W2126711026","https://openalex.org/W2138707849","https://openalex.org/W2148966220","https://openalex.org/W2150107383","https://openalex.org/W2160029445","https://openalex.org/W2170933628","https://openalex.org/W2171735304","https://openalex.org/W2284512813","https://openalex.org/W2295019212","https://openalex.org/W2423426121","https://openalex.org/W2425244199","https://openalex.org/W2467498620","https://openalex.org/W2473183186","https://openalex.org/W2508573783","https://openalex.org/W2559687057","https://openalex.org/W2559822364","https://openalex.org/W2575731723","https://openalex.org/W2795759756","https://openalex.org/W2807760597","https://openalex.org/W2812104613","https://openalex.org/W2888854400","https://openalex.org/W2912494578","https://openalex.org/W2952842534","https://openalex.org/W2952908521","https://openalex.org/W2963490906","https://openalex.org/W2963786730","https://openalex.org/W2986444891","https://openalex.org/W3104116428"],"related_works":["https://openalex.org/W1532447905","https://openalex.org/W858755136","https://openalex.org/W1981889059","https://openalex.org/W3005864166","https://openalex.org/W31328628","https://openalex.org/W2143025323","https://openalex.org/W3163822336","https://openalex.org/W3091862538","https://openalex.org/W1969550103","https://openalex.org/W2563378524"],"abstract_inverted_index":{"Temporal":[0],"logics":[1,26,45,83],"are":[2,20,114],"extensively":[3],"used":[4],"for":[5,154],"the":[6,21,31,41,55,78,106,111,118],"specification":[7,32],"of":[8,11,23,33,43,72,77,90,110,120,135,162],"on-going":[9,34,108],"behaviours":[10,36],"reactive":[12],"systems.":[13],"Two":[14],"significant":[15],"developments":[16],"in":[17,37,98,122,137],"this":[18],"area":[19],"extension":[22,71,161],"traditional":[24],"temporal":[25,44,146],"with":[27],"modalities":[28],"that":[29],"enable":[30,54],"strategic":[35,85,107],"multi-agent":[38,126,138],"systems,":[39,127,139],"and":[40,67,81,140],"transition":[42],"to":[46,57],"a":[47,95,151,159],"quantitative":[48,70,123,160],"setting,":[49],"where":[50],"different":[51],"satisfaction":[52,88],"values":[53],"specifier":[56],"formalise":[58],"concepts":[59,134],"such":[60],"as":[61],"certainty":[62],"or":[63,103],"quality.":[64],"We":[65,116,148],"introduce":[66],"study":[68],"FSL---a":[69],"SL":[73],"(Strategy":[74],"Logic),":[75],"one":[76],"most":[79],"natural":[80],"expressive":[82],"describing":[84],"behaviours.":[86],"The":[87],"value":[89,97],"an":[91],"FSL":[92,121],"formula":[93],"is":[94],"real":[96],"[0,1],":[99],"reflecting":[100],"`how":[101,104],"much'":[102],"well'":[105],"objectives":[109],"underlying":[112],"agents":[113],"satisfied.":[115],"demonstrate":[117],"applications":[119],"reasoning":[124],"about":[125],"by":[128],"showing":[129],"how":[130,141],"it":[131,142],"can":[132],"express":[133],"stability":[136],"generalises":[143],"some":[144],"fuzzy":[145],"logics.":[147],"also":[149],"provide":[150],"model-checking":[152],"algorithm":[153],"our":[155],"logic,":[156],"based":[157],"on":[158],"Quantified":[163],"CTL*.":[164]},"counts_by_year":[{"year":2021,"cited_by_count":1}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2019-08-13T00:00:00"}