Publications

61. J. Fernandez, J. Lobo, J. Minker and V.S. Subrahmanian. Disjunctive LP + Integrity Constraints = Stable Model Semantics, Annals of Mathematics and Artificial Intelligence, Vol. 8, pps 449--474, 1993.
       


62. R. Ng and V.S. Subrahmanian. A Semantical Framework for Supporting Subjective and Conditional Probabilities in Deductive Databases, Journal of Automated Reasoning, 10, 2, pps 191--235, 1993.



63. C. Baral and V.S. Subrahmanian. Dualities Between Alternative Semantics for Logic Programming and Non-Monotonic Reasoning, Journal of Automated Reasoning, 10, pps 399--420, 1993.
       


64. J. Lobo and V.S. Subrahmanian. Relating Minimal Models and Pre-Requisite-Free Normal Defaults, Information Processing Letters, 44, pps 129--133, 1992.
       


65. C. Baral and V.S. Subrahmanian. Stable and Extension Class Theory for Logic Programs and Default Theories, Journal of Automated Reasoning, 8, pps 345--366, 1992.
       


66. C. Baral, S. Kraus, J. Minker and V.S. Subrahmanian. Combining Knowledge Bases Consisting of First Order Theories, Computational Intelligence, 8, 1, pps 45--71, 1992.
       


67. W. Marek and V.S. Subrahmanian. The Relationship Between Stable, Supported, Default and Auto-Epistemic Semantics for General Logic Programs, in: Theoretical Computer Science, 103, pps 365--386, 1992.
       


68. M. Kifer and V.S. Subrahmanian. Theory of Generalized Annotated Logic Programming and its Applications, Journal of Logic Programming, 12, 4, pps 335--368, 1992.
       


69. V.S. Subrahmanian. Paraconsistent Disjunctive Deductive Databases, Theoretical Computer Science, Vol. 93, pps 115--141. February 1992.
       


70. T. Murata, V.S. Subrahmanian and T. Wakayama. A Petri Net Model for Reasoning in the Presence of Inconsistency, in: IEEE Transactions on Knowledge and Data Engineering, Vol. 3, 3, pps 281--292, 1991.