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] |