Experiments with discrimination-tree indexing and path indexing for term retrieval William McCune OriginalPaper Pages: 147 - 167
A logic for reasoning with inconsistency Michael KiferEliezer L. Lozinskii OriginalPaper Pages: 179 - 215
Uncertainty management with imprecise knowledge with application to design Donald E. BrownWendy J. Markert OriginalPaper Pages: 217 - 230
CLP(ℜ) and some electrical engineering problems Nevin HeintzeSpiro MichaylovPeter Stuckey OriginalPaper Pages: 231 - 260
Complexity of unification problems with associative-commutative operators Deepak KapurPaliath Narendran OriginalPaper Pages: 261 - 288