| 1997 |
|---|
| 6 | | Daya Ram Gaur,
W. Ken Jackson,
William S. Havens:
Detecting Unsatisfiable CSPs by Coloring the Micro-Structure.
AAAI/IAAI 1997: 215 |
| 1995 |
|---|
| 5 | | W. Ken Jackson,
William S. Havens:
Committing to User Choices in Mixed Initiative CSPs.
SCAI 1995: 239-248 |
| 1994 |
|---|
| 4 | | James P. Delgrande,
Torsten Schaub,
W. Ken Jackson:
Alternative Approaches to Default Logic.
Artif. Intell. 70(1-2): 167-237 (1994) |
| 3 | | W. Ken Jackson,
F. Warren Burton:
A Definite and Unfoldable, Partially Deterministic Language.
Comput. J. 37(8): 711-714 (1994) |
| 1993 |
|---|
| 2 | | W. Ken Jackson,
F. Warren Burton:
Improving Intervals.
J. Funct. Program. 3(2): 153-169 (1993) |
| 1991 |
|---|
| 1 | | James P. Delgrande,
W. Ken Jackson:
Default Logic Revisited.
KR 1991: 118-127 |
