John Pais

According to our database, John Pais authored at least 7 papers between 1990 and 1995.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1995

Exterior Topology and Revision Spaces.

John Pais

J. Log. Comput., 1995

1992

Partial Monotonicity and a New Version of the Ramsey Test.

John Pais, Peter Jackson

Stud Logica, 1992

Revision Algebra Semantics for Conditional Logic.

John Pais

Stud Logica, 1992

Faithful representation of nonmonotonic patterns of inference.

John Pais

Minds Mach., 1992

1991

Using Forcing to Prove Completeness of Resolution and Paramodulation.

John Pais, Gerald E. Peterson

J. Symb. Comput., 1991

1990

Semantic Accounts of Belief Revision.

Peter Jackson, John Pais

Proceedings of the Truth Maintenance Systems, 1990

Computing Prime Implicants.

Peter Jackson, John Pais

Proceedings of the 10th International Conference on Automated Deduction, 1990