An Order-Sorted Logic with Sort Literals and Disjointness Constraints.

Toni Bollinger Udo Pletat

Published in: KR (1992)

Keyphrases

order sorted logic
constraint satisfaction
consistency checking
constrained optimization
geometric constraints