Shamim A. Naqvi

According to our database1, Shamim A. Naqvi authored at least 43 papers between 1980 and 2003.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2003
Conflict Resolution Using Logic Programming.
IEEE Trans. Knowl. Data Eng., 2003

2000
A Logic Programming Approach to Conflict Resolution in Policy Management.
Proceedings of the KR 2000, 2000

Optimal Design of Signaling Networks for Internet Telephony.
Proceedings of the Proceedings IEEE INFOCOM 2000, 2000

1999
A Policy Description Language.
Proceedings of the Sixteenth National Conference on Artificial Intelligence and Eleventh Conference on Innovative Applications of Artificial Intelligence, 1999

1998
Decentralized Micropayment Consolidation.
Proceedings of the 18th International Conference on Distributed Computing Systems, 1998

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

1996
Universal Access in Digital Libraries.
ACM Comput. Surv., 1996

PICSDesk: A Case Study on Business Process Re-engineering.
Proceedings of the Twelfth International Conference on Data Engineering, February 26, 1996

1995
Using Constraints for Efficient Query Processing in Nondeterministic Databases.
IEEE Trans. Knowl. Data Eng., 1995

Principles of Programming with Complex Objects and Collection Types.
Theor. Comput. Sci., 1995

1994
Promising Research Disrections in Disgital Libraries.
Proceedings of the Digital Libraries: Current Issues, 1994

1993
The Decomposition Property of Non-Deterministic Databases.
Proceedings of the Advanced Database Systems, 1993

Speculative Query Evaluation over Databases of Plans.
Proceedings of the CIKM 93, 1993

1991
Set Constructors in a Logic Database Language.
J. Log. Program., 1991

Incomplete Objects - A Data Model for Design and Planning Applications.
Proceedings of the 1991 ACM SIGMOD International Conference on Management of Data, 1991

Querying Design and Planning Databases.
DOOD, 1991

Structural Recursion as a Query Language.
Proceedings of the Database Programming Languages: Bulk Types and Persistent Data. 3rd International Workshop, 1991

1990
The LDL System Prototype.
IEEE Trans. Knowl. Data Eng., 1990

Reasoning in Inconsistent Databases.
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.
IEEE Data Eng. Bull., 1989

Database Transactions in LDL.
Proceedings of the Logic Programming, 1989

Contributions to the View Update Problem.
Proceedings of the Logic Programming, 1989

Stratification as a Design Principle in Logical Query Langugages.
Proceedings of the Second International Workshop on Database Programming Languages, 1989

A Logical Language for Data and Knowledge Bases.
Computer Science Press, ISBN: 0-7167-8200-6, 1989

1988
Towards a Real Horn Clause Language.
Proceedings of the Fourteenth International Conference on Very Large Data Bases, August 29, 1988

Database Updates in Logic Programming.
Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1988

Explicit Control of Logic Programs Through Rule Algebra.
Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1988

Non-Deterministic Choice in Datalog.
JCDKB, 1988

1987
Sets and Negation in a Logic Database Language (LDL1).
Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1987

Set Grouping and Layering in Horn Clause Programs.
Proceedings of the Logic Programming, 1987

Semantics of Updates in Logic Programming.
Proceedings of the Advances in Database Programming Languages, 1987

1986
A Logic for Negation in Database Systems.
Proceedings of the XP / 7.52 Workshop on Database Theory, 1986

Negation as Failure for First-Order Queries.
Proceedings of the Fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1986

Some Extensions to the Closed World Assumption in Databases.
Proceedings of the ICDT'86, 1986

Negative Queries in Horn Databases.
Expert Database Conf., 1986

1985
A Brief Survey of Logic and Database Systems.
On Knowledge Base Management Systems (Islamorada), 1985

Negation in Knowledge Base Management Systems.
On Knowledge Base Management Systems (Islamorada), 1985

1984
On compiling queries in recursive first-order databases.
J. ACM, 1984

1983
Synthesizing Least Fixed Point Queries Into Non-Recursive Iterative Programs.
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

1982
Representing Infinite Sequences of Resolvents in recursive First-Order Horn Databases.
Proceedings of the 6th Conference on Automated Deduction, 1982

Compiling Constraint-Checking Programs from First-Order Formulas.
Proceedings of the Advances in Data Base Theory, 1982

1981
An Improved Filter for Literal Indexing in Resolution Systems.
Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981

1980
Performing Inferences over Recursive Data Bases.
Proceedings of the 1st Annual National Conference on Artificial Intelligence, 1980


  Loading...