English
Related papers

Related papers: A General Framework for the Logical Representation…

200 papers

A general framework is suggested to describe human decision making in a certain class of experiments performed in a trading laboratory. We are in particular interested in discerning between two different moods, or states of the investors,…

Trading and Market Microstructure · Quantitative Finance 2013-06-11 Maxence Soumare , Jørgen Vitting Andersen , Francis Bouchard , Alain Elkaim , Dominique Guégan , Justin Leroux , Michel Miniconi , Lars Stentoft

Mechanism design, a branch of economics, aims to design rules that can autonomously achieve desired outcomes in resource allocation and public decision making. The research on mechanism design using machine learning is called automated…

Computer Science and Game Theory · Computer Science 2024-12-17 Tsuyoshi Suehara , Koh Takeuchi , Hisashi Kashima , Satoshi Oyama , Yuko Sakurai , Makoto Yokoo

We are often interested in decomposing complex, structured data into simple components that explain the data. The linear version of this problem is well-studied as dictionary learning and factor analysis. In this work, we propose a…

Machine Learning · Computer Science 2024-07-29 Avrim Blum , Kavya Ravichandran

Asymmetric combination of logics is a formal process that develops the characteristic features of a specific logic on top of another one. Typical examples include the development of temporal, hybrid, and probabilistic dimensions over a…

Logic · Mathematics 2017-05-10 Renato Neves , Alexandre Madeira , Luis S. Barbosa , Manuel A. Martins

We present a unified framework for the declarative analysis of structured communications. By relying on a (timed) concurrent constraint programming language, we show that in addition to the usual operational techniques from process calculi,…

Programming Languages · Computer Science 2010-02-05 Hugo A. López , Carlos Olarte , Jorge A. Pérez

This paper presents a realistic simulated stock market where large language models (LLMs) act as heterogeneous competing trading agents. The open-source framework incorporates a persistent order book with market and limit orders, partial…

Computational Finance · Quantitative Finance 2025-04-16 Alejandro Lopez-Lira

Among the various forms of reasoning studied in the context of artificial intelligence, qualitative reasoning makes it possible to infer new knowledge in the context of imprecise, incomplete information without numerical values. In this…

Artificial Intelligence · Computer Science 2026-02-10 Quentin Cohen-Solal , Alexandre Niveau , Maroua Bouzid

One of the central problems in auction design is developing an incentive-compatible mechanism that maximizes the auctioneer's expected revenue. While theoretical approaches have encountered bottlenecks in multi-item auctions, recently,…

Computer Science and Game Theory · Computer Science 2023-01-24 Zhijian Duan , Jingwu Tang , Yutong Yin , Zhe Feng , Xiang Yan , Manzil Zaheer , Xiaotie Deng

We analyze the computational complexity of market maker pricing algorithms for combinatorial prediction markets. We focus on Hanson's popular logarithmic market scoring rule market maker (LMSR). Our goal is to implicitly maintain correct…

Computer Science and Game Theory · Computer Science 2008-02-12 Yiling Chen , Lance Fortnow , Nicolas Lambert , David M. Pennock , Jennifer Wortman

Mechanisms such as auctions and pricing schemes are utilized to design strategic (noncooperative) games for networked systems. Although the participating players are selfish, these mechanisms ensure that the game outcome is optimal with…

Computer Science and Game Theory · Computer Science 2010-09-03 Tansu Alpcan , Holger Boche , Siddharth Naik

Multi-party Conversational Systems are systems with natural language interaction between one or more people or systems. From the moment that an utterance is sent to a group, to the moment that it is replied in the group by a member, several…

Computation and Language · Computer Science 2017-05-08 Maira Gatti de Bayser , Paulo Cavalin , Renan Souza , Alan Braz , Heloisa Candello , Claudio Pinhanez , Jean-Pierre Briot

Game-theoretic models relevant for computer science applications usually feature a large number of players. The goal of this paper is to develop an analytical framework for bounding the price of anarchy in such models. We demonstrate the…

Computer Science and Game Theory · Computer Science 2015-04-06 Michal Feldman , Nicole Immorlica , Brendan Lucier , Tim Roughgarden , Vasilis Syrgkanis

Meaning negotiation (MN) is the general process with which agents reach an agreement about the meaning of a set of terms. Artificial Intelligence scholars have dealt with the problem of MN by means of argumentations schemes, beliefs merging…

Artificial Intelligence · Computer Science 2015-03-17 Elisa Burato , Matteo Cristani , Luca Viganò

To support a freight carrier in a combinatorial transport auction, we proposes an exact and two heuristic strategies for bidding on subsets of requests. The exact bidding strategy is based on the concept of elementary request combinations.…

Computer Science and Game Theory · Computer Science 2014-06-10 Tobias Buer

We investigate auction mechanisms for AI-generated content, focusing on applications like ad creative generation. In our model, agents' preferences over stochastically generated content are encoded as large language models (LLMs). We…

Computer Science and Game Theory · Computer Science 2024-07-03 Paul Duetting , Vahab Mirrokni , Renato Paes Leme , Haifeng Xu , Song Zuo

Recent advances in Fourier analysis have brought new tools to efficiently represent and learn set functions. In this paper, we bring the power of Fourier analysis to the design of combinatorial auctions (CAs). The key idea is to approximate…

Computer Science and Game Theory · Computer Science 2023-03-14 Jakob Weissteiner , Chris Wendler , Sven Seuken , Ben Lubin , Markus Püschel

Experiments require human decisions in the design process, which in turn are reformulated and summarized as inputs into a system (computational or otherwise) to generate the experimental design. I leverage this system to promote a language…

Other Computer Science · Computer Science 2023-07-26 Emi Tanaka

We propose a combinatorial ascending auction that is "approximately" optimal, requiring minimal rationality to achieve this level of optimality, and is robust to strategic and distributional uncertainties. Specifically, the auction is…

Theoretical Economics · Economics 2024-08-23 Wei He , Jiangtao Li , Weijie Zhong

We study combinatorial auctions with interdependent valuations. In such settings, each agent $i$ has a private signal $s_i$ that captures her private information, and the valuation function of every agent depends on the entire signal…

Computer Science and Game Theory · Computer Science 2019-06-04 Alon Eden , Michal Feldman , Amos Fiat , Kira Goldner , Anna R. Karlin

One hallmark of human language is its combinatoriality -- reusing a relatively small inventory of building blocks to create a far larger inventory of increasingly complex structures. In this paper, we explore the idea that combinatoriality…

Computation and Language · Computer Science 2024-05-14 Guangyuan Jiang , Matthias Hofer , Jiayuan Mao , Lionel Wong , Joshua B. Tenenbaum , Roger P. Levy