Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Lia Bozzone

dblp:292/3758 · DBLP profile ↗
← Back
2ranked-venue papers
2as first author
2since 2021 · last 2022
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 1 · 1 first-author · 1 since 2021Graphics, computer vision, multimedia, augmented reality and games · 1 · 1 first-author · 1 since 2021Theory of computation · 1 · 1 first-author · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
1 paper
Logic in computer science · 50% Algorithmic game theory and mechanism design · 50%

Topics — the 1 heaviest of 2, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Logic in computer science › modal and dynamic logic
temporal and strategic logics
0.512021
Budget-Constrained Coalition Strategies with Discounting · IJCAI 2021

Methods — techniques the papers use, named apart from their topics

modal logic · 0.5discounting · 0.5axiomatization · 0.5
YearPublicationVenuePosition
2022 Budget-constrained coalition strategies with discounting
abstract
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 article proposes a sound and complete logical system for reasoning about budget-constrained strategic abilities that incorporates discounting into its semantics.
Lia Bozzone, Pavel Naumov
J. Log. Comput.1
2021 Budget-Constrained Coalition Strategies with Discounting
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.
Lia Bozzone, Pavel Naumov
IJCAI1