Login / Signup

Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law.

Raphaël MonatAymeric FromherzDenis Merigoux
Published in: ESOP (2) (2024)
Keyphrases
  • automatic detection
  • machine learning
  • neural network
  • real world
  • artificial intelligence
  • face recognition
  • learning environment
  • hidden markov models
  • legal reasoning
  • supreme court