Login / Signup

Betting Boolean-style: a framework for trading in securities based on logical formulas.

Lance FortnowJoe KilianDavid M. PennockMichael P. Wellman
Published in: Decis. Support Syst. (2005)
Keyphrases
  • electronic commerce
  • financial markets
  • logical formulas
  • partial order
  • real valued
  • theorem proving
  • trading strategies