Shamim A. Naqvi

According to our database, Shamim A. Naqvi authored at least 46 papers between 1978 and 2003.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2003

Conflict Resolution Using Logic Programming.

Jan Chomicki, Jorge Lobo, Shamim A. Naqvi

IEEE Trans. Knowl. Data Eng., 2003

2000

Toward efficient monitoring.

Jia Jiao, Shamim A. Naqvi, Danny Raz, Binay Sugla

IEEE J. Sel. Areas Commun., 2000

A Logic Programming Approach to Conflict Resolution in Policy Management.

Jan Chomicki, Jorge Lobo, Shamim A. Naqvi

Proceedings of the KR 2000, 2000

Optimal Design of Signaling Networks for Internet Telephony.

Aravind Srinivasan, K. G. Ramakrishnan, Krishnan Kumaran, Murali Aravamudan, Shamim A. Naqvi

Proceedings of the Proceedings IEEE INFOCOM 2000, 2000

1999

Minimizing the Monitoring Cost in Network Management.

Jia Jiao, Shamim A. Naqvi, Danny Raz, Binay Sugla

Proceedings of the 1999 IEEE/IFIP International Symposium on Integrated Network Management, 1999

A Policy Description Language.

Jorge Lobo, Randeep Bhatia, Shamim A. Naqvi

Proceedings of the Sixteenth National Conference on Artificial Intelligence and Eleventh Conference on Innovative Applications of Artificial Intelligence, 1999

1998

Decentralized Micropayment Consolidation.

Jan Chomicki, Shamim A. Naqvi, Marc F. Pucci

Proceedings of the 18th International Conference on Distributed Computing Systems, 1998

1997

The AudioWeb.

Daniel Barbará, Shamim A. Naqvi

Proceedings of the Sixth International Conference on Information and Knowledge Management (CIKM'97), 1997

1996

Universal Access in Digital Libraries.

Nabil R. Adam, Shamim A. Naqvi

ACM Comput. Surv., 1996

PICSDesk: A Case Study on Business Process Re-engineering.

Manolis M. Tsangaris, Madhur Kohli, Shamim A. Naqvi, Richard Nunziata, Yatin P. Saraiya

Proceedings of the Twelfth International Conference on Data Engineering, February 26, 1996

1995

Using Constraints for Efficient Query Processing in Nondeterministic Databases.

Kumar V. Vadaparty, Shamim A. Naqvi

IEEE Trans. Knowl. Data Eng., 1995

Principles of Programming with Complex Objects and Collection Types.

Peter Buneman, Shamim A. Naqvi, Val Tannen, Limsoon Wong

Theor. Comput. Sci., 1995

1994

Promising Research Disrections in Disgital Libraries.

Nabil R. Adam, Milton Halem, Shamim A. Naqvi

Proceedings of the Digital Libraries: Current Issues, 1994

1993

The Decomposition Property of Non-Deterministic Databases.

Kumar V. Vadaparty, Shamim A. Naqvi

Proceedings of the Advanced Database Systems, 1993

Speculative Query Evaluation over Databases of Plans.

Shamim A. Naqvi, Tomasz Imielinski, Madhur Kohli, Kumar V. Vadaparty

Proceedings of the CIKM 93, 1993

1991

Set Constructors in a Logic Database Language.

Catriel Beeri, Shamim A. Naqvi, Oded Shmueli, Shalom Tsur

J. Log. Program., 1991

Incomplete Objects - A Data Model for Design and Planning Applications.

Tomasz Imielinski, Shamim A. Naqvi, Kumar V. Vadaparty

Proceedings of the 1991 ACM SIGMOD International Conference on Management of Data, 1991

Querying Design and Planning Databases.

Tomasz Imielinski, Shamim A. Naqvi, Kumar V. Vadaparty

Proceedings of the Deductive and Object-Oriented Databases, 1991

Structural Recursion as a Query Language.

Val Tannen, Peter Buneman, Shamim A. Naqvi

Proceedings of the Database Programming Languages: Bulk Types and Persistent Data. 3rd International Workshop, 1991

1990

The LDL System Prototype.

Danette Chimenti, Ruben Gamboa, Ravi Krishnamurthy, Shamim A. Naqvi, Shalom Tsur, Carlo Zaniolo

IEEE Trans. Knowl. Data Eng., 1990

Reasoning in Inconsistent Databases.

Shamim A. Naqvi, Francesca Rossi

Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990

1989

How Stratification is Used in LDL.

Shamim A. Naqvi

IEEE Data Eng. Bull., 1989

Database Transactions in LDL.

Ravi Krishnamurthy, Shamim A. Naqvi, Carlo Zaniolo

Proceedings of the Logic Programming, 1989

Contributions to the View Update Problem.

Francesca Rossi, Shamim A. Naqvi

Proceedings of the Logic Programming, 1989

Stratification as a Design Principle in Logical Query Langugages.

Shamim A. Naqvi

Proceedings of the Second International Workshop on Database Programming Languages, 1989

A Logical Language for Data and Knowledge Bases.

Shamim A. Naqvi, Shalom Tsur

Computer Science Press, ISBN: 0-7167-8200-6, 1989

1988

Towards a Real Horn Clause Language.

Ravi Krishnamurthy, Shamim A. Naqvi

Proceedings of the Fourteenth International Conference on Very Large Data Bases, August 29, 1988

Database Updates in Logic Programming.

Shamim A. Naqvi, Ravi Krishnamurthy

Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1988

Explicit Control of Logic Programs Through Rule Algebra.

Tomasz Imielinski, Shamim A. Naqvi

Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1988

Non-Deterministic Choice in Datalog.

Ravi Krishnamurthy, Shamim A. Naqvi

Proceedings of the Third International Conference on Data and Knowledge Bases: Improving Usability and Responsiveness, 1988

1987

Sets and Negation in a Logic Database Language (LDL1).

Catriel Beeri, Shamim A. Naqvi, Raghu Ramakrishnan, Oded Shmueli, Shalom Tsur

Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1987

Set Grouping and Layering in Horn Clause Programs.

Oded Shmueli, Shamim A. Naqvi

Proceedings of the Logic Programming, 1987

Semantics of Updates in Logic Programming.

Shamim A. Naqvi, Ravi Krishnamurthy

Proceedings of the Advances in Database Programming Languages, 1987

1986

A Logic for Negation in Database Systems.

Shamim A. Naqvi

Proceedings of the XP / 7.52 Workshop on Database Theory, 1986

Negation as Failure for First-Order Queries.

Shamim A. Naqvi

Proceedings of the Fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1986

Some Extensions to the Closed World Assumption in Databases.

Shamim A. Naqvi

Proceedings of the ICDT'86, 1986

Negative Queries in Horn Databases.

Shamim A. Naqvi

Proceedings of the Expert Database Systems, 1986

1985

A Brief Survey of Logic and Database Systems.

Shamim A. Naqvi

Proceedings of the On Knowledge Base Management Systems: Integrating Artificial Intelligence and Database Technologies, 1985

Negation in Knowledge Base Management Systems.

Shamim A. Naqvi

Proceedings of the On Knowledge Base Management Systems: Integrating Artificial Intelligence and Database Technologies, 1985

1984

On compiling queries in recursive first-order databases.

Lawrence J. Henschen, Shamim A. Naqvi

J. ACM, 1984

1983

Synthesizing Least Fixed Point Queries Into Non-Recursive Iterative Programs.

Shamim A. Naqvi, Lawrence J. Henschen

Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

1982

Representing Infinite Sequences of Resolvents in recursive First-Order Horn Databases.

Lawrence J. Henschen, Shamim A. Naqvi

Proceedings of the 6th Conference on Automated Deduction, 1982

Compiling Constraint-Checking Programs from First-Order Formulas.

Lawrence J. Henschen, William McCune, Shamim A. Naqvi

Proceedings of the Advances in Data Base Theory, 1982

1981

An Improved Filter for Literal Indexing in Resolution Systems.

Lawrence J. Henschen, Shamim A. Naqvi

Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981

1980

Performing Inferences over Recursive Data Bases.

Shamim A. Naqvi, Lawrence J. Henschen

Proceedings of the 1st Annual National Conference on Artificial Intelligence, 1980

1978

MSL: a microprocessors systems language.

Shamim A. Naqvi

Proceedings of the 16th Annual Southeast Regional Conference, 1978