Temporal Properties of Legal Decision Networks: A Case Study from the International Criminal Court.

Fabien Tarissan Raphaëlle Nollez-Goldbach

Published in: JURIX (2015)

Keyphrases

temporal properties
model checking
decision making
artificial intelligence and law
formal methods
possibility theory
social networks
case study
decision makers
information sharing
network structure
law enforcement
artificial intelligence
decision rules
temporal logic
intelligence and security informatics