Łukasiewicz Games : A logic-based approach to quantitative strategic Interactions
- Submitting institution
-
University of Southampton
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 34086543
- Type
- D - Journal article
- DOI
-
10.1145/2783436
- Title of journal
- ACM Transactions on Computational Logic
- Article number
- 33
- First page
- -
- Volume
- 16
- Issue
- 4
- ISSN
- 1529-3785
- Open access status
- Out of scope for open access requirements
- Month of publication
- November
- Year of publication
- 2015
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
1
- Research group(s)
-
-
- Citation count
- 6
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- Paper introduces quantitative generalisation of the well-known model of Boolean games and gives mathematical and computational characterisations of existence of equilibria. Publication builds upon paper in leading conference by the same authors (“Łukasiewicz Games”, AAMAS 2014). Work in the article resulted in invited talks by first author at Games and Decision Conference at Scuola Normale Superiore (Pisa, Italy 2014) and Workshop on Logics, Decision and Interactions (Lorentz Center, The Netherlands 2016). Article led to EPSRC grant (EP/M009130/1, £343,000), with second author the PI and first author as named researcher.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -