Results on reasoning about updates in Transaction Logic-Reference-Cited by-同舟云学术

Results on reasoning about updates in Transaction Logic

Published:1998 Issue: Volume: Page:166-196
ISSN:0302-9743
Container-title:Transactions and Change in Logic Databases
language:
Short-container-title:

Author:

Bonner Anthony J.,Kifer Michael

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0055499

Reference17 articles.

1. A.J. Bonner and M. Kifer. Transaction logic programming. In Intl. Conference on Logic Programming, pages 257–282, Budapest, Hungary, June 1993. MIT Press.

2. A.J. Bonner and M. Kifer. An overview of transaction logic. Theoretical Computer Science, 133:205–265, October 1994.

3. A.J. Bonner and M. Kifer. Transaction logic programming (or a logic of declarative and procedural knowledge). Technical Report CSRI-323, University of Toronto, November 1995. http://www.cs.toronto.edu/~bonner/transaction-logic.html.

4. A.J. Bonner and M. Kifer. Concurrency and communication in transaction logic. In Joint Intl. Conference and Symposium on Logic Programming, pages 142–156, Bonn, Germany, September 1996. MIT Press.

5. A.J. Bonner and M. Kifer. A logic for programming database transactions. In J. Chomicki and G. Saake, editors, Logics for Databases and Information Systems, chapter 5, pages 117–166. Kluwer Academic Publishers, March 1998.

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Procedure for an Event-Condition-Transaction Language;Web Reasoning and Rule Systems;2015

2. How to Combine Event Stream Reasoning with Transactions for the Semantic Web;Rule Technologies: Foundations, Tools, and Applications;2015

3. Reactive Event Calculus for Monitoring Global Computing Applications;Logic Programs, Norms and Action;2012

4. A Proposal for Transactions in the Semantic Web;Progress in Artificial Intelligence;2011

5. Transaction Logic with External Actions;Logic Programming and Nonmonotonic Reasoning;2011