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