Login / Signup
Logics for Reasoning about Auctions (Short Paper).
Munyque Mittelmann
Published in:
IPS/RiCeRcA/SPIRIT@AI*IA (2022)
Keyphrases
</>
expressive power
modal logic
multi attribute
online auctions
spatial reasoning
modal operators
information revelation
auction protocol
group buying
epistemic logic
qualitative reasoning
combinatorial auctions
formal theory
inference rules
propositional calculus
supply chain
neural network