Deriving Law-Abiding Instances.

Ryan G. Scott Vikraman Choudhury Ryan Newton Niki Vazou Ranjit Jhala

Published in: CoRR (2017)

Keyphrases

artificial intelligence and law
knowledge base
proceedings of the th international conference
randomly generated
test instances
legal reasoning
run times
information systems
web services
image sequences
instance selection
case law
supreme court