Automated Verification of Social Laws in Numeric Settings.

Ronen Nir, Alexander Shleyfman, Erez Karpas

Browse the full AAAI paper archive.