Article-Journal

Formal verification and synthesis of mechanisms for social choice

Representing and reasoning about auctions

Data Fusion through Fuzzy-Bayesian Networks for Belief Generation in Cognitive Agents