| 1995 |
|---|
| 6 | | John Pais:
Exterior Topology and Revision Spaces.
J. Log. Comput. 5(3): 347-366 (1995) |
| 1992 |
|---|
| 5 | | John Pais,
Peter Jackson:
Partial Monotonicity and a New Version of the Ramsey Test.
Studia Logica 51(1): 21-47 (1992) |
| 4 | | John Pais:
Revision Algebra Semantics for Conditional Logic.
Studia Logica 51(2): 279-316 (1992) |
| 1991 |
|---|
| 3 | | John Pais,
Gerald E. Peterson:
Using Forcing to Prove Completeness of Resolution and Paramodulation.
J. Symb. Comput. 11(1/2): 3-19 (1991) |
| 1990 |
|---|
| 2 | | Peter Jackson,
John Pais:
Computing Prime Implicants.
CADE 1990: 543-557 |
| 1 | | Peter Jackson,
John Pais:
Semantic Accounts of Belief Revision.
Truth Maintenance Systems (ECAI Workshop) 1990: 155-177 |
