Concepedia

Merging Information Under Constraints: A Logical Framework

Sébastien Konieczny

Journal of Logic and Computation · 2002 · 358 citations · 0 references

Concepts

Constraint SolvingEngineeringConstraint SatisfactionAutomated ReasoningLogical FrameworkFormal MethodsComputer ScienceSemanticsConstraint Programming