Maps Between Nonmonotonic and Conditional Logic. - Horacio L. Arló-Costa; Scott J. Shapiro (KR, 1992)

Analyzing Intentional Behavior in Autonomous Agents under Uncertainty. - Filip Cano Córdoba; Samuel Judson; Timos Antonopoulos; Katrine Bjørner; Nicholas Shoemaker; Scott J. Shapiro; Ruzica Piskac; Bettina Könighofer (IJCAI, 2023)

soid: A Tool for Legal Accountability for Automated Decision Making. - Samuel Judson; Matthew Elacqua; Filip Cano 001; Timos Antonopoulos; Bettina Könighofer; Scott J. Shapiro; Ruzica Piskac (CAV (2), 2024)

'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions. - Samuel Judson; Matthew Elacqua; Filip Cano 001; Timos Antonopoulos; Bettina Könighofer; Scott J. Shapiro; Ruzica Piskac (CSLAW, 2024)

Scheherazade: Evaluating Chain-of-Thought Math Reasoning in LLMs with Chain-of-Problems. - Stephen Miner; Yoshiki Takashima; Simeng Han; Ferhat Erata; Timos Antonopoulos; Ruzica Piskac; Scott J. Shapiro (CoRR, 2024)