PaperAnalysis of Watson's strategies for playing Jeopardy!Gerald Tesauro, David C. Gondek, et al.JAIR
Conference paperOn the Number of Quantifiers as a Complexity MeasureRonald Fagin, Jonathan Lenchner, et al.MFCS 2022
Conference paperOn the Number of Quantifiers Needed to Define Boolean FunctionsMarco Carmosino, Ronald Fagin, et al.MFCS 2024