Papers

41. C. Baral and V.S. Subrahmanian. Dualities Between Alternative Semantics for Logic Programming and Non-Monotonic Reasoning, in: Proc. First International Workshop on Logic Programming and Non-Monotonic Reasoning, pps 69--86, MIT Press, July 1991.
       


42. R. Ng and V.S. Subrahmanian. Non-Monotonic Negation in Probabilistic Deductive Databases, in: Proc. 7th Intl. Conf. on Uncertainty in Artificial Intelligence, pps 249--256, Morgan Kaufmann, July 1991.
       


43. J. Minker and V.S. Subrahmanian. Completion Theoretic Semantics for Disjunctive Logic Programs, Proc. 1990 Int. Symp. on Methodologies for Intelligent Systems, pps 545--552, Knoxville, Tennessee, North Holland. Aug. 1990.
       


44. N.C.A. da Costa, L.J. Henschen, J. Lu and V.S. Subrahmanian. Automatic Theorem Proving in Paraconsistent Logics: Theory and Implementation, in: Proc. 10th International Conference on Automated Deduction, Springer Lecture Notes in Computer Science Vol. 449, pps 72--86, July 1990.
       


45. T. Murata, V.S. Subrahmanian and T. Wakayama. A High-Level Petri Net Model for Reasoning in the Presence of Inconsistency, in: Proc. 11th International Conference on Applications and Theory of Petri Nets, Paris, France, June 1990.
        


46. The Query Topology in Logic Programming, in: Proc.1989 International Symposium on Theoretical Aspects of Computer Science, Lecture Notes in Computer Science Vol. 349, pps 375--387, Springer-Verlag. (with Aida Batarekh). 1989.
       


47. V.S. Subrahmanian. Algebraic Properties of the Space of Multivalued and Paraconsistent Logic Programs, in: Proc. 9th International Conference on Foundations of Software Technology and Theoretical Computer Science, Lecture Notes in Computer Science Vol. 405, pp 56--67, Springer-Verlag, Dec. 1989.
       


48. M. Kifer and V.S. Subrahmanian. On the Expressive Power of Annotation Based Logic Programs, Proc. 1989 North American Conference on Logic Programming, pps 1069--1089 (Vol. 2), (eds. E. Lusk and R. Overbeek), Cleveland, Ohio, Oct. 1989, MIT Press.
        


49. V. Digricoli, J. Lu and V.S. Subrahmanian. AND-OR Graphs Applied to RUE-Resolution, in: Proc. 11th International Joint Conference on Artificial Intelligence, pps 354--358, Detroit, Michigan, Aug. 1989.
        


50. W. Marek and V.S. Subrahmanian. The Relationship Between Logic Program Semantics and Non-Monotonic Reasoning, in: Proc. 6th International Conference on Logic Programming, (eds. G. Levi and M. Martelli), pps 600--617, Lisbon, Portugal, June 1989, MIT Press.