A Logic-Based Agent Modelling Paradigm for Investment in Derivatives Markets. - Jonathan Waller; Tarun Goel (SAI (2), 2020)