| 1993 |
|---|
| 9 | | Lenwood S. Heath,
Praveen K. Paripati,
John W. Roach:
Representing Polyhedra: Faces Are Better Than Vertices.
Comput. Geom. 3: 327-351 (1993) |
| 1990 |
|---|
| 8 | | J. Douglass Whitehead,
John W. Roach:
Hoist: A Second-Generation Expert System Based on Qualitative Physics.
AI Magazine 11(3): 108-119 (1990) |
| 7 | | John W. Roach,
R. Sundararajan,
L. T. Watson:
Replacing Unification by Constraint Satisfaction to Improve Logic Program Expressiveness.
J. Autom. Reasoning 6(1): 51-75 (1990) |
| 1989 |
|---|
| 6 | | David Joslin,
John W. Roach:
A Theoretical Analysis of Conjunctive-Goal Problems.
Artif. Intell. 41(1): 97-106 (1989) |
| 1987 |
|---|
| 5 | | David L. Sanford,
John W. Roach:
Representing and Using Metacommunication to Control Speakers' Relationships in Natural-Language Dialogue.
International Journal of Man-Machine Studies 26(3): 301-319 (1987) |
| 1982 |
|---|
| 4 | | John W. Roach,
Theodore D. Fuller:
A Prolog Simulation of Migration Decision Making in a Less Developed Country.
ICLP 1982: 110-115 |
| 1975 |
|---|
| 3 | | Laurent Siklóssy,
John W. Roach:
Model Verification and Improvement Using DISPROVER.
Artif. Intell. 6(1): 41-52 (1975) |
| 1974 |
|---|
| 2 | | Laurent Siklóssy,
John W. Roach:
Collaborative Problem-Solving Between Optimistic and Pessimistic Problem Solvers.
IFIP Congress 1974: 814-817 |
| 1973 |
|---|
| 1 | | Laurent Siklóssy,
John W. Roach:
Proving the Impossible is Impossible is Possible: Disproofs Based on Hereditary Partitions.
IJCAI 1973: 383-387 |
