The Methodology of Modal Constraints.

Kim Guldstrand Larsen Bernhard Steffen Carsten Weise

Published in: Formal Systems Specification (1994)

Keyphrases

modal logic
website
resource constraints
data mining
machine learning
genetic algorithm
social networks
information systems
bayesian networks
optimal solution
pairwise
relational databases
special case
constraint programming
constrained optimization
global constraints