Scott J. Shapiro

According to our database, Scott J. Shapiro authored at least 4 papers between 1992 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions.

Samuel Judson, Matthew Elacqua, Filip Cano, Timos Antonopoulos, Bettina Könighofer, Scott J. Shapiro, Ruzica Piskac

Proceedings of the Symposium on Computer Science and Law, 2024

soid: A Tool for Legal Accountability for Automated Decision Making.

Samuel Judson, Matthew Elacqua, Filip Cano, Timos Antonopoulos, Bettina Könighofer, Scott J. Shapiro, Ruzica Piskac

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

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

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

1992

Maps Between Nonmonotonic and Conditional Logic.

Horacio L. Arló-Costa, Scott J. Shapiro

Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, 1992