Transaction Logic Programming
暂无分享,去创建一个
[1] Hirofumi Katsuno,et al. On the Difference between Updating a Knowledge Base and Revising It , 1991, KR.
[2] L. Thorne McCarty,et al. Permissions and Obligations , 1983, IJCAI.
[3] François Bancilhon,et al. A logic-programming/object-oriented cocktail , 1986, SGMD.
[4] John McCarthy,et al. SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .
[5] David Scott Warren,et al. A Logic-based Language for Database Updates , 1988, Foundations of Deductive Databases and Logic Programming..
[6] Shamim A. Naqvi,et al. Database updates in logic programming , 1988, PODS.
[7] Robert A. Kowalski,et al. Database Updates in the Event Calculus , 1992, J. Log. Program..
[8] Weidong Chen,et al. Declarative Specification and Evaluation of Database Updates , 1991, DOOD.
[9] David Harel,et al. Process Logic: Expressiveness, Decidability, Completeness , 1980, FOCS.
[10] James F. Allen. Towards a General Theory of Action and Time , 1984, Artif. Intell..
[11] Catriel Beeri,et al. New data models and languages—the challenge , 1992, PODS.
[12] Eric Simon,et al. Modelling Non Deterministic Queries and Updates in Deductive Databases , 1988, VLDB.
[13] Yoav Shoham,et al. A propositional modal logic of time intervals , 1991, JACM.
[14] Marianne Winslett,et al. A model-based approach to updating databases with incomplete information , 1988, TODS.
[15] Marek J. Sergot,et al. A logic-based calculus of events , 1989, New Generation Computing.
[16] Alberto O. Mendelzon,et al. Updates and Subjunctive Queries , 1995, Inf. Comput..
[17] L. Thorne McCarty,et al. Reasoning About Indefinite Actions , 1992, KR.
[18] Serge Abiteboul,et al. Procedural and declarative database update languages , 1988, PODS '88.
[19] M.P. Georgeff,et al. Procedural knowledge , 1986, Proceedings of the IEEE.
[20] Michael Kifer,et al. Logical foundations of object-oriented and frame-based languages , 1995, JACM.
[21] Kenneth A. Ross,et al. Glue-Nail: a deductive database system , 1991, SIGMOD '91.
[22] Raymond Reiter,et al. On Formalizing Database Updates: Preliminary Report , 1992, EDBT.
[23] L. Thorne,et al. Reasoning About Inde nite Actions , 1992 .