| |
| 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 | |
| 1 | Peter Jackson | [1] [2] [5] |
| 2 | Gerald E. Peterson | [3] |