Sign in

Many-Valued Institutions for Constraint Specification.

Claudia Elena ChiritaJosé Luiz FiadeiroFernando 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