Papers

 

Refereed Conference Papers


6 pages worth of entries(page 4)
  1. V.S. Subrahmanian. Hybrid Knowledge Systems, Proc. 7th Space Operations, Applications and Research Symp., pps 218--225, Aug. 1993, Houston, Texas.
  2.        

  3. A. Bell, A. Nerode, R. Ng and V.S. Subrahmanian. Implementing Stable Semantics by Linear Programming, Proc. 1993 Intl. Workshop on Logic Programming and Nonmonotonic Reasoning, pps 23--42, Lisbon, Portugal, June 1993. MIT Press.
  4.        

  5. V.S. Subrahmanian. Hybrid Knowledge Bases for Intelligent Reasoning Systems, Invited Address, Proc. 8th Italian Conf. on Logic Programming, pps 3--17, Gizzeria, Italy, June 1993.
  6.        

  7. P. Bonatti, S. Kraus and V.S. Subrahmanian. Declarative Foundations of Secure Deductive Databases, Proc. 1992 Intl. Conf. on Database Theory, Lecture Notes in Computer Science, Vol. 646, pp. 391--406, Springer.
  8.        

  9. R. Ng and V.S. Subrahmanian. Empirical Probabilities in Monadic Deductive Databases, Proc. 8th Intl. Conf. on Uncertainty in Artificial Intelligence, pps 215--222, Morgan Kaufmann, July 1992.
  10.        

  11. K. Erol, D. Nau and V.S. Subrahmanian. On the Complexity of Domain-Independent Planning, Proc. 1992 Conf. of the American Association for Artificial Intelligence (AAAI-92), pps 381--386, MIT Press, July 1992.
  12.        

  13. K. Erol, D. Nau and V.S. Subrahmanian. When is Planning Decidable?, Proc. First Intl. Conf. on AI Planning Systems, (ed. J. Hendler), pps 222 -- 227, Morgan-Kaufmann, June 1992.
  14.        

  15. C. Bell, A. Nerode, R. Ng and V.S. Subrahmanian. Implementing Deductive Databases by Linear Programming, Proc. 1992 ACM SIGMOD/SIGACT/SIGART Symp. on Principles of Database Systems, pps 283--291, San Diego, May 1992.
  16.        

  17. R. Ng and V.S. Subrahmanian. Stable Model Semantics for Probabilistic Deductive Databases, Proc. 1991 Intl. Symp. on Methodologies for Intelligent Systems, pps 162--171, Springer-Verlag.
  18.        

  19. R. Ng and V.S. Subrahmanian. Relating Dempster-Shafer Theory to Stable Semantics, Proc. Intl. Logic Prog. Symp., pps 551--565, San Diego, Oct. 1991, MIT Press.


1 | 2 | 3 | 4 | 5 | 6
We are grateful to Rick Karhu inkswamp@nas.com for the "Links" logo

Web Accessibility