John Pais

Publication Activity (10 Years)

Years Active: 1990-1995
Publications (10 Years): 0

Publications

John Pais
Exterior Topology and Revision Spaces. J. Log. Comput. 5 (3) (1995)
John Pais
Revision Algebra Semantics for Conditional Logic. Stud Logica 51 (2) (1992)
John Pais
Faithful representation of nonmonotonic patterns of inference. Minds Mach. 2 (1) (1992)
John Pais, Peter Jackson
Partial Monotonicity and a New Version of the Ramsey Test. Stud Logica 51 (1) (1992)
John Pais, Gerald E. Peterson
Using Forcing to Prove Completeness of Resolution and Paramodulation. J. Symb. Comput. 11 (1/2) (1991)
Peter Jackson, John Pais
Semantic Accounts of Belief Revision. Truth Maintenance Systems (ECAI Workshop) (1990)
Peter Jackson, John Pais
Computing Prime Implicants. CADE (1990)