[Unknown type: UNSPECIFIED]
Record type:
UNSPECIFIED
Abstract
Discounting future costs and rewards is a common practice in accounting, game theory, and machine learning. In spite of this, existing logics for reasoning about strategies with cost and resource constraints do not account for discounting. The paper proposes a sound and complete logical system for reasoning about budget-constrained strategic abilities that incorporates discounting into its semantics.
More information
Published date: 10 May 2021
Keywords:
cs.AI, cs.GT, cs.LO, math.LO
Identifiers
Local EPrints ID: 474825
URI: http://eprints.soton.ac.uk/id/eprint/474825
PURE UUID: 05ce5130-bc21-4386-bbd8-ccf9c6f3c011
Catalogue record
Date deposited: 03 Mar 2023 17:39
Last modified: 17 Mar 2024 04:10
Export record
Altmetrics
Contributors
Author:
Lia Bozzone
Author:
Pavel Naumov
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.