Publications

(2022). Formally Reasoning about Strategies in Mechanisms. OVERLAY@AIIA*.
(2021). Strategic Reasoning in Automated Mechanism Design. KR.
(2021). Epistemic Reasoning About Rationality and Bids in Auctions. JELIA.
(2021). A General Framework for the Logical Representation of Combinatorial Exchange Protocols. AAMAS.
(2019). Data Fusion through Fuzzy-Bayesian Networks for Belief Generation in Cognitive Agents. RITA.
(2019). A Fuzzy-Dynamic Bayesian Network Approach for Inference Filtering. ICAISC (1).