|
John Pais, CV-Résumé |
| Published Abstracts/Articles
Logic, Mathematics, & Computer Science (1990-1995) J. Pais. Exterior Topology and Revision Spaces. Journal of Logic and Computation 5 (3), 347-366, 1995. J. Pais. The Topology of Nonmonotonicity. Bulletin of Symbolic Logic 1 (1), Abstracts of Logic Colloquium '93, 100-101, 1995. J. Pais. Revision Algebra Semantics for Conditional Logic. Studia Logica 51 (2), 279-316, 1992. J. Pais. Faithful Representation of Nonmonotonic Patterns of Inference. Minds and Machines 2 (1 ), 27-49, 1992. J. Pais and P. Jackson. Partial Monotonicity and a New Version of the Ramsey Test. Studia Logica 51 (1), 21-47, 1992. J. Pais and G. Peterson. Using Forcing to Prove Completeness of Resolution and Paramodulation. Journal of Symbolic Computation 11 (1 ), 3-19, 1991. J. Pais. Partially Monotonic Revision Operators for Revising Deductive Databases. Abstracts of the Second International Conference on Industrial and Applied Mathematics, Sheraton Washington Hotel, Washington, DC, 1991. J. Pais. Nonmonotonic Clause Management Systems for Revising Plan Assumptions. In P. Lehner (ed.), Proceedings of the DARPA Conference on Associate Technology, 99-110, George Mason University, Fairfax, VA, 1991. P. Jackson and J. Pais. Semantic Accounts of Belief Revision. In J. Martins and M. Reinfrank (eds.), Truth Maintenance Systems, 155-177, Berlin: Springer-Verlag, 1991. P. Jackson and J. Pais. Computing Prime Implicants. In M. Stickel
(ed.), Lecture Notes in Artificial Intelligence, 449, Proceedings of the
10th International Conference on Automated Deduction, 543-557, Berlin:
Springer-Verlag, 1990.
|