On rule systems whose consistency can be locally maintained
Guy A. Narboni · AI Communications · 2013
We describe and analyse a constraint language for expressing logic rules on variables having a finite integer range. Our rules can involve linear arithmetic operations and comparisons to capture common engineering knowledge. They are capable of bidir