Relaxation in Constraint Logic Languages.

Kannan Govindarajan Bharat Jayaraman Surya Mantha

Published in: ILPS (1995)

Keyphrases

constraint language
expressive power
formal language
computational properties
highly expressive
linear constraints
modal logic
constraint solving
iterative algorithms
classical logic
logic programming
automated reasoning
text summarization
multi lingual
global constraints
knowledge base
integer variables