Many-Valued Institutions for Constraint Specification.

Claudia Elena Chirita José Luiz Fiadeiro Fernando Orejas

Published in: FASE (2016)

Keyphrases

high level
modal logic
conceptual clustering
genetic algorithm
database systems
multi agent
constraint satisfaction problems
concept lattice
soft constraints
truth values