( en | de | ru )

 

Disambiguation of "Naqvi, Shamim A."

Author of the publication

copydeleteadd this publication to your clipboard
Semantics of Updates in Logic Programming.

, and . DBPL, page 313-327. ACM Press / Addison-Wesley, (1987)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Farheen Naqvi

Akhter Naqvi

Erum Sughra Naqvi

Shamim Rafat

Shamim Ahmad

 

Other publications of authors with the same name

Negation as Failure for First-Order Queries.. PODS, page 114-122. ACM, (1986)Negation in Knowledge Base Management Systems.. On Knowledge Base Management Systems (Islamorada), page 125-145. Springer, (1985)Performing Inferences over Recursive Data Bases., and . AAAI, page 263-265. AAAI Press/MIT Press, (1980)Optimal Design of Signaling Networks for Internet Telephony., , , , and . INFOCOM, page 707-716. IEEE Computer Society, (2000)Towards a Real Horn Clause Language., and . VLDB, page 252-263. Morgan Kaufmann, (1988)A Logical Language for Data and Knowledge Bases., and . Computer Science Press, (1989)A Logic for Negation in Database Systems.. XP7.52 Workshop on Database Theory, (1986)Set Grouping and Layering in Horn Clause Programs., and . ICLP, page 152-177. MIT Press, (1987)Stratification as a Design Principle in Logical Query Langugages.. DBPL, page 342-356. Morgan Kaufmann, (1989)Representing Infinite Sequences of Resolvents in recursive First-Order Horn Databases., and . CADE, volume 138 of Lecture Notes in Computer Science, page 342-359. Springer, (1982)