Publications

51. V.S. Subrahmanian, D.S. Nau and C. Vago. WFS + Branch and Bound = Stable Models, IEEE Transactions on Knowledge and Data Engineering, 7, 3, pps 362--377, June 1995.
       


52. P. Bonatti, S. Kraus and V.S. Subrahmanian. Foundations of Secure Deductive Databases, IEEE Transactions on Knowledge and Data Engineering, 7,3, pps, June 1995.



53. R. Ng and V.S. Subrahmanian. Stable Semantics for Probabilistic Deductive Databases, Information and Computation, 110, 1, pps 42-83, 1994.
       


54. V. Kagan, A. Nerode and V.S. Subrahmanian. Computing Definite Logic Programs by Partial Instantiation, Annals of Pure and Applied Logic, Vol. 67, pps 161--182, 1994.
       


55. V.S. Subrahmanian. Amalgamating Knowledge Bases, ACM Transactions on Database Systems, 19, 2, pp. 291--331, 1994.
       


56. C. Bell, A. Nerode, R. Ng and V.S. Subrahmanian. Mixed Integer Programming Methods for Computing Non-Monotonic Deductive Databases, Journal of the ACM, Vol. 41, Nr. 6, pps 1178--1215, Nov. 1994.
       


57. S. Adali and V.S. Subrahmanian. Amalgamating Knowledge Bases, II: Distributed Mediators. Intl. Journal of Intelligent Cooperative Information Systems, 3,4, pps 349--383, 1994.
       


58. C. Baral, S. Kraus, J. Minker, and V.S. Subrahmanian. Combining Default Logic Databases, in: Intl. Journal of Intelligent and Cooperative Info. Systems, 3,3, pps 319--348, 1994.
       


59. J. Lu and V.S. Subrahmanian. Completeness Issues in RUE--NRF Deduction, Journal of Automated Reasoning, 10, pps 371--388, 1993.
       


60. R. Ng and V.S. Subrahmanian. Probabilistic Logic Programming, Information and Computation, 101, 2, pps 150--201, 1993.