Shamim A. Naqvi

Jan Chomicki, Jorge Lobo, Shamim A. Naqvi: Conflict Resolution Using Logic Programming. IEEE Trans. Knowl. Data Eng. 15(1): 244-249 (2003)

Aravind Srinivasan, K. G. Ramakrishnan, Krishnan Kumaran, Murali Aravamudan, Shamim A. Naqvi: Optimal Design of Signaling Networks for Internet Telephony. INFOCOM 2000: 707-716

Jan Chomicki, Jorge Lobo, Shamim A. Naqvi: A Logic Programming Approach to Conflict Resolution in Policy Management. KR 2000: 121-132

Jorge Lobo, Randeep Bhatia, Shamim A. Naqvi: A Policy Description Language. AAAI/IAAI 1999: 291-298

Jan Chomicki, Shamim A. Naqvi, Marc F. Pucci: Decentralized Micropayment Consolidation. ICDCS 1998: 332-341

Daniel Barbará, Shamim A. Naqvi: The AudioWeb. CIKM 1997: 97-104

Nabil R. Adam, Shamim A. Naqvi: Universal Access in Digital Libraries. ACM Comput. Surv. 28(4es): 105 (1996)

Manolis M. Tsangaris, Madhur Kohli, Shamim A. Naqvi, Richard Nunziata, Yatin P. Saraiya: PICSDesk: A Case Study on Business Process Re-engineering. ICDE 1996: 300-306

Peter Buneman, Shamim A. Naqvi, Val Tannen, Limsoon Wong: Principles of Programming with Complex Objects and Collection Types. Theor. Comput. Sci. 149(1): 3-48 (1995)

Kumar V. Vadaparty, Shamim A. Naqvi: Using Constraints for Efficient Query Processing in Nondeterministic Databases. IEEE Trans. Knowl. Data Eng. 7(6): 850-864 (1995)

Nabil R. Adam, Milton Halem, Shamim A. Naqvi: Promising Research Disrections in Disgital Libraries. DL 1994: 21-29

Shamim A. Naqvi, Tomasz Imielinski, Madhur Kohli, Kumar V. Vadaparty: Speculative Query Evaluation over Databases of Plans. CIKM 1993: 439-450

Kumar V. Vadaparty, Shamim A. Naqvi: The Decomposition Property of Non-Deterministic Databases. Advanced Database Systems 1993: 45-63

Catriel Beeri, Shamim A. Naqvi, Oded Shmueli, Shalom Tsur: Set Constructors in a Logic Database Language. J. Log. Program. 10(3&4): 181-232 (1991)

Val Tannen, Peter Buneman, Shamim A. Naqvi: Structural Recursion as a Query Language. DBPL 1991: 9-19

Tomasz Imielinski, Shamim A. Naqvi, Kumar V. Vadaparty: Querying Design and Planning Databases. DOOD 1991: 524-545

Tomasz Imielinski, Shamim A. Naqvi, Kumar V. Vadaparty: Incomplete Objects - A Data Model for Design and Planning Applications. SIGMOD Conference 1991: 288-297

Danette Chimenti, Ruben Gamboa, Ravi Krishnamurthy, Shamim A. Naqvi, Shalom Tsur, Carlo Zaniolo: The LDL System Prototype. IEEE Trans. Knowl. Data Eng. 2(1): 76-90 (1990)

Shamim A. Naqvi, Francesca Rossi: Reasoning in Inconsistent Databases. NACLP 1990: 255-272

Shamim A. Naqvi, Shalom Tsur: A Logical Language for Data and Knowledge Bases. Computer Science Press 1989, isbn 0-7167-8200-6

Shamim A. Naqvi: How Stratification is Used in LDL. IEEE Data Eng. Bull. 12(3): 45-52 (1989)

Shamim A. Naqvi: Stratification as a Design Principle in Logical Query Langugages. DBPL 1989: 342-356

Francesca Rossi, Shamim A. Naqvi: Contributions to the View Update Problem. ICLP 1989: 398-415

Ravi Krishnamurthy, Shamim A. Naqvi, Carlo Zaniolo: Database Transactions in LDL. NACLP 1989: 795-815

Ravi Krishnamurthy, Shamim A. Naqvi: Non-Deterministic Choice in Datalog. JCDKB 1988: 416-424

Tomasz Imielinski, Shamim A. Naqvi: Explicit Control of Logic Programs Through Rule Algebra. PODS 1988: 103-116

Shamim A. Naqvi, Ravi Krishnamurthy: Database Updates in Logic Programming. PODS 1988: 251-262

Ravi Krishnamurthy, Shamim A. Naqvi: Towards a Real Horn Clause Language. VLDB 1988: 252-263

Shamim A. Naqvi, Ravi Krishnamurthy: Semantics of Updates in Logic Programming. DBPL 1987: 313-327

Oded Shmueli, Shamim A. Naqvi: Set Grouping and Layering in Horn Clause Programs. ICLP 1987: 152-177

Catriel Beeri, Shamim A. Naqvi, Raghu Ramakrishnan, Oded Shmueli, Shalom Tsur: Sets and Negation in a Logic Database Language (LDL1). PODS 1987: 21-37

Shamim A. Naqvi: Negative Queries in Horn Databases. Expert Database Conf. 1986: 227-236

Shamim A. Naqvi: Some Extensions to the Closed World Assumption in Databases. ICDT 1986: 341-348

Shamim A. Naqvi: Negation as Failure for First-Order Queries. PODS 1986: 114-122

Shamim A. Naqvi: A Logic for Negation in Database Systems. XP7.52 Workshop on Database Theory 1986

Shamim A. Naqvi: Negation in Knowledge Base Management Systems. On Knowledge Base Management Systems (Islamorada) 1985: 125-145

Shamim A. Naqvi: A Brief Survey of Logic and Database Systems. On Knowledge Base Management Systems (Islamorada) 1985: 219-226

Lawrence J. Henschen, Shamim A. Naqvi: On compiling queries in recursive first-order databases. J. ACM 31(1): 47-85 (1984)

Shamim A. Naqvi, Lawrence J. Henschen: Synthesizing Least Fixed Point Queries Into Non-Recursive Iterative Programs. IJCAI 1983: 25-28

Lawrence J. Henschen, William McCune, Shamim A. Naqvi: Compiling Constraint-Checking Programs from First-Order Formulas. Advances in Data Base Theory 1982: 145-169

Lawrence J. Henschen, Shamim A. Naqvi: Representing Infinite Sequences of Resolvents in recursive First-Order Horn Databases. CADE 1982: 342-359

Lawrence J. Henschen, Shamim A. Naqvi: An Improved Filter for Literal Indexing in Resolution Systems. IJCAI 1981: 525-529

Shamim A. Naqvi, Lawrence J. Henschen: Performing Inferences over Recursive Data Bases. AAAI 1980: 263-265