Consistency checking of legal contracts using a temporal model

Andreas Strasser

Published in: Forschungsberichte, TU Munich (1990)

Keyphrases

consistency checking
probabilistic model
computational model
formal model
decision making
high level
database systems
spatio temporal
data exchange
incomplete information
temporal constraints