FLAVOR: A Formal Language for a Posteriori Verification of Legal Rules.

Romuald Thion Daniel Le Métayer

Published in: POLICY (2011)

Keyphrases

formal language
legal knowledge
formal semantics
natural language interface
transformation rules
association rules
representation language
formal languages
artificial intelligence
model checking
black box
production rules