Shamim A. Naqvi

Bing Citeseer DBLP Google Google Scholar Kosmix Wikipedia Yahoo!
Loading Google Thumbnails...
2003
42Conflict Resolution Using Logic Programming. Jan Chomicki, Jorge Lobo, Shamim A. Naqvi. IEEE Trans. Knowl. Data Eng. (15): 244-249 (2003). Cited by 68Web SearchBibTeXDownload
2000
41Optimal Design of Signaling Networks for Internet Telephony. Aravind Srinivasan, K. G. Ramakrishnan, Krishnan Kumaran, Murali Aravamudan, Shamim A. Naqvi. INFOCOM 2000, 707-716. Web SearchBibTeXDownload
40A Logic Programming Approach to Conflict Resolution in Policy Management. Jan Chomicki, Jorge Lobo, Shamim A. Naqvi. KR 2000, 121-132. Cited by 65Web SearchBibTeX
1999
39A Policy Description Language. Jorge Lobo, Randeep Bhatia, Shamim A. Naqvi. AAAI/IAAI 1999, 291-298. Web SearchBibTeX
1998
38Decentralized Micropayment Consolidation. Jan Chomicki, Shamim A. Naqvi, Marc F. Pucci. ICDCS 1998, 332-341. Cited by 2Web SearchBibTeXDownload
1997
37The AudioWeb. Daniel Barbará, Shamim A. Naqvi. CIKM 1997, 97-104. Web SearchBibTeXDownload
1996
36Universal Access in Digital Libraries. Nabil R. Adam, Shamim A. Naqvi. ACM Comput. Surv. (28): 105 (1996). Web SearchBibTeXDownload
35PICSDesk: A Case Study on Business Process Re-engineering. Manolis M. Tsangaris, Madhur Kohli, Shamim A. Naqvi, Richard Nunziata, Yatin P. Saraiya. ICDE 1996, 300-306. Web SearchBibTeXDownload
1995
34Using Constraints for Efficient Query Processing in Nondeterministic Databases. Kumar V. Vadaparty, Shamim A. Naqvi. IEEE Trans. Knowl. Data Eng. (7): 850-864 (1995). Web SearchBibTeXDownload
33Principles of Programming with Complex Objects and Collection Types. Peter Buneman, Shamim A. Naqvi, Val Tannen, Limsoon Wong. Theor. Comput. Sci. (149): 3-48 (1995). Cited by 226Web SearchBibTeXDownload
1994
32Promising Research Disrections in Disgital Libraries. Nabil R. Adam, Milton Halem, Shamim A. Naqvi. DL 1994, 21-29. Web SearchBibTeX
1993
31The Decomposition Property of Non-Deterministic Databases. Kumar V. Vadaparty, Shamim A. Naqvi. Advanced Database Systems 1993, 45-63. Web SearchBibTeXDownload
30Speculative Query Evaluation over Databases of Plans. Shamim A. Naqvi, Tomasz Imielinski, Madhur Kohli, Kumar V. Vadaparty. CIKM 1993, 439-450. Web SearchBibTeXDownload
1991
29Structural Recursion as a Query Language. Val Tannen, Peter Buneman, Shamim A. Naqvi. DBPL 1991, 9-19. Cited by 164Web SearchBibTeX
28Querying Design and Planning Databases. Tomasz Imielinski, Shamim A. Naqvi, Kumar V. Vadaparty. DOOD 1991, 524-545. Web SearchBibTeXDownload
27Set Constructors in a Logic Database Language. Catriel Beeri, Shamim A. Naqvi, Oded Shmueli, Shalom Tsur. J. Log. Program. (10): 181-232 (1991). Cited by 107Web SearchBibTeXDownload
26Incomplete Objects - A Data Model for Design and Planning Applications. Tomasz Imielinski, Shamim A. Naqvi, Kumar V. Vadaparty. SIGMOD Conference 1991, 288-297. Web SearchBibTeX
1990
25The LDL System Prototype. Danette Chimenti, Ruben Gamboa, Ravi Krishnamurthy, Shamim A. Naqvi, Shalom Tsur, Carlo Zaniolo. IEEE Trans. Knowl. Data Eng. (2): 76-90 (1990). Cited by 188Web SearchBibTeXDownload
24Reasoning in Inconsistent Databases. Shamim A. Naqvi, Francesca Rossi. NACLP 1990, 255-272. Web SearchBibTeX
1989
23Stratification as a Design Principle in Logical Query Langugages. Shamim A. Naqvi. DBPL 1989, 342-356. Web SearchBibTeX
22Contributions to the View Update Problem. Francesca Rossi, Shamim A. Naqvi. ICLP 1989, 398-415. Web SearchBibTeX
21How Stratification is Used in LDL. Shamim A. Naqvi. IEEE Data Eng. Bull. (12): 45-52 (1989). Web SearchBibTeXDownload
20Database Transactions in LDL. Ravi Krishnamurthy, Shamim A. Naqvi, Carlo Zaniolo. NACLP 1989, 795-815. Cited by 3Web SearchBibTeX
1988
19Non-Deterministic Choice in Datalog. Ravi Krishnamurthy, Shamim A. Naqvi. JCDKB 1988, 416-424. Web SearchBibTeX
18Database Updates in Logic Programming. Shamim A. Naqvi, Ravi Krishnamurthy. PODS 1988, 251-262. Web SearchBibTeX
17Explicit Control of Logic Programs Through Rule Algebra. Tomasz Imielinski, Shamim A. Naqvi. PODS 1988, 103-116. Web SearchBibTeX
16Towards a Real Horn Clause Language. Ravi Krishnamurthy, Shamim A. Naqvi. VLDB 1988, 252-263. Web SearchBibTeX
1987
15Semantics of Updates in Logic Programming. Shamim A. Naqvi, Ravi Krishnamurthy. DBPL 1987, 313-327. Web SearchBibTeX
14Set Grouping and Layering in Horn Clause Programs. Oded Shmueli, Shamim A. Naqvi. ICLP 1987, 152-177. Cited by 12Web SearchBibTeX
13Sets and Negation in a Logic Database Language (LDL1). Catriel Beeri, Shamim A. Naqvi, Raghu Ramakrishnan, Oded Shmueli, Shalom Tsur. PODS 1987, 21-37. Cited by 171Web SearchBibTeX
1986
12Negative Queries in Horn Databases. Shamim A. Naqvi. Expert Database Conf. 1986, 227-236. Web SearchBibTeX
11Some Extensions to the Closed World Assumption in Databases. Shamim A. Naqvi. ICDT 1986, 341-348. Web SearchBibTeXDownload
10Negation as Failure for First-Order Queries. Shamim A. Naqvi. PODS 1986, 114-122. Web SearchBibTeX
9A Logic for Negation in Database Systems. Shamim A. Naqvi. XP7.52 Workshop on Database Theory 1986. Web SearchBibTeX
1985
8Negation in Knowledge Base Management Systems. Shamim A. Naqvi. On Knowledge Base Management Systems (Islamorada) 1985, 125-145. Web SearchBibTeX
7A Brief Survey of Logic and Database Systems. Shamim A. Naqvi. On Knowledge Base Management Systems (Islamorada) 1985, 219-226. Web SearchBibTeX
1984
6On compiling queries in recursive first-order databases. Lawrence J. Henschen, Shamim A. Naqvi. J. ACM (31): 47-85 (1984). Web SearchBibTeXDownload
1983
5Synthesizing Least Fixed Point Queries Into Non-Recursive Iterative Programs. Shamim A. Naqvi, Lawrence J. Henschen. IJCAI 1983, 25-28. Web SearchBibTeX
1982
4Compiling Constraint-Checking Programs from First-Order Formulas. Lawrence J. Henschen, William McCune, Shamim A. Naqvi. Advances in Data Base Theory 1982, 145-169. Web SearchBibTeX
3Representing Infinite Sequences of Resolvents in recursive First-Order Horn Databases. Lawrence J. Henschen, Shamim A. Naqvi. CADE 1982, 342-359. Web SearchBibTeXDownload
1981
2An Improved Filter for Literal Indexing in Resolution Systems. Lawrence J. Henschen, Shamim A. Naqvi. IJCAI 1981, 525-529. Web SearchBibTeX
1980
1Performing Inferences over Recursive Data Bases. Shamim A. Naqvi, Lawrence J. Henschen. AAAI 1980, 263-265. Web SearchBibTeXDownload
from DBLP and Google Scholar

Services

References
1. ^ Untitled Document - Retrieved 2011-02-11 - details
Developed by the Database Group at the University of Wisconsin and Yahoo! Research