5 papers
Model theory of term algebras revisited
Davide Carolillo, Yifan Jia, Bakh Khoussainov +1
Building on work of Maltsev on locally free algebras in finite purely functional languages, we revisit the model theory of (absolutely free) term algebras and their completions. Ma…
Strategyproofness and Monotone Allocation of Auction in Social Networks
Yuhang Guo, Dong Hao, Bin Li +2
Strategyproofness in network auctions requires that bidders not only report their valuations truthfully, but also do their best to invite neighbours from the social network. In con…
Balancing Efficiency with Equality: Auction Design with Group Fairness Concerns
Fengjuan Jia, Mengxiao Zhang, Jiamou Liu +1
The issue of fairness in AI arises from discriminatory practices in applications like job recommendations and risk assessments, emphasising the need for algorithms that do not disc…
Meta-mechanisms for Combinatorial Auctions over Social Networks
Yuan Fang, Mengxiao Zhang, Jiamou Liu +1
Recently there has been a large amount of research designing mechanisms for auction scenarios where the bidders are connected in a social network. Different from the existing studi…
Deciding regular games: a playground for exponential time algorithms
Zihui Liang, Bakh Khoussainov, Mingyu Xiao
Regular games form a well-established class of games for analysis and synthesis of reactive systems. They include coloured Muller games, McNaughton games, Muller games, Rabin games…