{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T21:04:14Z","timestamp":1776373454431,"version":"3.51.2"},"publisher-location":"California","reference-count":0,"publisher":"International Joint Conferences on Artificial Intelligence Organization","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,8]]},"abstract":"<jats:p>We introduce and study SL[F], a quantitative extension of SL (Strategy Logic), one of the most natural and expressive logics describing strategic behaviours. The satisfaction value of an SL[F] formula is a real value in [0,1], reflecting ``how much'' or ``how well'' the strategic on-going objectives of the underlying agents are satisfied. We demonstrate the applications of SL[F]\u00a0in quantitative reasoning about multi-agent systems, by showing how it can express concepts of stability in multi-agent systems, and how it generalises some fuzzy temporal logics. We also provide a model-checking algorithm for ourlogic, based on a quantitative extension of Quantified CTL*.<\/jats:p>","DOI":"10.24963\/ijcai.2019\/220","type":"proceedings-article","created":{"date-parts":[[2019,7,28]],"date-time":"2019-07-28T03:46:05Z","timestamp":1564285565000},"page":"1588-1594","source":"Crossref","is-referenced-by-count":6,"title":["Reasoning about Quality and Fuzziness of Strategic Behaviours"],"prefix":"10.24963","author":[{"given":"Patricia","family":"Bouyer","sequence":"first","affiliation":[{"name":"LSV, CNRS & ENS Paris-Saclay, Univ. Paris-Saclay, France"}]},{"given":"Orna","family":"Kupferman","sequence":"additional","affiliation":[{"name":"Hebrew University, Israel"}]},{"given":"Nicolas","family":"Markey","sequence":"additional","affiliation":[{"name":"Irisa, CNRS & Inria & Univ. Rennes, France"}]},{"given":"Bastien","family":"Maubert","sequence":"additional","affiliation":[{"name":"Universit\u00e0 degli Studi di Napoli ``Federico II'', Italy"}]},{"given":"Aniello","family":"Murano","sequence":"additional","affiliation":[{"name":"Universit\u00e0 degli Studi di Napoli ``Federico II'', Italy"}]},{"given":"Giuseppe","family":"Perelli","sequence":"additional","affiliation":[{"name":"University of Leicester, UK"}]}],"member":"10584","event":{"name":"Twenty-Eighth International Joint Conference on Artificial Intelligence {IJCAI-19}","theme":"Artificial Intelligence","location":"Macao, China","acronym":"IJCAI-2019","number":"28","sponsor":["International Joint Conferences on Artificial Intelligence Organization (IJCAI)"],"start":{"date-parts":[[2019,8,10]]},"end":{"date-parts":[[2019,8,16]]}},"container-title":["Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence"],"original-title":[],"deposited":{"date-parts":[[2019,7,28]],"date-time":"2019-07-28T03:47:39Z","timestamp":1564285659000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ijcai.org\/proceedings\/2019\/220"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2019,8]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/ijcai.2019\/220","relation":{},"subject":[],"published":{"date-parts":[[2019,8]]}}}