We are developing an automated crime reporting and investigative interview system. The system incorporates cognitive interview techniques to maximize witness memory recall, and information extraction technology to extract and annotate crime entities from witness narratives and interview responses. Evaluations of the IE components of the system show that it captures 70 to 77% of information from...

JSON Schema is a schema language for documents, based on complex combination of structural operators, Boolean operators (negation included), and recursive variables. The static analysis documents comprises practically relevant problems, including satisfiability, inclusion, equivalence. These problems can be reduced to witness generation: given schema, generate an element the --- if it exists re...